Database Paper Browser

Back to papers

Proving Query Equivalence Using Linear Integer Arithmetic

Summary: Introduces SQLSolver, an SQL-equivalence prover that handles unbounded summations with the LIA* theory for principled algebraic modeling and SMT-based decision. Extends LIA* to nested summations; evaluates on 359 Calcite/Spark-derived query pairs and proves 346, outperforming existing provers. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID
6774
Venue
SIGMOD
Year
2023
Pagerank
6.2303078e-05
Overall Rank
4,388 | 69.48%
DOI
10.1145/3626768

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank Citing Paper Year Venue Pagerank
5,023 GenRewrite: Query Rewriting via Large Language Models 2026 SIGMOD 5.75363e-05
7,035 R-Bot: An LLM-based Query Rewrite System 2025 VLDB 4.8548467e-05
7,139 Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency 2025 SIGMOD 4.821174e-05
9,623 Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries 2024 SIGMOD 4.3161663e-05
9,993 Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! 2026 CIDR 4.1945683e-05
10,118 Test Data Generation for Complex SQL Queries 2026 SIGMOD 4.1945683e-05
10,144 Beyond Relational: Semantic-Aware Multi-Modal Analytics with LLM-Native Query Optimization 2026 SIGMOD 4.1945683e-05
10,568 QOVIS: Understanding and Diagnosing Query Optimizer via a Visualization-assisted Approach 2025 VLDB 4.1945683e-05
10,762 ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation 2025 VLDB 4.1945683e-05
10,778 GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB 2025 VLDB 4.1945683e-05
11,120 Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries 2024 VLDB 4.1945683e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 16 of 16 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
130 Optimization of Nested SQL Queries Revisited 1987 SIGMOD 0.00044031247
182 LEO - DB2's LEarning Optimizer 2001 VLDB 0.00036962631
204 Learned Cardinalities: Estimating Correlated Joins with Deep Learning 2019 CIDR 0.00034784455
333 Neo: A Learned Query Optimizer 2019 VLDB 0.00027206884
335 Optimization of Real Conjunctive Queries 1993 PODS 0.00027036073
544 Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources 2018 SIGMOD 0.00020521965
971 Rewriting Aggregate Queries Using Views 1999 PODS 0.00014925576
990 Improved Unnesting Algorithms for Join Aggregate SQL Queries 1992 VLDB 0.00014809094
1,057 Cosette: An Automated Prover for SQL 2017 CIDR 0.0001439886
1,522 The Containment Problem for Real Conjunctive Queries with Inequalities 2006 PODS 0.0001153051
2,099 Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries 2018 VLDB 9.5479391e-05
2,596 WeTune: Automatic Discovery and Verification of Query Rewrite Rules 2022 SIGMOD 8.4729982e-05
3,248 A Learned Query Rewrite System using Monte Carlo Tree Search 2022 VLDB 7.3258782e-05
3,432 Demonstration of the Cosette Automated SQL Prover 2017 SIGMOD 7.1008151e-05
3,658 Towards a Hands-Free Query Optimizer through Deep Learning 2019 CIDR 6.8704209e-05
3,901 Automated Verification of Query Equivalence Using Satisfiability Modulo Theories 2019 VLDB 6.6499845e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
10,928 Computing Range Consistent Answers to Aggregation Queries via Rewriting 2024 PODS 4.1945683e-05
12,297 Equivalence of SQL Queries In Presence of Embedded Dependencies 2009 PODS 4.1945683e-05
11,178 LinCQA: Faster Consistent Query Answering with Linear Time Guarantees 2023 SIGMOD 4.1945683e-05
9,993 Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! 2026 CIDR 4.1945683e-05
5,195 Equivalence of Queries Combining Set and Bag-Set Semantics 2006 PODS 5.6366303e-05
2,103 Deciding Equivalences among Aggregate Queries 1998 PODS 9.5385023e-05
5,243 QED: A Powerful Query Equivalence Decider for SQL 2024 VLDB 5.6071695e-05
11,120 Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries 2024 VLDB 4.1945683e-05
3,901 Automated Verification of Query Equivalence Using Satisfiability Modulo Theories 2019 VLDB 6.6499845e-05
2,099 Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries 2018 VLDB 9.5479391e-05