3 ms·A Set Theoretic Approach to Detecting Logic Bugs in DBMS InnerJoin Optimizations2 points by Jimmc414 4mo ago