タイプ R={A,B,C,D,E,F} のリレーショナル データベースを取得しました。F = {{AB-->C}; のような機能依存関係があります。{A-->D}; {D-->AE}; {E-->F}}
しかし、推論規則の助けを借りて、私はステートメント BD-->ABCEF を思いつきました。分解規則で右側から B を削除することは許可されているのでしょうか?
分解規則は次のように述べています。
X --> YZ の場合、X --> Y および X --> Z
基本的に BD --> ACEF は正しいですか?