Configurable and Extensible Query Optimization by Controlled Term Rewriting.
Mazeyar E. MakouiPublished in: Grundlagen von Datenbanken (2006)
Keyphrases
- query optimization
- term rewriting
- theorem prover
- database systems
- theorem proving
- operational semantics
- cost model
- query processing
- multidatabase systems
- data model
- cost estimation
- query execution
- cardinality estimation
- query optimizer
- query scheduling
- xml data
- query execution plans
- query optimizers
- selectivity estimation
- object oriented
- data placement
- query plan
- data types
- data structure