New Results on Quantifier Elimination over Real Closed Fields and Applications to Constraint Databases.
Saugata BasuPublished in: J. ACM (1999)
Keyphrases
- quantifier elimination
- constraint databases
- constraint query languages
- linear constraints
- temporal data
- transitive closure
- query language
- geographic information systems
- constraint propagation
- first order logic
- relational databases
- cardinality constraints
- spatial databases
- query evaluation
- fixed point
- functional programming
- temporal information
- object oriented
- knowledge representation