Quantifier elimination for the reals with a predicate for the powers of two.
Jeremy AvigadYimu YinPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- quantifier elimination
- constraint databases
- first order logic
- presburger arithmetic
- transitive closure
- expressive power
- query evaluation
- query language
- linear constraints
- constraint propagation
- temporal data
- fixed point
- relational databases
- geographic information systems
- spatial databases
- relational algebra
- machine learning
- knowledge representation
- database theory
- functional programming
- database systems
- inference rules
- query optimization
- general purpose
- search algorithm
- video sequences