Explore a groundbreaking approach to finding logic bugs in Database Management Systems (DBMSs) through this 20-minute conference talk from OSDI '20. Discover the innovative Pivoted Query Synthesis technique developed by Manuel Rigger and Zhendong Su from ETH Zurich. Learn how this method automatically generates queries to fetch a specific, randomly selected pivot row, enabling the detection of incorrect result sets in DBMSs. Gain insights into the effectiveness of this approach, which uncovered 121 unique bugs in widely-used DBMSs like SQLite, MySQL, and PostgreSQL. Understand the potential impact of this simple yet powerful technique on improving the robustness of various database engines.
Overview
Syllabus
OSDI '20 - Testing Database Engines via Pivoted Query Synthesis
Taught by
USENIX