Pinolo - Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis

Explore a conference talk from USENIX ATC '23 that introduces Pinolo, an innovative approach for detecting logical bugs in Database Management Systems (DBMSs). Learn how this novel method synthesizes queries to create over-approximations or under-approximations of seed queries, enabling the detection of deeply-hidden logical bugs that traditional approaches might miss. Discover how Pinolo has successfully identified 41 unique logical bugs in popular DBMSs like MySQL, MariaDB, TiDB, and OceanBase, with 39 confirmed by developers. Gain insights into the challenges of ensuring DBMS correctness and the importance of addressing logical bugs that can lead to incorrect result sets without apparent manifestations.