13BCNF与3NF.pptxVIP

数据库技术与应用袁宝库yuanbaoku@bupt.edu.cn第三范式的通用定义关系模式RU，F∈1NF，若X→Y且Y ? X，则：X必含有码或者Y是主属性那么R就属于第三范式BC范式（BCNF）关系模式RU，F∈1NF，若X→Y且Y ? X时X必含有码，则RU，F ∈BCNF。等价于：每一个决定属性因素都包含码充分不必要BCNF（续）若R∈BCNF 所有非主属性对每一个码都是完全函数依赖所有的主属性对每一个不包含它的码，也是完全函数依赖没有任何属性完全函数依赖于非码的任何一组属性R ∈BCNF R ∈3NFBCNF（续）[例] 关系模式C（Cno，Cname，Pcno）C∈3NFC∈BCNF[例] 关系模式S（Sno，Sname，Sdept，Sage）假定S有两个码Sno，SnameS∈3NF。S ∈ BCNFBCNF（续）［例］关系模式SJP（S，J，P）函数依赖：（S，J）→P；(J，P）→S（S，J）与（J，P）都可以作为候选码,属性相交SJP∈3NF，SJP∈BCNF BCNF（续）[例]在关系模式STJ（S，T，J）中，S表示学生，T表示教师，J表示课程。函数依赖： (S，J)→T，(S，T)→J，T→J(S，J)和(S，T)都是候选码SSTJTSTJ中的函数依赖 BCNF（续） JBCNF（续）STJ∈3NF?没有任何非主属性对码传递