The Expressive Power of Existential First Order Sentences of Büchi's Sequential Calculus.
Jean-Eric PinPublished in: ICALP (1996)
Keyphrases
- expressive power
- first order logic
- relational calculus
- computational properties
- relation algebra
- database query languages
- relational algebra
- constraint query languages
- dl lite
- propositional logic
- data complexity
- inference rules
- query language
- quantifier elimination
- transitive closure
- theorem prover
- knowledge representation
- incomplete information
- natural language
- aggregate functions
- horn clauses
- type checking
- data integration