Verification of Query Optimization Algorithms.

Lukas Stevens Bernhard Stöckl

Published in: Arch. Formal Proofs (2022)

Keyphrases

query optimization
database systems
join queries
query processing
query optimizers
cost model
data structure
xml data
multidatabase systems
parallel query processing
cost estimation
response time
query execution
query scheduling
cardinality estimation