Quantifier elimination for the reals with a predicate for the powers of two
Jeremy AvigadYimu YinPublished in: CoRR (2006)
Keyphrases
- quantifier elimination
- constraint databases
- first order logic
- transitive closure
- presburger arithmetic
- linear constraints
- expressive power
- query language
- query evaluation
- temporal data
- fixed point
- relational databases
- geographic information systems
- knowledge representation
- inference rules
- functional programming
- cardinality constraints
- constraint propagation
- relational algebra
- database
- spatial databases
- natural language
- knowledge base
- artificial intelligence