Datalog Concepts

• Atoms

• Datalog rules, datalog programs

• EDB predicates, IDB predicates

• Conjunctive queries

• Recursion

• Built-in predicates

• Negated atoms, stratified programs.

• Semantics: least fixpoint.

Previous slide

Next slide

Back to first slide

View graphic version