eTutor XQuery und Datalog - Data & Knowledge Engineering

28 Kapitel 3. Lösungsansatz
sortierenden XML-Elemente werden anhand von XPath-Ausdrucken definiert. Ein
solcher Ausdruck wird auf das Ergebnis einer bestimmten Musterlösung, das wie
beschrieben als XML-Dokument vorliegt, ausgewertet. Das Resultat sind je
definiertem XPath-Ausdruck eine Anzahl von XML-Elementen. In Abbildung
3.16 wird mit (a) und (b) noch einmal das eingangs beschriebene Beispiel
dargestellt, das anhand der Datenbasis in Abbildung 3.10 ausgewertet wird. Wenn
sich nun bei der Analyse der abgegebenen Lösung (c) herausstellt, das ein XML-
Element im Auswertungsergebnis (d) an sich mit dem entsprechenden XML-
Element der Musterlösung übereinstimmt, so wird im nächsten Schritt untersucht,
ob dieses XML-Element auch richtig sortiert ist, bzw. ob diese Sortierung
überhaupt vorgeschrieben ist. Dazu werden alle definierten XPath-Ausdrücke
ausgewertet und überprüft, ob sich das aktuelle XML-Element darunter befindet.
Im gezeigten Beispiel ist das XML-Element mit der Nummer p2 jedenfalls falsch
sortiert. Ist nun der XPath-Ausdruck //person gegeben, so befindet sich dieses
XML-Element unter den XML-Elementen, die durch die Auswertung dieses
Ausdruckes geliefert werden, weshalb dieser Fehler tatsächlich bewertet wird.
let $db := doc(' http://etutor.dke.unilinz.ac.at/XML?id=1')/db,
$personen := $db/person
return (
for $p in $personen[startswith(name,'M')]
order by $p/name
return $p)
(a)
let $db := doc(' http://etutor.dke.unilinz.ac.at/XML?id=1')/db,
$personen := $db/person
return (
for $p in $personen[startswith(name,'M')]
order by $p/stand
return $p)
(c)
Maria
ledig
Max
verheiratet
Michael
ledig
(b)
Maria
ledig
Michael
ledig
Max
verheiratet
(d)
Abbildung 3.16: Analyse der Sortierung von XML-Elementen