关系数据库理论.pptVIP

BCNF（续） 若R∈BCNF 所有非主属性对每一个码都是完全函数依赖 所有的主属性对每一个不包含它的码，也是完全函数依赖 没有任何属性完全函数依赖于非码的任何一组属性 R ∈BCNF R ∈3NF 充分 不必要 第三十页，共55页 BCNF（续） [例5] 关系模式C（Cno，Cname，Pcno） C∈3NF C∈BCNF [例6] 关系模式S（Sno，Sname，Sdept，Sage） 假定S有两个码Sno，Sname S∈3NF。 S ∈ BCNF 第三十一页，共55页 BCNF（续） ［例7］关系模式SJP（S，J，P） 函数依赖：（S，J）→P；(J，P）→S （S，J）与（J，P）都可以作为候选码,属性相交 SJP∈3NF， SJP∈BCNF 第三十二页，共55页 BCNF（续） [例8]在关系模式STJ（S，T，J）中，S表示学生，T表示教师，J表示课程。 函数依赖： (S，J)→T，(S，T)→J，T→J (S，J)和(S，T)都是候选码 第三十三页，共55页 BCNF（续） J S J T S T STJ中的函数依赖 第三十四页，共55页 BCNF（续） STJ∈3NF? 没有任何非主属性对码传递依赖或部分依赖? STJ∈BCNF T是决定因素，T不包含码 第三十五页，共55页 BCNF（续）