On the Expressive Power of FO[ + ].
Christian ChoffrutAndreas MalcherCarlo MereghettiBeatrice PalanoPublished in: LATA (2010)
Keyphrases
- expressive power
- first order logic
- transitive closure
- constraint query languages
- query language
- propositional logic
- data complexity
- relational algebra
- theorem prover
- knowledge representation
- computational properties
- constraint databases
- incomplete information
- guarded fragment
- relational calculus
- machine learning
- horn clauses
- recursive queries
- aggregate functions
- datalog queries
- quantifier elimination
- artificial intelligence
- database
- user defined aggregates