Uniform Quantifier Elimination and Constraint Query Processing.
Saugata BasuPublished in: ISSAC (1997)
Keyphrases
- quantifier elimination
- query processing
- cardinality constraints
- constraint propagation
- constraint databases
- presburger arithmetic
- functional programming
- index structure
- linear constraints
- first order logic
- functional dependencies
- database systems
- r tree
- query optimization
- data management
- query execution
- data integration
- deductive databases
- global constraints
- query evaluation
- relational databases
- databases