Logic Based Query Languages
Datalog:
- Subset of First Order Predicate Calculus
- Function Free
- Restricted to Horn Clauses
More Powerful than relational algebra
- Enables expressing recursive queries
- More convenient for analysis
Without recursion (but with negation) it is
- Equivalent in power to relational algebra