A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations
arXiv·medium signal
The query optimizer is core to any DBMS, and subtle logic bugs in join optimizations can silently return wrong results; this paper proposes a set-theoretic method to detect them in inner-join optimization paths. Relevant for builders running production databases — it targets correctness bugs that don't crash but quietly corrupt query results.