.png){kind=icon}
返回
Verified LLM-Based Query Rewriting for Microsoft SQL Server
.png){kind=icon}
PRE
AI
DOI：10.14778/3827998.3828074.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
查询重写是数据库开发人员和系统管理员用于优化性能不佳的SQL查询的技术之一。我们开发了一个基于LLM的查询调优工具，用于Microsoft SQL Server，该工具以查询、调优约束（如最低改进要求和时间预算）作为输入，并自动推荐语义等效的查询重写，以提高查询的执行时间。该软件工具作为SQL Server Management Studio (SSMS) 的扩展进行集成。我们的演示突出了两个重要能力。首先，虽然LLM能够为给定查询生成有前景的候选重写，但它们不能保证查询重写的语义等效性。我们使用了一种我们开发的验证两个查询语义等效性的技术，该技术利用了Microsoft SQL Server查询优化器的内置功能。其次，我们通过采用任意时间调优算法并采用有助于缩短验证和执行每个候选重写中昂贵步骤的优化措施，谨慎地使用给定的时间预算。据我们所知，这是首款能够使数据库管理员和应用开发人员安全地实现基于LLM的查询重写的工具。