database - 関数の依存関係 - F が意味するかどうかを調べる

Question

次の機能依存関係がある場合

F = { A -> BC, CD -> E, B -> D, E -> A }

F |= E -> BC が偽であることに頭を包むことはできません。EならAへ、AならBCへ。このロジックの何が間違っていますか?

Answer 1

ロジックに問題はありません。F | =E->BC。