Verified LLM-Based Query Rewriting for Microsoft SQL Server

Summary: An SSMS-integrated LLM tool proposes SQL Server query rewrites under improvement and time-budget constraints. It uniquely verifies semantic equivalence via the optimizer and uses anytime search with verification/execution short-circuiting for safe tuning. (summarized by gpt-5.6-luna on Aug 28 2026)

Paper ID: h9ccd5e931175443c
Venue: VLDB
Year: 2026
Pagerank: 4.9793485e-05
Overall Rank: 10,971 | 26.24%
DOI: 10.14778/3827998.3828074

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Kukjin Lee (Microsoft)
2. Anshuman Dutt (Microsoft)
3. Vivek Narasayya (Microsoft)
4. Surajit Chaudhuri (Microsoft)

BibTeX Citation

@article{lee_vldb26,
        title = {{Verified LLM-Based Query Rewriting for Microsoft SQL Server}},
        author = {Lee, Kukjin and Dutt, Anshuman and Narasayya, Vivek and Chaudhuri, Surajit},
        journal = {PVLDB},
        series = {{VLDB} '26},
        volume = {19},
        number = {12},
        pages = {4594--4597},
        doi = {10.14778/3827998.3828074},
        url = {https://doi.org/10.14778/3827998.3828074},
        year = {2026}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 12 of 12 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
790	Cosette: An Automated Prover for SQL	2017	CIDR	0.00013976438
982	Cardinality Estimation in DBMS: A Comprehensive Benchmark Evaluation	2022	VLDB	0.00012714044
1,680	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB	9.9031411e-05
2,039	LLM-R^2: A Large Language Model Enhanced Rule-based Rewrite System for Boosting Query Efficiency	2025	VLDB	9.1493268e-05
2,961	Proving Query Equivalence Using Linear Integer Arithmetic	2023	SIGMOD	7.8068219e-05
3,169	Panda: Performance Debugging for Databases using LLM Agents	2024	CIDR	7.5696238e-05
3,336	GenRewrite: Query Rewriting via Large Language Models	2026	SIGMOD	7.4137763e-05
4,102	QED: A Powerful Query Equivalence Decider for SQL	2024	VLDB	6.8070264e-05
4,385	R-Bot: An LLM-based Query Rewrite System	2025	VLDB	6.6235293e-05
7,385	Towards Foundation Database Models	2025	CIDR	5.5385053e-05
7,764	DBG-PT: A Large Language Model Assisted Query Performance Regression Debugger	2024	VLDB	5.4564979e-05
10,359	Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More!	2026	CIDR	4.9793485e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	10,780	SafeQL: Search-based Refinement for Safe and Efficient LLM-based Text-to-SQL	2026	VLDB
2	13,632	OmniTune: A Universal Framework for Query Refinement via LLMs	2025	SIGMOD
3	10,290	This is Going to Sound Crazy, But What If We Used Large Language Models to Boost Automatic Database Tuning Algorithms By Leveraging Prior History? We Will Find Better Configurations More Quickly Than Retraining From Scratch!	2026	SIGMOD
4	6,586	Can Large Language Models Be Query Optimizer for Relational Databases?	2026	SIGMOD
5	4,385	R-Bot: An LLM-based Query Rewrite System	2025	VLDB
6	10,832	ReSequel: Robust LLM-assisted Query Rewriting and Optimization using Templatization and Sampling	2026	VLDB
7	10,918	Evaluating the Practical Effectiveness of LLM-Driven Index Tuning on Microsoft SQL Server	2026	VLDB
8	2,039	LLM-R^2: A Large Language Model Enhanced Rule-based Rewrite System for Boosting Query Efficiency	2025	VLDB
9	3,336	GenRewrite: Query Rewriting via Large Language Models	2026	SIGMOD
10	10,359	Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More!	2026	CIDR