A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases
Bart KuijpersWalied OthmanRafael GrimsonPublished in: CoRR (2007)
Keyphrases
- constraint databases
- quantifier elimination
- query evaluation
- constraint query languages
- transitive closure
- moving object databases
- query language
- linear constraints
- query processing
- database
- relational databases
- temporal data
- geographic information systems
- fixed point
- first order logic
- cardinality constraints
- functional programming
- constraint propagation
- moving objects
- conjunctive queries
- data management
- machine learning
- data sources
- temporal information
- xml data