Keyphrases
- expressive power
- computational properties
- query language
- relation algebra
- monadic second order logic
- first order logic
- data complexity
- relational algebra
- exptime complete
- transitive closure
- computational complexity
- modal logic
- recursive queries
- databases
- predicate logic
- logic programming
- classical logic
- set theory
- dl lite
- description logics