汇编网首页登录博客注册
xiaofkg的学习博客
博客首页博客互动【做检测题】论坛求助

我的博客

个人首页 |  我的文章 |  我的相册 |  我的好友 |  最新访客 |  文章收藏 |  论坛提问 |  友情链接 |  给我留言  
图片载入中
学习动态
好友圈
文章收藏
友情链接

[2008-12-10 18:02] BC范式的定义

1.满足BCNF的关系将消除任何属性(主属性或非主属性)对键的部分函数依赖和传递函数依赖。也就是说,如果RBCNF,则R也是3NF。
证明:采用反证法。设R不是3NF。则必然存在如下条件的函数依赖,X→Y(Y  X),Y→Z,其中X是键属性,Y是任意属性组,Z是非主属性,Z  Y,这样Y→Z函数依赖的决定因素Y不包含候选键,这与BCNF范式的定义相矛盾,所以如果RBCNF,则R也是3NF。
评论次数(1)  |  浏览次数(632)  |  类型(网摘碎片) |  收藏此文  | 

[  游客   发表于  2008-12-10 20:30  ]

范式?好像是数据库原理吧。

 
 请输入验证码  (提示:点击验证码输入框,以获取验证码