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
6775
Venue
SIGMOD
Year
2023
Pagerank
6.2247394e-05
Overall Rank
4,385 | 69.53%
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,001 GenRewrite: Query Rewriting via Large Language Models 2026 SIGMOD 5.7634197e-05
7,030 R-Bot: An LLM-based Query Rewrite System 2025 VLDB 4.8518029e-05
7,137 Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency 2025 SIGMOD 4.8165495e-05
9,623 Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries 2024 SIGMOD 4.3120302e-05
9,992 Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! 2026 CIDR 4.1905499e-05
10,118 Test Data Generation for Complex SQL Queries 2026 SIGMOD 4.1905499e-05
10,144 Beyond Relational: Semantic-Aware Multi-Modal Analytics with LLM-Native Query Optimization 2026 SIGMOD 4.1905499e-05
10,577 QOVIS: Understanding and Diagnosing Query Optimizer via a Visualization-assisted Approach 2025 VLDB 4.1905499e-05
10,768 ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation 2025 VLDB 4.1905499e-05
10,784 GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB 2025 VLDB 4.1905499e-05
11,123 Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries 2024 VLDB 4.1905499e-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.00044001626
181 LEO - DB2's LEarning Optimizer 2001 VLDB 0.00036970794
203 Learned Cardinalities: Estimating Correlated Joins with Deep Learning 2019 CIDR 0.00034868567
329 Neo: A Learned Query Optimizer 2019 VLDB 0.00027301488
335 Optimization of Real Conjunctive Queries 1993 PODS 0.00027012705
542 Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources 2018 SIGMOD 0.00020522627
971 Rewriting Aggregate Queries Using Views 1999 PODS 0.00014915911
991 Improved Unnesting Algorithms for Join Aggregate SQL Queries 1992 VLDB 0.00014797083
1,056 Cosette: An Automated Prover for SQL 2017 CIDR 0.00014391317
1,520 The Containment Problem for Real Conjunctive Queries with Inequalities 2006 PODS 0.00011524911
2,097 Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries 2018 VLDB 9.5439744e-05
2,595 WeTune: Automatic Discovery and Verification of Query Rewrite Rules 2022 SIGMOD 8.4725961e-05
3,241 A Learned Query Rewrite System using Monte Carlo Tree Search 2022 VLDB 7.32744e-05
3,430 Demonstration of the Cosette Automated SQL Prover 2017 SIGMOD 7.0985442e-05
3,658 Towards a Hands-Free Query Optimizer through Deep Learning 2019 CIDR 6.8700949e-05
3,903 Automated Verification of Query Equivalence Using Satisfiability Modulo Theories 2019 VLDB 6.6439695e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
10,931 Computing Range Consistent Answers to Aggregation Queries via Rewriting 2024 PODS 4.1905499e-05
12,305 Equivalence of SQL Queries In Presence of Embedded Dependencies 2009 PODS 4.1905499e-05
11,181 LinCQA: Faster Consistent Query Answering with Linear Time Guarantees 2023 SIGMOD 4.1905499e-05
9,992 Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! 2026 CIDR 4.1905499e-05
5,196 Equivalence of Queries Combining Set and Bag-Set Semantics 2006 PODS 5.6311982e-05
2,105 Deciding Equivalences among Aggregate Queries 1998 PODS 9.5309231e-05
5,245 QED: A Powerful Query Equivalence Decider for SQL 2024 VLDB 5.6017846e-05
11,123 Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries 2024 VLDB 4.1905499e-05
3,903 Automated Verification of Query Equivalence Using Satisfiability Modulo Theories 2019 VLDB 6.6439695e-05
2,097 Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries 2018 VLDB 9.5439744e-05