On the Expressive Power of Equality-Free First Order Languages.
Péter Ecsedi-TóthPublished in: Math. Log. Q. (1986)
Keyphrases
- expressive power
- first order logic
- database query languages
- transitive closure
- data complexity
- relational algebra
- query language
- propositional logic
- computational properties
- horn clauses
- quantifier elimination
- relational calculus
- knowledge representation
- fixpoint
- theorem prover
- aggregate functions
- databases
- closure properties
- database systems