Datalog

EDB 
IDB 
Datalog Syntax 
Atom 
Leerer Rumpf 
Teilziele 
Datalogprogramm 
Sicher Anfrage 
Domänenunabhängigkeit  
Semantik von purem Datalog 
Modelltheoretisch 
Warum minimales Modell? 
Fixpunkt 
Fixpunktansatz 
Bottom-up Evaluation 
Bottom-up: Seminaiv 
Beweistheoretisch 
Beweis Baum 
Top-down Evaluation 
Datalog mit Negation 
Stratum 
Stratifiziertes Datalog 
Startum Graph