4-Deduktive DB

Erweiterung traditioneller DBs

• nutzt Logik zur Datenableitung

EDB -> Faktenbasis = Menge der Relationen

Datalog -> Data + Prolog

IDB = Datalog + EDB -> mehr Relationen

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.

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