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

Ce Lyu, Changzheng Wei, Yanhao Wang, Jie Liang, Li Lin, Hanghang Wu, Minghao Zhao, Ying Yan, Aoying Zhou

Browse the full ICDE paper archive.