通常のカバレッジ結果は一意ではありません。
メソッドの1つ:
-
単一の属性に対する権利を部分的にする
-
AB-> Cなど、左側の部品の冗長属性を削除します- Aが冗長であると仮定して、BのクロージャにCが含まれているかどうかを確認します。
- Bが冗長であると仮定すると、...
-
冗長な機能の依存関係を削除する
- A-> Bが削除された場合は、Aによって変更できるかどうかを確認します
-
機能依存関係をマージする
簡単な例:
パターン(A、B、C)の機能依存セットF:
A-> BC
B-> C
A-> B
AB-> C
- 正しい部分を単一の属性に分割した後
A-> B
A-> C
B-> C
AB-> C - 左側の冗長属性を削除した後、
A-> B
A-> C
B-> C - 冗長な機能の依存関係を削除した後
A-> B
B-> C
A-> B
B-> C
を組み合わせて、通常のカバレッジを取得します
関係パターンrの機能依存セットF(A、B、C、D、E):
A-> BC
CD-> E
B-> D
E-> A
- 正しい部分が単一の属性に変換された後、
A-> B
A-> C
CD-> E
B-> D
E-> A - 左側の冗長属性を削除します
A-> B
A-> C
CD-> E
B-> D
E-> A - 重複する関数の依存関係を削除
A-> B
A-> C
CD-> E
B-> D
E-> A - 合わせた
A-> BC
B-> D
CD-> E
E-> A