BC范式
|
设关系模式R<U，F>∈1NF，如果对于R的每个函数依赖X→Y，若Y不属于X，则X必含有候选码，那么R∈BCNF。
若R∈BCNF
每一个决定属性集（因素）都包含（候选）码
R中的所有属性（主，非主属性）都完全函数依赖于码
R∈3NF（证明）
若R∈3NF 则 R不一定∈BCNF
在关系模式STJ（S，T，J）中，S表示学生，T表示教师，J表示课程。
每一教师只教一门课。每门课由若干教师教，某一学生选定某门课，就确定了一个固定的教师。某个学生选修某个教师的课就确定了所选课的名称 ： (S，J)→T，(S，T)→J，T→J
|
|----------------------------------------------------------------------------------------|
版权声明 版权所有 @zhyiwww
引用请注明来源 http://www.blogjava.net/zhyiwww
|----------------------------------------------------------------------------------------|
posted on 2006-11-01 19:37
zhyiwww 阅读(2698)
评论(0) 编辑 收藏 所属分类:
概念辩晰