论文用可执行验证配置检查业务语义变化后的SQL查询一致性。
资讯摘要
论文研究业务定义变化后固定SQL查询的重新验证问题，涉及退款归属、税务处理、合格人群和汇率日期等变更。作者提出可执行验证配置，将请求版本与知识截止绑定到反例数据和精确金额比较。在32个新编写修订族和两个本地生产者包上保留192个查询-定义单元，其中144个不符合、36个有限套件一致、12个未解决；不符合单元中63个在当前快照上仍一致。
要点速读
- 论文提出可执行验证配置，把请求修订版本与知识截止绑定到合法反例数据和精确金额比较。
- 预注册确认保留192个查询-定义单元：144个不符合、36个有限套件一致、12个未解决；不符合单元中63个在当前快照上一致。
- 八账本预算下，义务引导检查发现137处差异，通用排序为127处，配对差异6.9个百分点（族bootstrap 95%区间[2.1,13.6]，精确族符号翻转p=0.0156）；所有账本分支均未拒绝36个一致单元。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/11/3 08:00:27（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。