5、认证关系表与认证跳跃表技术解析

认证关系表与认证跳跃表技术解析

在数据库操作中，用户常常需要对关系表执行各种操作，如选择元组、插入和删除元素等，同时希望能够验证查询结果的真实性。为了满足这一需求，我们可以采用认证跳跃表来保证关系表的完整性。

认证跳跃表的查询验证机制

在认证跳跃表中，当查询元素时，会根据查询结果进行不同的验证操作。若答案为“是”，则验证元素本身的存在；若答案为“否”，则验证底层连续节点中两个元素 xa 和 xb 的存在，且满足 xa < x < xb 。无论哪种情况，答案认证信息都是一个值的序列，以及起始节点 s 的签名、带时间戳的标签 f(s) 。

设 P(x) = (v1; ...; vm) 是搜索元素 x 时按逆序访问的节点序列。例如，在特定示例中， P(9) 不仅需要粗线标记的节点 (9, 6, −∞) ，还需要所有点划线标记的兄弟节点。根据跳跃表的性质，序列 P(x) 的大小 m 大概率为 O(log n) 。我们从节点序列 P(x) 构建一个值序列 Q(x) = (y1; ...; ym) ，满足：
- ym = f(s) ，即起始节点的标签；
- ym = h(ym−1; h(ym−2; h(.