Keyphrases
- expressive power
- first order logic
- data complexity
- propositional logic
- transitive closure
- knowledge representation
- query language
- relational algebra
- computational properties
- quantifier elimination
- horn clauses
- theorem prover
- constraint query languages
- closure properties
- relation algebra
- knowledge base
- relational query languages
- relational calculus
- incomplete information
- belief revision
- query processing