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: 14083
Venue: VLDB
Year: 2025
Pagerank: 4.1905499e-05
Overall Rank: 10,768 | 25.17%
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.00078516827
205	Constructing an Interactive Natural Language Interface for Relational Databases	2015	VLDB	0.00034651121
366	Text-to-SQL Empowered by Large Language Models: A Benchmark Evaluation	2024	VLDB	0.00025580097
454	An Overview of Query Optimization in Relational Systems	1998	PODS	0.00022796106
535	ATHENA: An Ontology-Driven System for Natural Language Querying over Relational Data Stores	2016	VLDB	0.00020718836
542	Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources	2018	SIGMOD	0.00020522627
882	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00015634206
1,056	Cosette: An Automated Prover for SQL	2017	CIDR	0.00014391317
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,903	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB	6.6439695e-05
4,385	Proving Query Equivalence Using Linear Integer Arithmetic	2023	SIGMOD	6.2247394e-05
5,245	QED: A Powerful Query Equivalence Decider for SQL	2024	VLDB	5.6017846e-05
5,743	Explaining Wrong Queries Using Small Examples	2019	SIGMOD	5.3432106e-05
8,958	Understanding Queries by Conditional Instances	2022	SIGMOD	4.417947e-05
8,975	A Learned Query Rewrite System	2023	VLDB	4.4146872e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
5,363	An In-Depth Benchmarking of Text-to-SQL Systems	2021	SIGMOD	5.5467941e-05
5,554	PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns	2021	VLDB	5.4410603e-05
7,724	Semantic Conformance Testing of Relational DBMS	2025	VLDB	4.6622637e-05
3,903	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB	6.6439695e-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
2,280	Generating Targeted Queries for Database Testing	2008	SIGMOD	9.1247368e-05
5,743	Explaining Wrong Queries Using Small Examples	2019	SIGMOD	5.3432106e-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
10,118	Test Data Generation for Complex SQL Queries	2026	SIGMOD	4.1905499e-05