BC范式(转载)

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 2006-11-01 19:37 发表评论