Datalog Flashcards
1
Q
Wann ist eine Anfrage sicher?
A
Wenn sie immer ein endliches Ergebnis hat.
2
Q
Wann ist eine Datenbank extensional, wann intensional?
A
extensional: Basis-Daten
intensional: Abgeleitet
3
Q
Wie kann man Datalog Anfragen auswerten?
A
Modelltheoretisch: Ausprobieren
Beweistheoretisch: Herleiten
4
Q
Was bedeutet Monotonie?
A
Vergrößerter Input führt nie zu verkleinertem Output
5
Q
Wie hängen die Ausdruckskraft von Datalog und Relationaler Algebra zusammen?
A
Datalog ohne Rekursion = RA ohne Diff
6
Q
Was bedeutet Stratifikation?
A
Auswertung erfolgt in Straten
keine Zyklen mit Negation erlaubt
Algorithmus: Entferne je Knoten mit ausgehender negierter Kante
7
Q
Wann ist wechselseitig Rekursion erlaubt?
A
Wenn sie monoton ist.
