eTutor XQuery und Datalog - Data & Knowledge Engineering

70 Kapitel 7. Zusammenfassung
7. Zusammenfassung
Es wurden zwei Module entwickelt, um in das eTutor-System integriert zu
werden. Dieses soll die Möglichkeit bieten, Übungsaufgaben zu Themen auf dem
Gebiet des Data & Knowledge Engineering interaktiv und online lösen zu können.
Mit dem ersten Modul, das auf Datalog-Aufgaben ausgerichtet ist, können
demzufolge Datalog-Regeln und –Fakten analysiert werden. Die
Analyseergebnisse wiederum werden bewertet und für die Präsentation für den
Benutzer aufbereitet. Mit dem zweiten Modul wurde analog dazu die Möglichkeit
geschaffen, XQuery-Ausdrücke automatisch analysieren und bewerten zu lassen.
Es hat sich bei der Entwicklung herausgestellt, dass einige zusätzliche Angaben
bei der Definition von Übungsaufgaben erforderlich sind, um die Details der
Analyse festzulegen. Diese Informationen werden in einer Datenbank gespeichert
und von dort bei jedem Aufruf der Analysefunktion des jeweiligen Moduls
ausgelesen.
Die Analyse von Datalog-Regeln und XQuery-Ausdrücken konzentriert sich
hauptsächlich auf die konkreten Auswertungsergebnisse dieser Abfragen, d.h. die
Analyse basiert auf einem „heuristischen“ Verfahren. Vergleiche zwischen
Datalog-Regeln bzw. XQuery-Ausdrücken selbst würden zwar genauere
Aussagen über mögliche Fehlerquellen ermöglichen, allerdings würde dies eine
weiterführende Syntaxanalyse erfordern, die beim Datalog- bzw. dem XQuery-
Modul bereits durch die eingesetzten Tools bei der Auswertung von Abfragen
erfolgt. Darüber hinaus muss bedacht werden, dass im allgemeinen die
Möglichkeiten, auf verschiedene Art und Weise zum richtigen Ergebnis zu
kommen, vielfältig sind.