VL 1.1 Datalog [Ausstehend] Flashcards
Welches Problem kann bei der Beweis-theoretischen Betrachtung in Verbindung mit Negation auftreten? erkläre! Warum ist das bei der modelltheoretischen Betrachung nicht der Fall? (2) Was muss erfüllt sein dass es doch geht?
Oszillieren
(2) haben wir ein negiertes Prädikat/Literal P –> muss P erst vollständig berechnet sein
–> Graph malen mit ggf. Zyklen (was wird aus was abgeleitet) und schauen, ob negation vorkommt
Zusammenfassung(TEST): [1] Abhängigkeiten als Graph aufstellen
[2] gibt es Zyklen, die Negation enthalten?
Falls ja –> Datalog-Programm so nicht ausführbar
(Stichwort: Stratum)
Was ist das Vorgehen bei Stratifikation?
(1)Zahl der ausgehenden Kanten mit Negation bestimmt Abarbeitungsreihenfolge.
(a) Erst Prädikate mit Stratum 0. (AAreaches und UAreaches)
(b) Dann Prädikate mit Stratum 1. (UAonly)
(2)Algorithmus – nach Zykeltest:
(a) Wir streichen alle Knoten mit ausgehender Kante mit Negation; alle Knoten, die von diesen Knoten abhängen usw. Rest ist Stratum 0.
(b) Stratum 1 – alle Knoten mit negativen Kanten nur aus Stratum 0, usw.
Zu welchem Problem kann Aggregation führen? Erklären sie!
Es kann zur Nicht-Monotonizität führen.
Aggregation ist nicht Teil von Datalog –> deshalb Darstellung mit SQL
Monotonizität=
Monotonizität einer Historienklasse E ist eine wünschenswerte Eigenschaft,
da sie E unter beliebigen Projektionen bewahrt!
was ist Rekursion in Verbindung mit Datalog?
bla bla bla - Rekursion in SQL so nicht möglich?? Darstellung von Rekursion mit Datalog möglich. Bringt Probleme mit sich wenn Aggregation oder Negeation beteiligt sind und dies “unkontrolliert” stattfindet // Stichwort Stratum
