99、数据库一致性查询与组织数据挖掘的知识构建

数据库一致性查询与组织数据挖掘的知识构建

1. 数据库一致性查询

1.1 完整性约束与不一致数据库

在数据库操作中，完整性约束是确保数据质量和一致性的重要规则。例如，有一个完整性约束由一阶公式定义：
(\forall(X, Y, Z) [ Supply(X,Y,Z) \land Class(Z,t) \supset X=c1 ])
这表明只有供应商 (c1) 可以供应类型为 (t) 的物品。

假设有数据库 (D = { Supply(c1, d1, i1), Supply(c2, d2, i2), Class(i1, t), Class(i2, t) })，该数据库是不一致的，因为完整性约束未得到满足，类型为 (t) 的物品也由供应商 (c2) 供应。

这个约束可以重写为：
(\leftarrow Supply(X,Y,Z) \land Class(Z,t) \land X \neq c1)
其中所有变量都（隐式地）被全称量化。

约束中文字的残差如下：
- (Res(Supply(X,Y,Z)) = \neg Class(Z,t) \lor X = c1)
- (Res(Class(Z,t)) = \neg Supply(X,Y,Z) \lor X = c1)

对查询目标 (Class(Z,t)) 应用操作符 (T) 进行迭代：
- (T^0(Class(Z,t)) = Class(Z,t))
- (T^1(Class(Z,t)) = Class(Z,t) \land (\neg Supply(X,Y,Z) \lor X = c1)) <