TGMS：为数据库Agent提出计划契约与证据契约

2026年10月8日，arXiv Databases 频道发布论文，提出面向数据库 AI 智能体的两项可执行契约：计划契约限定智能体可执行与引用的操作，证据契约记录支撑结论的信念状态、完整性与出处。两项契约在双时态图系统 TGMS 中实例化，其中静态验证器在执行前检查计划，声明验证器对照内容寻址 trace 检查类型化声明。该论文为一手来源，目前未见后续验证或争议报道。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。