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: 14270
Venue: VLDB
Year: 2025
Pagerank: 5.1915905e-05
Overall Rank: 9,945 | 31.77%
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 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,199	Automated Discovery of Test Oracles for Database Management Systems Using LLMs	2026	SIGMOD	5.093636e-05

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.00059843817
179	Constructing an Interactive Natural Language Interface for Relational Databases	2015	VLDB	0.00026838277
279	Text-to-SQL Empowered by Large Language Models: A Benchmark Evaluation	2024	VLDB	0.00022468369
290	An Overview of Query Optimization in Relational Systems	1998	PODS	0.0002227038
445	Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources	2018	SIGMOD	0.00018336751
459	ATHENA: An Ontology-Driven System for Natural Language Querying over Relational Data Stores	2016	VLDB	0.00018101318
734	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00014525584
910	Cosette: An Automated Prover for SQL	2017	CIDR	0.00013285905
1,829	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB	9.6671311e-05
1,982	WeTune: Automatic Discovery and Verification of Query Rewrite Rules	2022	SIGMOD	9.3573897e-05
3,327	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB	7.518491e-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
5,353	QED: A Powerful Query Equivalence Decider for SQL	2024	VLDB	6.2519268e-05
8,453	A Learned Query Rewrite System	2023	VLDB	5.4229225e-05
8,970	Understanding Queries by Conditional Instances	2022	SIGMOD	5.3422757e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	5,438	PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns	2021	VLDB
2	7,756	Semantic Conformance Testing of Relational DBMS	2025	VLDB
3	10,199	Automated Discovery of Test Oracles for Database Management Systems Using LLMs	2026	SIGMOD
4	3,327	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB
5	10,139	Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More!	2026	CIDR
6	2,069	Generating Targeted Queries for Database Testing	2008	SIGMOD
7	4,759	Explaining Wrong Queries Using Small Examples	2019	SIGMOD
8	5,353	QED: A Powerful Query Equivalence Decider for SQL	2024	VLDB
9	11,326	Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries	2024	VLDB
10	10,406	Test Data Generation for Complex SQL Queries	2026	SIGMOD