Keyphrases
- query optimization
- quantifier elimination
- constraint propagation
- database systems
- functional programming
- cost model
- first order logic
- constraint databases
- cardinality constraints
- query processing
- query execution
- cardinality estimation
- continuous queries
- query plan
- recursive queries
- xml data
- selectivity estimation
- constraint satisfaction problems
- programming language
- linear constraints
- databases
- concurrency control
- r tree
- np complete
- relational databases