An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders.
Willem ConradieSalih DurhanGuido SciaviccoPublished in: TIME (2012)
Keyphrases
- expressive power
- first order logic
- constraint query languages
- data complexity
- query language
- computational properties
- closure properties
- transitive closure
- propositional logic
- relational algebra
- quantifier elimination
- boolean algebra
- theorem prover
- aggregate functions
- data integration
- knowledge representation
- constraint databases
- database
- user defined aggregates