ein generischer Ansatz zur Layout-Spezifikation - Lehr- und ...

4.3. Verfügbare Sprachmittel und Werkzeuge4.3.1.5. xcerptxcerpt ist die Spezifikation einer Logikanfragesprache für XML-Dokumente, die, wie XQuery, nochim Entwurfsstadium ist. Sie entsteht zur Zeit an der LFE für Programmier- und Modellierungssprachender LMU München [8, 7].Im Gegensatz zu den funktionalen Anfragesprachen wie XSLT oder fxt, in denen Regeln rekursiv weitereRegeln aufrufen und aus deren Rückgabewerten, eigenen Konstruktorelementen und selektiertenoder berechneten Elementen wieder einen Rückgabewert konstruieren und somit eine starke Vermischungvon Konstruktoren und Selektoren aufweisen, trennt xcerpt mit seinem logischen Paradigmadiese beiden Bereiche stark von einander ab:xcerpt besitzt einen Selektorteil (where), in dem Variablen definiert werden und einen Konstruktorteil(construct), in den diese Variablen eingesetzt werden können. Gebunden werden die Variablendurch eine spezielle Form der Unifikation, genannt simulation unification. Diese spezielle Form derUnifikation ist für das pattern matching nötig, und um den Spezifika von Anfragen auf Bäumen gerechtzu werden, wie Beziehungen zu Nachfolgern beliebiger Tiefe (desc) oder Anfragemuster (as).In xcerpt existieren ebenfalls quantifizierte Ausdrücke: all als Allquantor und some als Existenzquantor.Ein Beispiel für eine Anfrage in xcerpt findet sich in Abbildung 4.4. Es zeigt den gleichen Sachverhaltwie die Beispiele für XSLT, fxt und HaXml.constructall var Twheredesc var TABBILDUNG 4.4.: Beispiel für Transformationen in xcerptAufgrund des frühen Stadiums ist zu erwarten, daß unter anderem die Syntax der Sprache noch gewissenÄnderungen unterliegt, so daß das Beispiel nur einen momentanen Stand wiederspiegelt.4.3.1.6. Weitere TransformationssprachenNatürlich sind noch eine Anzahl weiterer Anfragesprachen für XML verfügbar. Unter anderem sinddies Quilt [9], XML-QL [11], XQL [22], Lorel [1] und YATL [23]. Diese haben jedoch alle gemein,daß sie entweder in ihrem Verwendungszweck recht spezifisch ausgerichtet sind oder daß sie sichfür die Verarbeitung von XML-Dokumenten nicht durchsetzen konnten. Ganz unbedeutend für dieheutige Entwicklung sind sie natürlich auch wieder nicht: So basiert z.B. XQuery auf Quilt und Quiltselbst hat wiederum Anlehnungen an eine Reihe anderer der oben genannten Anfragesprachen.Bewußt außen vor gelassen wurde die Einbettung von XML in Programiersprachen wie Java (miteiner baumorientierten Schnittstelle zu XML wie DOM oder einer eventbasierten wie SAX), Prolog(mit dem SWI-Prolog SGML/XML parser [28]), Haskell (mit der oben kurz genannten Übersetzungvon DTDs in Haskell-Datentypen [25]) und anderen, da hier Ansätze zur deklarativen Spezifikationvon Transformationen untersucht werden sollten.49