Datalog
Predicates and Atoms
Datalog Rules and Queries
The Meaning of Datalog Rules
More Examples
More Examples (negation, union)
Rule Safety
Defining Views
From Relational Algebra to Datalog
Exercises
Transitive Closure
Only in Datalog
Evaluating Recursive Queries
Another Recursive Query
Deductive Databases
Email: alon@cs.washington.edu
Home Page: http://www.cs.washington.edu/homes/alon
Download presentation source