试题详情
简答题试证明：一个BCNF范式必是3NF。
  • 用反证法。 
    设R是一个BCNF，但不是3NF。 
    则必存在非主属性A和候选关键字X以及属性集Y，使得X→Y，Y→A，其中AX，AY，Y X∈F+，这就是说Y不可能包含R的关键字，但Y→A却成立。 
    根据BCNF定义，R不是BCNF，与题设矛盾，所以一个BCNF范式是3NF。

  • 关注下方微信公众号，在线模考后查看

热门试题