Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency

Summary: Defines execution consistency as a necessary correctness condition for NL→SQL mappings. SQLDriller crafts counterexample databases and employs a SQL equivalence checker to identify and repair incorrect NL→SQL mappings in Spider/BIRD, boosting Text-to-SQL accuracy by up to 13.6%. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7206
Venue: SIGMOD
Year: 2025
Pagerank: 4.821174e-05
Overall Rank: 7,139 | 50.34%
DOI: 10.1145/3725271

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,144	Beyond Relational: Semantic-Aware Multi-Modal Analytics with LLM-Native Query Optimization	2026	SIGMOD	4.1945683e-05
10,155	DIVER: A Robust Text-to-SQL System with Dynamic Interactive Value Linking and Evidence Reasoning	2026	SIGMOD	4.1945683e-05
10,221	NL2SQLBench: A Modular Benchmarking Framework for LLM-Enabled NL2SQL Solutions	2026	VLDB	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 13 of 13 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
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
998	CodeS: Towards Building Open-source Language Models for Text-to-SQL	2024	SIGMOD	0.00014729379
1,057	Cosette: An Automated Prover for SQL	2017	CIDR	0.0001439886
1,872	ReAcTable: Enhancing ReAct for Table Question Answering	2024	VLDB	0.00010259702
2,099	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB	9.5479391e-05
2,587	Table-GPT: Table Fine-tuned GPT for Diverse Table Tasks	2024	SIGMOD	8.4924618e-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
4,739	AutoTQA: Towards Autonomous Tabular Question Answering through Multi-Agent Large Language Models	2024	VLDB	5.959592e-05
8,990	Towards Enhancing Database Education: Natural Language Generation Meets Query Execution Plans	2021	SIGMOD	4.413295e-05
8,991	Conversational BI: An Ontology-Driven Conversation System for Business Intelligence Applications	2020	VLDB	4.413295e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
2,945	Few-shot Text-to-SQL Translation using Structure and Content Prompt Learning	2023	SIGMOD	7.8377395e-05
10,221	NL2SQLBench: A Modular Benchmarking Framework for LLM-Enabled NL2SQL Solutions	2026	VLDB	4.1945683e-05
1,732	CatSQL: Towards Real World Natural Language to SQL Applications	2023	VLDB	0.00010732004
10,108	Reliable Answers for Recurring Questions: Boosting Text-to-SQL Accuracy with Template Constrained Decoding	2026	SIGMOD	4.1945683e-05
4,908	Combining Small Language Models and Large Language Models for Zero-Shot NL2SQL	2024	VLDB	5.8339245e-05
7,354	Reliable Text-to-SQL with Adaptive Abstention	2025	SIGMOD	4.7529612e-05
10,475	Cracking SQL Barriers: An LLM-based Dialect Translation System	2025	SIGMOD	4.1945683e-05
369	Text-to-SQL Empowered by Large Language Models: A Benchmark Evaluation	2024	VLDB	0.0002547515
3,662	The Dawn of Natural Language to SQL: Are We Fully Ready?	2024	VLDB	6.8672143e-05
9,151	The Power of Constraints in Natural Language to SQL Translation	2025	VLDB	4.3849295e-05