A Formal Semantics of SQL Queries, Its Validation, and Applications
Summary: Formal, real-SQL semantics for SELECT-FROM-WHERE with subqueries, bag semantics, and nulls; includes data-model and variable-name handling; validated on many random queries. Applications: SQL ≡ relational algebra under bag/null semantics; 3-valued logic not needed; all fragment queries eval under two-valued semantics. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 10 of 10 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 787 | Cypher: An Evolving Query Language for Property Graphs | 2018 | SIGMOD | 0.00016624372 |
| 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 |
| 5,245 | QED: A Powerful Query Equivalence Decider for SQL | 2024 | VLDB | 5.6017846e-05 |
| 6,781 | SQL Nulls and Two-Valued Logic | 2023 | PODS | 4.9227317e-05 |
| 7,724 | Semantic Conformance Testing of Relational DBMS | 2025 | VLDB | 4.6622637e-05 |
| 8,071 | Updating Graph Databases with Cypher | 2019 | VLDB | 4.5890643e-05 |
| 10,921 | TypeQL: A Type-Theoretic & Polymorphic Query Language | 2024 | PODS | 4.1905499e-05 |
| 10,998 | Understanding and Reusing Test Suites Across Database Systems | 2024 | SIGMOD | 4.1905499e-05 |
| 11,164 | Querying Incomplete Numerical Data: Between Certain and Possible Answers | 2023 | PODS | 4.1905499e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,056 | Cosette: An Automated Prover for SQL | 2017 | CIDR | 0.00014391317 |
| 2,394 | Algebraic Properties of Bag Data Types | 1991 | VLDB | 8.8911581e-05 |
| 5,863 | Making SQL Queries Correct on Incomplete Databases: A Feasibility Study | 2016 | PODS | 5.2949117e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,757 | On Relational Algebra With Marked Nulls | 1984 | PODS | 5.9358967e-05 |
| 12,856 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1905499e-05 |
| 12,305 | Equivalence of SQL Queries In Presence of Embedded Dependencies | 2009 | PODS | 4.1905499e-05 |
| 4,343 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2665123e-05 |
| 6,711 | Schema-free SQL | 2014 | SIGMOD | 4.9485222e-05 |
| 6,781 | SQL Nulls and Two-Valued Logic | 2023 | PODS | 4.9227317e-05 |
| 5,196 | Equivalence of Queries Combining Set and Bag-Set Semantics | 2006 | PODS | 5.6311982e-05 |
| 2,097 | Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries | 2018 | VLDB | 9.5439744e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.6506061e-05 |
| 965 | Null Values in Data Base Management: A Denotational Semantics Approach | 1979 | SIGMOD | 0.00014965054 |