F 包含在 F+ 中嗎？

我書中的定義說：

F 邏輯暗示的所有函式依賴的集合是 F 的閉包。

我的問題是，我們是否也將 F 包含在 F 中的 F 閉包中？

如果我有：

• F = {A→B, B→C}
• 一種）F+ = {A→C, A→BC, A→B, B→C}
• b)F+ = {A→C, A→BC}

哪一個是正確的 a) 或 b) ？

由於每個依賴項都暗示著自己（假設在邏輯中每個斷言都暗示著自己），F因此包含在F+. 但請注意，F+除了您列出的依賴項之外，您的範例中還包含大量依賴項，例如A→A、AB→C、B→B、AC→A等。

引用自：https://dba.stackexchange.com/questions/203840