eTutor XQuery und Datalog - Data & Knowledge Engineering
eTutor XQuery und Datalog - Data & Knowledge Engineering
eTutor XQuery und Datalog - Data & Knowledge Engineering
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
50 Kapitel 5. Definition von Übungsaufgaben<br />
wie sie vom Modul verarbeitet wird. Nicht zu letzt deshalb<br />
gibt es, abgesehen von den vordefinierten Kategorien,<br />
keine weiteren definierbaren Kategorien. Die Bezeichnung<br />
muss dabei genau eingehalten werden, andernfalls wird bei<br />
einem Aufruf des Moduls die Ausführung mit einer<br />
Fehlermeldung abgebrochen.<br />
id<br />
Eindeutiger Schlüssel für eine Kategorie, der frei gewählt<br />
werden kann.<br />
Tabelle 5.1: Tabellenspalten für Fehlerkategorien<br />
Die Kategorien, die das Modul verwendet, <strong>und</strong> durch den Kategorienamen<br />
identifiziert werden, werden in Tabelle 5.2 aufgelistet.<br />
Kategoriename<br />
missing-predicate<br />
red<strong>und</strong>ant-predicate<br />
low-term-predicate<br />
high-term-predicate<br />
missing-fact<br />
red<strong>und</strong>ant-fact<br />
negative-fact<br />
positive-fact<br />
Erklärung<br />
Prädikate, die in der Lösung gänzlich fehlen<br />
Prädikate, die in der Lösung gänzlich überflüssig sind<br />
Prädikate, die in der Lösung zwar enthalten sind, aber zu<br />
wenige Terme haben<br />
Prädikate, die in der Lösung zwar enthalten sind, aber zu<br />
viele Terme haben<br />
Fakten, die innerhalb eines Prädikats der Lösung fehlen<br />
Fakten, die innerhalb eines Prädikats der Lösung<br />
überflüssig sind<br />
Fakten, die fälschlicherweise verneint sind<br />
Fakten, die fälschlicherweise nicht verneint sind<br />
Tabelle 5.2: <strong><strong>Data</strong>log</strong>-Fehlerkategorien