37、迈向统一的基于原因的方法

迈向统一的基于原因的方法

在数据库管理中，处理不一致性是一个重要的问题。不一致性容忍完整性检查（Inconsistency-Tolerant Integrity Checking，ITIC）是一种处理数据库中完整性约束违反的方法。本文将介绍基于案例和基于原因的 ITIC 方法，并探讨它们之间的关系。

1. 不一致性容忍完整性检查（ITIC）概述

ITIC 方法通过输入三元组 (D, IC, U) 来表征每个完整性检查方法 M 的输出。其中，D 是“旧”数据库状态，IC 是完整性理论，U 是更新操作（一组要插入或删除的子句）。U 提交后会产生“新”的更新状态 DU。M(D, IC, U) 的输出有两种可能值：{sat, vio}，sat 表示 M 接受 U，vio 表示 M 拒绝 U。

2. 基于案例的 ITIC

• 定义 ：如果完整性检查方法 M 对于三元组 (D, IC, U) 满足以下条件，则称 M 对于基于案例的 ITIC 是健全的和完整的：
  • 若 M(D, IC, U) = sat，则 VioCas(DU, IC) ⊆ VioCas(D, IC)。
  • 若 VioCas(DU, IC) ⊆ VioCas(D, IC)，则 M(D, IC, U) = sat。
• 示例 ：对于约束 ←r(x), s(x)，在数据库 D = {r(0), r(1), s(0), s(2)} 中，由于 ←r(0), s(0) 的主体在 D 中为真，所以该约束被违反。基于案例的方法可以接