A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations

Ce Lyu, Changzheng Wei, Yanhao Wang +6

The query optimizer is a fundamental component of database management systems that determines the most efficient execution strategy for a given query by evaluating alternative quer…