Was sind deduktive Datenbanken?
Erweiterung traditioneller DBs
nutzt Logik zur Datenableitung
EDB -> Faktenbasis = Menge der Relationen
Datalog -> Data + Prolog
IDB = Datalog + EDB -> mehr Relationen
Was sind die Regeln für deklarative DB?
Deklarationen:
.decl vorlesungen(VorlNr: number, Titel: symbol, SWS: number, …)
.decl professoren(PersNr: number, Name: symbol, …)
.decl sokratesVL(Titel: symbol, SWS: symbol)
Basisrelationen:
vorlesungen(5001, “grundzuege”, …)
professoren(2125, “sokrates”, “c4”, 266)
Regelerzeugung und Join:
sokVL(T,S) :- vorlesungen(,T,S,P), professoren(P,”sokrates”,_,_), S>2.
Was macht die WITH RECURSIVE Klausel in SQL?
Wann ist ein Programm stratifizierbar und wann sicher?
stratifizierbar:
keine zyklischen negativen Abhängigkeiten
sicher:
Regel is sicher gwd. alle Variablen eingeschränkt:
im Rumpf enthalten
V in positiven Prädikat
X = Konstante (c)
X = Y, wenn Y schon eingeschränkt
Last changed2 months ago