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 发表评论

你可能感兴趣的:(F#,J#)