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

Summary: ParSEval generates SQL test databases using operator semantics and branch coverage over logical-plan execution paths, reducing false positives in equivalence testing. It supports 40% more query pairs than verifiers and finds more inequivalences than prior generators, 21× faster. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: he1000901378b0ea2
Venue: VLDB
Year: 2025
Pagerank: 5.0751052e-05
Overall Rank: 10,129 | 31.90%
DOI: 10.14778/3749646.3749727

Incoming Non-self Citations Over Time

Authors

1. Chunyu Chen (Simon Fraser University)
2. Zhengjie Miao (Simon Fraser University)
3. Yong Zhang (Huawei)
4. Jiannan Wang (Huawei; Simon Fraser University)

BibTeX Citation

@article{chen_vldb25,
        title = {{ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation}},
        author = {Chen, Chunyu and Miao, Zhengjie and Zhang, Yong and Wang, Jiannan},
        journal = {PVLDB},
        series = {{VLDB} '25},
        volume = {18},
        number = {11},
        pages = {4750--4762},
        doi = {10.14778/3749646.3749727},
        url = {https://doi.org/10.14778/3749646.3749727},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,415	Automated Discovery of Test Oracles for Database Management Systems Using LLMs	2026	SIGMOD	4.9793485e-05
13,607	ParSEval: Interactive Counterexample-driven Evaluation for Text-to-SQL	2026	VLDB	-

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
17	Provenance Semirings	2007	PODS	0.00059752575
174	Text-to-SQL Empowered by Large Language Models: A Benchmark Evaluation	2024	VLDB	0.00026790979
180	Constructing an Interactive Natural Language Interface for Relational Databases	2015	VLDB	0.0002654471
272	An Overview of Query Optimization in Relational Systems	1998	PODS	0.00022509573
379	Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources	2018	SIGMOD	0.00019514689
439	ATHENA: An Ontology-Driven System for Natural Language Querying over Relational Data Stores	2016	VLDB	0.00018251249
747	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00014283935
790	Cosette: An Automated Prover for SQL	2017	CIDR	0.00013976438
1,680	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB	9.9031411e-05
1,893	WeTune: Automatic Discovery and Verification of Query Rewrite Rules	2022	SIGMOD	9.4126198e-05
2,961	Proving Query Equivalence Using Linear Integer Arithmetic	2023	SIGMOD	7.8068219e-05
3,297	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB	7.4452842e-05
4,102	QED: A Powerful Query Equivalence Decider for SQL	2024	VLDB	6.8070264e-05
4,847	Explaining Wrong Queries Using Small Examples	2019	SIGMOD	6.3823876e-05
8,622	A Learned Query Rewrite System	2023	VLDB	5.3012467e-05
9,061	Understanding Queries by Conditional Instances	2022	SIGMOD	5.2289882e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	10,415	Automated Discovery of Test Oracles for Database Management Systems Using LLMs	2026	SIGMOD
2	3,297	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB
3	10,359	Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More!	2026	CIDR
4	1,890	Generating Targeted Queries for Database Testing	2008	SIGMOD
5	4,847	Explaining Wrong Queries Using Small Examples	2019	SIGMOD
6	4,102	QED: A Powerful Query Equivalence Decider for SQL	2024	VLDB
7	10,893	Developing and Benchmarking Verification Algorithms to Improve Text-to-SQL Generation	2026	VLDB
8	11,644	Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries	2024	VLDB
9	7,638	Test Data Generation for Complex SQL Queries	2026	SIGMOD
10	13,607	ParSEval: Interactive Counterexample-driven Evaluation for Text-to-SQL	2026	VLDB