Horizon: Robust Checks for SQL Migration Using LLMs
Summary: Introduces Horizon, the first comprehensive LLM-based SQL schema migration framework that augments traditional DB tooling with novel syntactic and semantic checks to yield complete, functionally equivalent translations across all schema objects, including procedural code. Emphasizes robust evaluation and iterative query refinement to steer LLMs to high-accuracy migrations and provides configurable demos to probe strengths and limitations. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Venkatesh Emani
- 2. Wenjing Wang
- 3. Zi Ye
- 4. Jia He
- 5. Neel Ball
- 6. Kumaraswamy Boora
- 7. Carlo Curino
- 8. Avrilia Floratou
- 9. Manan Goenka
- 10. Paridhi Gupta
- 11. Vivek Gupta
- 12. Katherine Lin
- 13. Nick Litombe
- 14. Jared Meade
- 15. Suryakant Mutnal
- 16. Mark Pryce-Maher
- 17. Raghu Ramakrishnan
- 18. Sudhir Raparla
- 19. Dhruv Relwani
- 20. Shyam Sai
- 21. Vaibhave Sekar
- 22. Roneet Shaw
- 23. Harmeet Singh
- 24. Prasanna Sridharan
- 25. Mark Taylor
- 26. Sunidhi Tiwari
- 27. Yiwen Zhu
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,237 | Procedural Extensions of SQL: Understanding their usage in the wild | 2021 | VLDB | 9.2212748e-05 |
| 5,243 | QED: A Powerful Query Equivalence Decider for SQL | 2024 | VLDB | 5.6071695e-05 |