A Set Theoretic Approach to Detecting Logic Bugs in DBMS InnerJoin Optimizations | Dark Hacker News