请证明一个小小的问题

Question

虽然SQLServer用了很久了，但是今天我的一个朋友问我一个关于SQL的问题，我还是不会，希望大家帮忙：
题目是：试证明若关系模式R<U,F>是BCNF，如何证明他也一定属于3NF呢？

Answer 1

证明：反证法
假设R∈BCNF,但R∈3NF
∵ R∈3NF
∴则R存在传递函数依赖
即： XY, YX,YZ
又∵ YZ
∴ Y是决定因素
由假设得R∈BCNF,则Y是R的码
∴ YU,而X是U的子集，则有
    YX,与YX相矛盾
∴假设错误，命题成立给分吧，这个问题刚刚研究过！