eTutor XQuery und Datalog - Data & Knowledge Engineering

5.1. Datalog 53
name
Kurze Beschreibung der Datalog-Fakten
Tabelle 5.5: Tabellenspalten für Datalog-Fakten
5.1.5. Nicht überprüfte Terme
Bei der Formulierung von Datalog-Queries gibt es eine Vielzahl von
Möglichkeiten, um zu dem in einer Übungsaufgabe gefragten Ergebnis zu
gelangen. Darunter befindet sich auch die Möglichkeit, die gewünschten Fakten
einfach selbst zu deklarieren anstatt durch eine Query abzuleiten. Nachdem sich
dieser Lösungsansatz aber nicht mit den Lernzielen im Datalog-Modul deckt, wird
versucht, eine auf diese Weise zustandegekommene Lösung als nicht korrekt zu
entlarven.
Die Datenbasis wird vor der Ausführung einer Query so manipuliert, dass sich das
Ergebnis mit hoher Wahrscheinlichkeit von dem Ergebnis unterscheidet, das auf
Basis der ursprünglichen Datalog-Fakten geliefert wird. Ist dies nicht der Fall, so
wird angenommen, dass die gefragten Fakten oder Teile davon vom Benutzer
selbst deklariert wurden. Für den Benutzer ist weder die Tatsache, dass die Fakten
geändert werden, noch die Art und Weise, wie sie geändert werden, bekannt. Das
Ergebnis darf dem Benutzer daher bei dieser Art der Überprüfung nicht angezeigt
werden, da es für ihn nicht nachvollziehbare Werte enthält.
Die Manipulation erfolgt automatisch, indem alle Terme in den Datalog-Fakten
geändert werden. Die Tabelle unchecked_terms dient dazu, einzelne Terme von
dieser Manipulation auszuschließen. Dies ist u.a. dann notwendig, wenn
bestimmte Terme in einer Query direkt angesprochen werden (z.B. Suche nach
dem Mitarbeiter mit der ID ‚15’).
Spaltenbezeichnung
Erklärung
predicate Name des Prädikats (z.B. 'employee'), das die
entsprechenden Datalog-Fakten umfasst.
position
term
exercise
Position des Terms innerhalb der Fakten
Ausprägung des Terms innerhalb der Fakten
Fremdschlüssel der Übungsaufgabe, für die ein Term
definiert wird.