On Mechanical Quantifier Elimination for Elementary Algebra and Geometry.
Dennis S. ArnonMaurice MignottePublished in: J. Symb. Comput. (1988)
Keyphrases
- quantifier elimination
- constraint query languages
- quantifier free
- cardinality constraints
- first order logic
- constraint propagation
- set theory
- boolean algebra
- presburger arithmetic
- functional programming
- constraint databases
- algebraic structure
- query language
- relational algebra
- data model
- high level
- fixed point
- integrity constraints
- database
- constraint satisfaction problems
- relational data model
- artificial intelligence