数据库中证明BCNF一定是3NF

问题遇到的现象和发生背景

这个证明BCNF一定是3NF中(Y->X∈F+，这就是说 Y 不可能包含 R 的关键字)
这句话怎么理解的，还有那个Y->X∈F+是什么意思

遇到的现象和发生背景，请写出第一个错误信息

用代码块功能插入代码，请勿粘贴截图。 不用代码块回答率下降 50%

运行结果及详细报错内容

我的解答思路和尝试过的方法，不写自己思路的，回答率下降 60%

我想要达到的结果，如果你需要快速回答，请尝试 “付费悬赏”

BCNF 是 3NF 的一个特殊情况。

Y -> X ∈ F+ 表示 Y 列中的值是由 X 列中的值推导出来的，并且 X 列在函数依赖 F+ 中出现过。这就是说 Y 列不可能包含 R 表的关键字，因为如果 Y 列包含了 R 表的关键字，那么就不满足函数依赖 Y -> X ∈ F+ 的条件了。

所以这句话的意思是：如果一个表在 BCNF 中，那么它一定也在 3NF 中，因为在 BCNF 中，每一个函数依赖的左部都必须是这个表的主键或者是这个表的主键的子集，而在 3NF 中，每一个函数依赖的左部都必须是这个表的主键。
望采纳。