1.满足BCNF的关系将消除任何属性(主属性或非主属性)对键的部分函数依赖和传递函数依赖。也就是说,如果RBCNF,则R也是3NF。
证明:采用反证法。设R不是3NF。则必然存在如下条件的函数依赖,X→Y(Y X),Y→Z,其中X是键属性,Y是任意属性组,Z是非主属性,Z Y,这样Y→Z函数依赖的决定因素Y不包含候选键,这与BCNF范式的定义相矛盾,所以如果RBCNF,则R也是3NF。
- [游客] 好东西,收藏之 05/26 23:40
- [游客] 有机会也搞搞 07/23 11:06
- [游客] 看不懂咧。 12/10 20:33
- [游客] 范式?好像是数据库原理吧。 12/10 20:30
- [游客] 顶! 12/07 15:14
- [游客] 分析的很正确啊。 12/07 15:11
- [gyk1983] 加油 12/06 16:37
- [wdm] 是这么回事。以前我也遇见过,不过,重新启动就没事了。 应该是再重启后这个键值就应高over了吧。 03/22 14:15
- [wdm] 蛤蟆跳井--扑通(不懂) 03/21 14:31
- [xiaofkg] 通用的 03/21 08:41
- [huibian] 建议增加些注释 ;-) 01/04 10:38
- [xiaofkg] 继续,成功就在脚下。 01/03 19:14
- [xiaofkg] 坚持做好所能做好的一切,加油,加油.... 10/19 16:56
[ 游客 发表于 2008-12-10 20:30 ]
范式?好像是数据库原理吧。