A Set Theoretic Approach to Detecting Logic Bugs in DBMS InnerJoin Optimizations · HackerLangs