Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries
Summary: VeriEQL proves/disproves equivalence of complex SQL queries under a schema by exhaustive verification over all input databases up to a bounded size, supporting an expressive SQL fragment. Demonstrated for optimizer validation, automated grading, and DBMS bug finding. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Pinhan Zhao (University of Michigan)
- 2. Yang He (Simon Fraser University)
- 3. Xinyu Wang (University of Michigan)
- 4. Yuepeng Wang (Simon Fraser University)
BibTeX Citation
@article{zhao_vldb24,
title = {{Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries}},
author = {Zhao, Pinhan and He, Yang and Wang, Xinyu and Wang, Yuepeng},
journal = {PVLDB},
series = {{VLDB} '24},
volume = {17},
number = {12},
pages = {4437--4440},
doi = {10.14778/3685800.3685894},
url = {https://doi.org/10.14778/3685800.3685894},
year = {2024}
}Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 445 | Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources | 2018 | SIGMOD | 0.00018336751 |
| 910 | Cosette: An Automated Prover for SQL | 2017 | CIDR | 0.00013285905 |
| 3,172 | Demonstration of the Cosette Automated SQL Prover | 2017 | SIGMOD | 7.6679093e-05 |
| 3,769 | Proving Query Equivalence Using Linear Integer Arithmetic | 2023 | SIGMOD | 7.1403543e-05 |
| 4,759 | Explaining Wrong Queries Using Small Examples | 2019 | SIGMOD | 6.5207388e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 5,330 | ConQuer: A System for Efficient Querying Over Inconsistent Databases | 2005 | VLDB |
| 2 | 10,139 | Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! | 2026 | CIDR |
| 3 | 5,643 | Conjunctive Query Equivalence of Keyed Relational Schemas (Extended Abstract) | 1997 | PODS |
| 4 | 4,759 | Explaining Wrong Queries Using Small Examples | 2019 | SIGMOD |
| 5 | 3,769 | Proving Query Equivalence Using Linear Integer Arithmetic | 2023 | SIGMOD |
| 6 | 10,406 | Test Data Generation for Complex SQL Queries | 2026 | SIGMOD |
| 7 | 9,945 | ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation | 2025 | VLDB |
| 8 | 1,829 | Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries | 2018 | VLDB |
| 9 | 5,353 | QED: A Powerful Query Equivalence Decider for SQL | 2024 | VLDB |
| 10 | 3,327 | Automated Verification of Query Equivalence Using Satisfiability Modulo Theories | 2019 | VLDB |