Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries

Summary: Qr-Hint generates actionable repair hints for a wrong SQL query relative to a target query, aiming at semantics-preserving fixes rather than mimicking the target syntax. Key novelty: stepwise, provably correct and locally optimal guidance from the user’s own query, despite SQL equivalence undecidability. (summarized by gpt-5.4-mini on May 24 2026)

Paper ID: h56b946958b7012ab
Venue: SIGMOD
Year: 2024
Pagerank: 5.2458797e-05
Overall Rank: 8,972 | 39.68%
DOI: 10.1145/3654995

Incoming Non-self Citations Over Time

Authors

1. Yihao Hu (Duke University)
2. Amir Gilad (Hebrew University)
3. Kristin Stephens-Martinez (Duke University)
4. Sudeepa Roy (Duke University)
5. Jun Yang (Duke University)

BibTeX Citation

@inproceedings{hu_sigmod24,
        title = {{Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries}},
        author = {Hu, Yihao and Gilad, Amir and Stephens-Martinez, Kristin and Roy, Sudeepa and Yang, Jun},
        series = {{SIGMOD} '24},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3654995},
        url = {https://dl.acm.org/doi/10.1145/3654995},
        year = {2024}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
7,952	The Power of Constraints in Natural Language to SQL Translation	2025	VLDB	5.4198293e-05
10,513	Towards Selecting Informative Alternative Relational Query Plans for Database Education	2026	SIGMOD	4.9793485e-05
10,843	I-Rex: An Interactive Debugger for SQL	2026	VLDB	4.9793485e-05
10,966	Qr-Hint: Formally Verified and AI-Explained SQL Tutoring	2026	VLDB	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 11 of 11 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
379	Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources	2018	SIGMOD	0.00019514689
790	Cosette: An Automated Prover for SQL	2017	CIDR	0.00013976438
1,275	The Containment Problem for Real Conjunctive Queries with Inequalities	2006	PODS	0.00011242154
1,680	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB	9.9031411e-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,617	QueryVis: Logic-based Diagrams help Users Understand Complicated SQL Queries Faster	2020	SIGMOD	6.49965e-05
4,847	Explaining Wrong Queries Using Small Examples	2019	SIGMOD	6.3823876e-05
4,857	A SQL Debugger Built from Spare Parts: Turning a SQL:1999 Database System into Its Own Debugger	2015	SIGMOD	6.3794096e-05
6,666	Determinacy of Real Conjunctive Queries. The Boolean Case	2022	PODS	5.7157324e-05
9,061	Understanding Queries by Conditional Instances	2022	SIGMOD	5.2289882e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	791	How to ConQueR Why-Not Questions	2010	SIGMOD
2	12,333	QFix: Demonstrating Error Diagnosis in Query Histories	2016	SIGMOD
3	4,617	QueryVis: Logic-based Diagrams help Users Understand Complicated SQL Queries Faster	2020	SIGMOD
4	4,827	QFix: Diagnosing Errors through Query Histories	2017	SIGMOD
5	10,513	Towards Selecting Informative Alternative Relational Query Plans for Database Education	2026	SIGMOD
6	4,707	PreQR: Pre-training Representation for SQL Understanding	2022	SIGMOD
7	11,399	Hint-QPT: Hints for Robust Query Performance Tuning	2025	VLDB
8	7,578	Interactive Plan Hints for Query Optimization	2009	SIGMOD
9	4,847	Explaining Wrong Queries Using Small Examples	2019	SIGMOD
10	10,966	Qr-Hint: Formally Verified and AI-Explained SQL Tutoring	2026	VLDB