arXiv cs.AI· Genliang Zhu, Xiaobo Chen, Ziyuan Wang, Chu Wang·· 1 天前AI 评分31
业务语义变化下 text-to-SQL 查询的重新验证研究
Verifying Text-to-SQL Queries under Changing Business Semantics
AI 导读
研究提出可执行验证档案，将请求修订与知识截止绑定到法律反例数据和精确金额比对，用于业务定义变化后固定 SQL 查询的重新验证。
正文 · AI 翻译
摘要：在文本到 SQL 和 AI 智能体分析中，SQL 成功执行并不能在业务定义变化的情况下确立语义正确性。我们研究在退款归属、税务处理、合格人群和汇率日期发生变化后，对固定查询进行重新验证。可执行验证配置文件将请求的修订版本和知识截止时间绑定到合法反例数据和精确的货币比较。在 32 个新编写的修订家族和两个本地生产者包上进行的预注册确认保留了 192 个查询-定义单元：144 个不符合、36 个有限套件一致和 12 个未解决。在不符合的单元中，有 63 个在当前快照上一致。在八账本预算下，义务引导检查检测到 137 个差异，而通用排序为 127 个，配对差异为 6.9 个百分点（家族 bootstrap 95% 区间 [2.1, 13.6]；精确家族符号翻转 p=0.0156）。每个账本分支对 36 个一致单元均未拒绝任何一个。当前义务和等权重评分与引导结果一致，表明覆盖范围而非修订特定优先级是观察到的收益来源。受控测定、自然查询试点和重复样本提供了独立的机制和稳健性证据。合法差异反驳一致性；一致性仍限于记录的套件。该研究在其编写的模式和本地模型范围内建立了一个可审计的业务语义重新验证配置文件。
| 评论： | 22 页 |
| 主题： | 人工智能（cs.AI） |
| 引用为： | arXiv:2610.41090 [cs.AI] |
| （或 arXiv:2610.41090v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.41090 arXiv 颁发的 DOI 通过 DataCite（待注册） |
提交历史
来自：Xiaobo Chen [查看电子邮件]
[v1]
2026 年 10 月 30 日星期五 00:13:39 UTC（34 KB）
来源：arXiv cs.AI · arxiv.org