Keyphrases
- expressive power
- computational properties
- monadic second order logic
- query language
- relation algebra
- data complexity
- first order logic
- transitive closure
- relational algebra
- logic programming
- relational calculus
- defeasible logic
- artificial intelligence
- automated reasoning
- modal logic
- horn clauses
- nonmonotonic logics
- data model
- machine learning
- constraint query languages
- user defined aggregates