Expressive power of existential first-order sentences of Bu"chi's sequential calculus.
Jean-Eric PinPublished in: Discret. Math. (2005)
Keyphrases
- expressive power
- first order logic
- relational calculus
- database query languages
- computational properties
- relation algebra
- relational algebra
- data complexity
- transitive closure
- dl lite
- constraint query languages
- propositional logic
- query language
- theorem prover
- inference rules
- quantifier elimination
- knowledge representation
- horn clauses
- incomplete information
- natural language
- parse tree
- logic programming