Skip to content
Hot eventLive

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

1 reports1 sources3 hr ago updated

Get the story

AI overview

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

Generated from reports · updated 2 hr ago

LatestOct 8
arXiv 论文提出在 TGMS 中以计划契约与证据契约约束数据库智能体，并配静态与声明两类验证器。

Timeline

Follow the coverage from different angles.

Oct 8, 2026
  1. arXiv · Databases
    面向数据库 AI 智能体的两项契约：计划契约与证据契约

    论文提出面向数据库 AI 智能体的两项可执行契约：计划契约限定智能体可执行与引用的操作，证据契约记录支撑结论的信念状态、完整性与出处。契约在双时态图系统 TGMS 中实例化，静态验证器在执行前检查计划，声明验证器对照内容寻址 trace 检查类型化声明。

Heat trend

Current heat 9·Comparable peak 10（Oct 8）·Comparable change over 24 hours –

02.557.510Oct8Oct8Oct8Oct8

The trend compares only the same participants observed continuously; its range may be smaller than the current heat count. Move or click on the chart to inspect hourly heat; use the left and right arrow keys to switch.