Keyphrases
- expressive power
- first order logic
- theorem prover
- default logic
- query language
- relational algebra
- logic programs
- default reasoning
- data complexity
- transitive closure
- computational properties
- logic programming
- disjunctive logic programming
- relational calculus
- answer sets
- minimal models
- nonmonotonic logics
- constraint query languages
- nonmonotonic reasoning
- data model
- classical logic
- recursive queries
- database
- data mining