Verification of Query Optimization Algorithms (Q7361893)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Query_Optimization
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Verification of Query Optimization Algorithms |
AFP entry Query_Optimization |
Statements
4 October 2022
0 references
Lukas Stevens
0 references
Bernhard Stöckl
0 references
Verification of Query Optimization Algorithms (English)
0 references
This formalization includes a general framework for query optimization consisting of the definitions of selectivities, query graphs, join trees, and cost functions. Furthermore, it implements the join ordering algorithm IKKBZ using these definitions. It verifies the correctness of these definitions and proves that IKKBZ produces an optimal solution within a restricted solution space.
0 references
