ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation

Summary: ParSEval generates test databases by modeling operator-specific behaviors and applying branch coverage to exhaust logical-plan execution paths. Outperforms verification methods (up to +40% supported pairs) and prior test-based tools (finds more inequivalences, ~21× faster). (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 14082
Venue: VLDB
Year: 2025
Pagerank: 4.1945683e-05
Overall Rank: 10,762 | 25.14%
DOI: 10.14778/3749646.3749727

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

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
31	Provenance Semirings	2007	PODS	0.0007857786
206	Constructing an Interactive Natural Language Interface for Relational Databases	2015	VLDB	0.00034667032
369	Text-to-SQL Empowered by Large Language Models: A Benchmark Evaluation	2024	VLDB	0.0002547515
454	An Overview of Query Optimization in Relational Systems	1998	PODS	0.00022734812
535	ATHENA: An Ontology-Driven System for Natural Language Querying over Relational Data Stores	2016	VLDB	0.00020727678
544	Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources	2018	SIGMOD	0.00020521965
888	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00015578618
1,057	Cosette: An Automated Prover for SQL	2017	CIDR	0.0001439886
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,901	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB	6.6499845e-05
4,388	Proving Query Equivalence Using Linear Integer Arithmetic	2023	SIGMOD	6.2303078e-05
5,243	QED: A Powerful Query Equivalence Decider for SQL	2024	VLDB	5.6071695e-05
5,733	Explaining Wrong Queries Using Small Examples	2019	SIGMOD	5.3483446e-05
8,954	Understanding Queries by Conditional Instances	2022	SIGMOD	4.4221863e-05
8,969	A Learned Query Rewrite System	2023	VLDB	4.4189226e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
5,353	An In-Depth Benchmarking of Text-to-SQL Systems	2021	SIGMOD	5.5521332e-05
5,544	PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns	2021	VLDB	5.4462933e-05
7,726	Semantic Conformance Testing of Relational DBMS	2025	VLDB	4.6667388e-05
3,901	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB	6.6499845e-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
2,277	Generating Targeted Queries for Database Testing	2008	SIGMOD	9.1241198e-05
5,733	Explaining Wrong Queries Using Small Examples	2019	SIGMOD	5.3483446e-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
10,118	Test Data Generation for Complex SQL Queries	2026	SIGMOD	4.1945683e-05