Query Optimization by Quantifier Elimination.
Christoph KochPeter LindnerPublished in: Proc. ACM Manag. Data (2024)
Keyphrases
- query optimization
- quantifier elimination
- constraint propagation
- database systems
- functional programming
- first order logic
- cost model
- constraint databases
- cardinality constraints
- query processing
- query execution
- xml data
- cardinality estimation
- selectivity estimation
- continuous queries
- recursive queries
- knowledge representation