31、处理不一致约束规范的策略

处理不一致约束规范的策略

在数据库设计中，约束规范的不一致性是一个常见且棘手的问题。本文将探讨处理不一致约束集的策略，包括检测多余对象类型、增量一致性检查、寻找最小不一致约束集以及反馈弧消除等方法。

1. 检测多余对象类型

在处理约束集时，首先需要检测多余的对象类型。通过特定算法，在每次 while 循环中， Ain ∪ Aout ∪ Afree 的大小至少减少一个，因此步骤 (S2) 最多在 |A| = 2|L| 次运行后终止。根据定理 5，生成的集合 Vsu 包含所有多余的对象类型。定理 6 表明，给定 D 中的所有距离，包含步骤 (S1) 和 (S2) 的算法能在时间 O(|V|² + |A|) = O(|V|² + |L|) 内找到所有多余的对象类型。

例如，考虑特定的模式，从 Employee 经过 Works in 、 Lab 和 Assigns 再回到 Employee 的循环 C 的权重 ω(C) = 1/3 。多次遍历该循环会得到任意小权重的路径，从而得出 dist(Employee, Works in) = 0 ，这意味着 Employee 对于 ΣC 是多余的。应用 (S1) 可得到包含