database - 函数依赖 - 查找 F 是否暗示

Question

给定以下功能依赖项

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

我无法理解 F |= E -> BC 是错误的。如果你有E，你可以去A，如果你有A，你可以去BC。这个逻辑有什么不正确的？

Answer 1

你的逻辑没有错。F |= E->BC。