{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T20:35:23Z","timestamp":1780346123234,"version":"3.54.1"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"12","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2025,8]]},"abstract":"<jats:p>Large language models (LLMs) have recently demonstrated strong capabilities in code migration across languages, making them promising for SQL schema migration. However, achieving reliable and accurate SQL migration with LLMs remains a challenge. This paper presents the first comprehensive approach for practical and effective SQL schema migration using LLMs. We highlight the necessity of robust evaluation and iterative query refinement to achieve highly accurate migrations. Building on traditional database tools along with LLMs, we introduce novel checks to guide LLMs towards syntactically complete and functionally equivalent translations. Our approach supports all schema object types, including complex procedural constructs. Our demonstrations offer audience opportunities to explore our system using a variety of configurations, datasets and custom inputs, providing useful insights into the underlying techniques, their strengths, and limitations.<\/jats:p>","DOI":"10.14778\/3750601.3750646","type":"journal-article","created":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T13:38:05Z","timestamp":1758029885000},"page":"5259-5262","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Horizon: Robust Checks for SQL Migration Using LLMs"],"prefix":"10.14778","volume":"18","author":[{"given":"Venkatesh","family":"Emani","sequence":"first","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wenjing","family":"Wang","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zi","family":"Ye","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jia","family":"He","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Neel","family":"Ball","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kumaraswamy","family":"Boora","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlo","family":"Curino","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Avrilia","family":"Floratou","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manan","family":"Goenka","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paridhi","family":"Gupta","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vivek","family":"Gupta","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Katherine","family":"Lin","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nick","family":"Litombe","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jared","family":"Meade","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suryakant","family":"Mutnal","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Pryce-Maher","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raghu","family":"Ramakrishnan","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sudhir","family":"Raparla","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dhruv","family":"Relwani","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shyam","family":"Sai","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vaibhave","family":"Sekar","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roneet","family":"Shaw","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Harmeet","family":"Singh","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Prasanna","family":"Sridharan","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Taylor","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sunidhi","family":"Tiwari","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yiwen","family":"Zhu","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Foundations of Databases","author":"Abiteboul Serge","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley."},{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Pooja Agrawal Bikash Chandra Venkatesh Emani Neha Garg and S. Sudarshan. 2018. Test Data Generation for Database Applications. In ICDE. 1621\u20131624.","DOI":"10.1109\/ICDE.2018.00191"},{"key":"e_1_2_1_3_1","unstructured":"Bowen Baker et al. 2024. Monitoring Reasoning Models for Misbehavior and the Risks of Promoting Obfuscation. arXiv preprint arXiv:2403.11926 (2024)."},{"key":"e_1_2_1_4_1","first-page":"41394","article-title":"Verified code transpilation with LLMs","volume":"37","author":"Bhatia Sahil","year":"2024","unstructured":"Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit Seshia, and Alvin Cheung. 2024. Verified code transpilation with LLMs. Advances in Neural Information Processing Systems 37 (2024), 41394\u201341424.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_2_1_5_1","unstructured":"Google Cloud. 2025. Database Migration Service. https:\/\/cloud.google.com\/database-migration."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.14778\/3457390.3457402"},{"key":"e_1_2_1_7_1","unstructured":"IBM Corporation. 2025. IBM Informix Database. https:\/\/www.ibm.com\/docs\/en\/informix-servers\/14.10"},{"key":"e_1_2_1_8_1","unstructured":"Microsoft. 2025. SQL Server Migration Assistant. https:\/\/learn.microsoft.com\/en-us\/sql\/ssma\/sql-server-migration-assistant?view=sql-server-ver15."},{"key":"e_1_2_1_9_1","unstructured":"Microsoft Corporation. 2025. Transact-SQL (T-SQL) Reference. https:\/\/learn.microsoft.com\/en-us\/sql\/t-sql"},{"key":"e_1_2_1_10_1","volume-title":"Mallet: SQL Dialect Translation with LLM Rule Generation. In AIDM (Santiago, AA, Chile) (aiDM '24)","author":"Ngom Amadou Latyr","year":"2024","unstructured":"Amadou Latyr Ngom and Tim Kraska. 2024. Mallet: SQL Dialect Translation with LLM Rule Generation. In AIDM (Santiago, AA, Chile) (aiDM '24). Association for Computing Machinery, New York, NY, USA, Article 3, 5 pages."},{"key":"e_1_2_1_11_1","volume-title":"Rahul Krishna, Divya Sankar, Lambert Pouguem Wassi, et al.","author":"Pan Rangeet","year":"2024","unstructured":"Rangeet Pan, Ali Reza Ibrahimzada, Rahul Krishna, Divya Sankar, Lambert Pouguem Wassi, et al. 2024. Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code. In ICSE. Article 82, 13 pages."},{"key":"e_1_2_1_12_1","unstructured":"Amazon Web Services. 2025. AWS Database Migration Service. https:\/\/aws.amazon.com\/dms\/."},{"key":"e_1_2_1_13_1","unstructured":"Transaction Processing Performance Council. 2025. TPC-DS Benchmark. https:\/\/www.tpc.org\/tpcds\/."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.14778\/3681954.3682024"},{"key":"e_1_2_1_15_1","volume-title":"Llm-sql-solver: Can LLMs Determine SQL Equivalence? arXiv preprint arXiv:2312.10321","author":"Zhao Fuheng","year":"2023","unstructured":"Fuheng Zhao, Faez Ahmed, Immanuel Trummer, and Azza Abouzied. 2023. Llm-sql-solver: Can LLMs Determine SQL Equivalence? arXiv preprint arXiv:2312.10321 (2023)."},{"key":"e_1_2_1_16_1","volume-title":"Translating between SQL Dialects for Cloud Migration (ICSE-SEIP '24)","author":"Zmigrod Ran","unstructured":"Ran Zmigrod, Salwa Alamir, and Xiaomo Liu. 2024. Translating between SQL Dialects for Cloud Migration (ICSE-SEIP '24). Association for Computing Machinery, New York, NY, USA, 189\u2013191."}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3750601.3750646","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T13:39:00Z","timestamp":1758029940000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3750601.3750646"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8]]},"references-count":16,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["10.14778\/3750601.3750646"],"URL":"https:\/\/doi.org\/10.14778\/3750601.3750646","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2025,8]]},"assertion":[{"value":"2025-09-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}