首页 > 试题广场 >

试证,如果R是3NF的且每个码都是单属性的,则它是BCNF。

[问答题]
试证,如果R是3NF的且每个码都是单属性的,则它是BCNF。
R是3NF,非主属性对码的部分函数依赖和传递函数依赖都消除了,即如果Y是非主属性又有X->Y,那X一定包含码。R的每个码都是单属性,就不可能存在主属性X(此例中就是码了),使得X对不包含它的码是部分函数依赖关系,X更不可能依赖于一个非主属性(如果存在这样的非主属性,那它能推出码,矛盾),所以X只能完全函数依赖于不包含它的码,所以符合BCNF
编辑于 2024-03-10 12:37:40 回复(0)