Search results

Incorrect equivalence: Logical difference in SQL expressions with nested AND and CASE

Status: Open.

#10 In SJTU-IPADS/SQLSolver;

· momoway opened on Jul 18, 2025

Incorrect Schema Scan for Null Column

Status: Open.

#9 In SJTU-IPADS/SQLSolver;

· momoway opened on Jul 17, 2025

Incorrect Schema Scan for Primary Key

Status: Open.

#8 In SJTU-IPADS/SQLSolver;

· joyemang33 opened on Jul 16, 2025

False positive for REPLACE function

Status: Open.

#7 In SJTU-IPADS/SQLSolver;

· joyemang33 opened on Jul 9, 2025

False Positive on TPC-H query 1 and its mutation

Status: Open.

#6 In SJTU-IPADS/SQLSolver;

· joyemang33 opened on Jul 6, 2025

False negative case when deciding the equivalence between WHERE and GROUP BY

Status: Open.

#4 In SJTU-IPADS/SQLSolver;

· joyemang33 opened on May 24, 2025