eTutor XQuery und Datalog - Data & Knowledge Engineering

24 Kapitel 3. Lösungsansatz
Die ersten beiden Schritte, in denen vorerst der korrekte und daraufhin der
abgegebene XQuery-Ausdruck ausgewertet wird, erfolgen nach dem gleichen
Schema und werden somit gleichermaßen durch das in Abbildung 3.14 gezeigte
Diagramm skizziert. Beide Vorgänge werden mit einem XQuery-Ausdruck
gestartet, der durch den XQuery-Prozessor ausgewertet werden soll. Die
entsprechenden Aktivitäten, die diesen Prozessor betreffen, werden im Diagramm
in einer eigenen Spalte gekennzeichnet. Wenn ein Ausdruck syntaktisch korrekt
ist, liefert der XQuery-Prozessor ein Ergebnis, das wie im Beispiel in Abbildung
3.12 als XML-Fragment interpretiert wird. Um diese Ergebnisse vergleichbar und
analysierbar zu machen, werden sie in ein standardmäßiges XML-Element
eingebettet. Auf diese Weise wird ein XML-Dokument erzeugt, das für den
Vergleich zweier Lösungen geeignet ist. Die Auswertung wird in zwei
grundsätzlichen Fällen abgebrochen:
- Ein XQuery-Ausdruck ist syntaktisch nicht korrekt und kann daher nicht
ausgewertet werden. Der XQuery-Prozessor liefert in diesem Fall eine
Fehlermeldung zurück, die Hinweise auf die Fehlerquelle im Ausdruck
enthält.
- Der XQuery-Ausdruck ist zwar syntaktisch korrekt, die Auswertung wird
aber durch das XQuery-Modul verhindert, da er über doc-Funktionen
Zugriffe auf XML-Dokumente enthält, die nicht für die Aufgabenstellung
definiert sind. Dies hängt damit zusammen, dass die relevanten XML-
Dokumente für jede Aufgabe vordefiniert werden. Im Falle der
Musterlösung werden alle realen Pfade in den doc-Funktionen im XQuery-
Ausdruck angegeben. Ein Fehler wird jedoch ausgelöst, wenn kein
Aliasname für dieses Dokument definiert wurde, was etwa im Falle des
Beispiels in Abbildung 3.10 die Kurzbezeichnung personen.xml sein
könnte. Umgekehrt darf im XQuery-Ausdruck einer abgegebenen Lösung
kein anderer als der definierte Aliasname in doc-Funktionen enthalten
sein.
- Der XQuery-Ausdruck ist zwar syntaktisch korrekt und kann ausgewertet
werden, das Ergebnis kann aber nicht als XML-Fragment interpretiert
werden, da es nicht wohlgeformt ist. Zu beachten ist hier, dass dieses
Ergebnis als gültige Auswertung durch den XQuery-Prozessor geliefert
wird und demnach im eigentlichen Sinn nicht fehlerhaft ist. Der Fehler
wird im Sinne der Analyse jedoch angezeigt, nachdem ein Vergleich mit
einem weiteren Ergebnis nicht möglich ist. In Abbildung 3.13 wird ein
Beispiel für einen XQuery-Ausdruck gezeigt, der zu einem Ergebnis führt,