The evaluation of geometric queries: constraint databases and quantifier elimination
Marc GiustiJoos HeintzBart KuijpersPublished in: CoRR (2011)
Keyphrases
- constraint databases
- quantifier elimination
- query language
- constraint query languages
- query evaluation
- transitive closure
- linear constraints
- fixed point
- geographic information systems
- relational databases
- temporal data
- first order logic
- database
- computational geometry
- spatial databases
- database theory
- constraint propagation
- multi dimensional
- data model
- expressive power
- data management
- query processing