On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part III: Quantifier Elimination.
James RenegarPublished in: J. Symb. Comput. (1992)
Keyphrases
- quantifier elimination
- constraint databases
- quantifier free
- presburger arithmetic
- computational complexity
- constraint propagation
- first order logic
- functional programming
- cardinality constraints
- transitive closure
- relational databases
- linear constraints
- query language
- temporal data
- spatial databases
- query evaluation
- fixed point
- expressive power
- constraint satisfaction problems
- geographic information systems
- database
- programming language
- special case
- natural language