Thalia

Wolfgang Lehner

Dr. Wolfgang Lehner, promovierter Kirchenhistoriker, ist seit 2005 Pfarrer von Moosach.

3 Das XQuery-Datenmodell (S. 61-62)
Um die Semantik von XQuery genau spezifizieren zu können, wurde das XQuery-Datenmodell eingeführt, das im Folgenden beschrieben wird. Ein eigenes Datenmodell ist erforderlich, weil XQuery nicht nur mit einzelnen XML-Fragmenten, sondern mit einer größeren Vielfalt von Objekten umgehen muss, zum Beispiel mit Mengen von XMLDokumenten, mit einzelnen numerischen Werten oder sogar mit einer Mischung daraus. Bevor ein XML-Dokument von XQuery verarbeitet werden kann, wird es in eine Instanz des Datenmodells umgewandelt. Dabei fließt vorhandene Information ein, die aus der Validierung des Dokumentes gegen eine ggf. vorhandene DTD oder ein XML Schema gewonnen wird. XQuery ist bezüglich des Datenmodells abgeschlossen: Jeder XQuery-Ausdruck operiert auf einer Instanz des XQuery- Datenmodells und liefert eine Instanz des XQuery-Datenmodells.
Das grundlegende Konstrukt des Datenmodells von XQuery ist die Sequenz. Alle XQuery-Ausdrücke operieren auf einer oder mehreren Sequenzen und liefern wieder eine Sequenz. Im ersten Abschnitt dieses Kapitels werden daher Sequenzen zusammen mit den auf ihnen definierten Funktionen eingeführt. Sequenzen können aus atomaren Werten und Knoten bestehen, die in den folgenden Abschnitten erläutert werden.
Eine wichtige Anforderung an XQuery ist, mit allen Arten von XML-Dokumenten umgehen zu können, unabhängig davon, ob sie nun gar keine Typinformation, wenig Typinformation (DTD) oder eine sehr genaue Typbeschreibung haben (zum Beispiel durch XML Schema). Dieses breite Spektrum ist sicher einer der Gründe, warum das Typsystem von XQuery recht komplex und umfangreich geraten ist. Besonders die Vielfalt von typbezogenen Operationen überrascht zunächst. Am Schluss des Kapitels werden die Typnotation von XQuery und die typbezogenen Operationen vorgestellt.
3.1 Sequenzen
Sequenzen sind die zentrale Datenstruktur in XQuery. In diesem Abschnitt wird zunächst die Struktur von Sequenzen eingeführt. Anschließend werden Funktionen und Operatoren darauf vorgestellt.
3.1.1 Struktur einer Sequenz

Eine Sequenz besteht aus keinem, einem oder mehreren Einträgen (»items«). Ein solcher Eintrag ist entweder ein atomarer Wert oder ein Knoten, wobei nicht gefordert ist, dass eine Sequenz aus homogenen Einträgen besteht. Eine Sequenz kann dadurch konstruiert werden, dass die einzelnen Einträge - durch Komma getrennt - aneinander gereiht werden. Eine Klammerung verdeutlicht die Sequenzbildung, ist aber in vielen Fällen nicht erforderlich. Die leere Sequenz kann jedoch nur durch () dargestellt werden. Eine leere Sequenz ist von »Nichts« zu unterscheiden. Besonders bei einem Funktionsaufruf ist es ein Unterschied, ob der Aufruf ohne Argument oder mit einer leeren Sequenz als Argument erfolgt.