Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Summary: Introduces U-semiring, a minimal-axiom extension of SQL’s semiring semantics with unbounded summation and duplicate elimination, supporting bags, sets, and integrity constraints. A Lean-oriented implementation formally verifies 68 query equivalences and rewrite rules. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Shumo Chu (University of Washington)
- 2. Brendan Murphy (University of Washington)
- 3. Jared Roesch (University of Washington)
- 4. Alvin Cheung (University of Washington)
- 5. Dan Suciu (University of Washington)
BibTeX Citation
@article{chu_vldb18,
title = {{Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries}},
author = {Chu, Shumo and Murphy, Brendan and Roesch, Jared and Cheung, Alvin and Suciu, Dan},
journal = {PVLDB},
series = {{VLDB} '18},
volume = {11},
number = {11},
pages = {1482--1495},
doi = {10.14778/3236187.3236200},
url = {https://doi.org/10.14778/3236187.3236200},
year = {2018}
}Incoming Citations (Sorted by Pagerank)
Showing 22 of 22 citing papers.
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 19 of 19 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 2,924 | Semantic Query Optimization in Datalog Programs (Extended Abstract) | 1995 | PODS |
| 2 | 2,150 | Flexible Queries over Semistructured Data | 2001 | PODS |
| 3 | 6,303 | Classification of Annotation Semirings over Query Containment | 2012 | PODS |
| 4 | 2,271 | Deciding Equivalences among Aggregate Queries | 1998 | PODS |
| 5 | 2,963 | Proving Query Equivalence Using Linear Integer Arithmetic | 2023 | SIGMOD |
| 6 | 11,650 | Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries | 2024 | VLDB |
| 7 | 12,788 | Equivalence of SQL Queries In Presence of Embedded Dependencies | 2009 | PODS |
| 8 | 3,297 | Automated Verification of Query Equivalence Using Satisfiability Modulo Theories | 2019 | VLDB |
| 9 | 5,189 | Equivalence of Queries Combining Set and Bag-Set Semantics | 2006 | PODS |
| 10 | 3,719 | A Formal Semantics of SQL Queries, Its Validation, and Applications | 2018 | VLDB |