The EXODUS optimizer generator
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Rule languages and internal algebras for rule-based optimizers
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
The Volcano Optimizer Generator: Extensibility and Efficient Search
Proceedings of the Ninth International Conference on Data Engineering
Execution strategies for SQL subqueries
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
A genetic approach for random testing of database systems
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
A framework for testing query transformation rules
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
A framework for testing DBMS features
The VLDB Journal — The International Journal on Very Large Data Bases
Plan space analysis: an early warning system to detect plan regressions in cost-based optimizers
Proceedings of the Fourth International Workshop on Testing Database Systems
Query optimization in microsoft SQL server PDW
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
| Hi-index | 0.00 |
The process of validating the internal functionality of a query optimizer includes the selection of appropriate queries to be used as test cases for exercising and validating specific code paths. Specifically, it is desirable to be able to implement unit-tests for small components of the query optimizer such as the query transformation rules. In this paper, we present a practical method that simplifies the creation of test cases for validating query transformation rules in a query optimizer. We present the QRel programming framework, which allows designing test cases based on relational algebra expressions. We show how such a framework can be used to create classes of similar test cases that exercise transformation rules over a variety of relational algebra expressions. Finally, we provide some examples of how QRel is used to validate SQL Server's optimizations for subqueries.