コースで提供されているスライドは、説明がなく、推論方法の例を示しているだけだと感じているため、合成アルゴリズムと候補キーの検索に関していくつかの問題があります。
したがって、単一の関係 R[ABCDE] を持つリレーショナル スキーマがある場合、機能的な依存関係: {AB->CD, C->AD, E->B},
これまでのところ、私はここにたどり着きました: 正規のシェルは: C={AB->C, C->D, E->B} で、候補キーは: EB AE と EC です。
1) 合成アルゴリズムを適用して、ロスレスで依存関係を保持する 3NF 分解を見つけます。
分解が実際にロスレスで依存関係が保持されているかどうかを確認する方法は知っていますが、そこに到達する方法は知りません。下記を参照してください：
i) F のカノニカル カバー C を構築する
ii) C'={X 結合 Y | X->Y "所属" Consol(C)} これは私が知っている
iii) C を C' のサブセットと定義し、別の関係に含まれるすべての関係を削除します。これは、私が正しいと思うかどうかを知っています。
iv) C が R のスーパーキーを既に含んでいる場合、C2 を C と定義します。このステップがわかりません。
2) 3) で得られた分解が BCNF にもあるかどうかを徹底的に動機づける。
前もって感謝します！