Keyphrases
- expressive power
- computational properties
- monadic second order logic
- relation algebra
- query language
- first order logic
- data complexity
- transitive closure
- relational algebra
- modal logic
- logic programming
- relational calculus
- automated reasoning
- classical logic
- epistemic logic
- formal logic
- databases
- database
- dl lite
- recursive queries
- artificial intelligence