62、数据库维护中的优先主动完整性约束与相关算法优化

数据库维护中的优先主动完整性约束与相关算法优化

1. 引言

在数据库管理领域，数据的一致性和隐私保护是至关重要的问题。在许多情况下，数据库中会出现不一致的数据，例如当多个一致的数据源集成到一个数据库时。处理这些不一致数据通常有两种方法：一是修复数据库，即通过应用最小的更新操作集来提供一致的数据库；二是对不一致的数据库进行一致的查询回答。

1.1 不一致数据示例

考虑一个数据库模式，包含关系模式 emp(Name, Dept) 和 dept(Name) ，并有一个参照完整性约束： emp 关系中出现的部门必须也出现在 dept 关系中。这个约束可以用一阶公式表示为：
[
\forall(E, D) [ emp(E, D) \supset dept(D) ]
]
假设有一个不一致的数据库实例 DB = { emp(john,cs), emp(john, deis), dept(deis) } ，可以通过两种最小更新操作来修复：
- R1 ：插入元组 dept(cs) 。
- R2 ：删除元组 emp(john,cs) 。
对于查询部门名称的问题，答案包含确定答案 deis 和不确定答案 cs 。

1.2 优先主动完整性约束的提出

由于一个不一致