第六章关系数据理论知识讲稿.pptVIP

第六章 关系数据理论2;本次课内容;一、关系模式相关定义;;二、关系模式规范化;;;;1）第一范式1NF;2）第二范式2NF;;;;分解成2NF模式集的方法：投影分解法 S-L-C函数依赖图为： SC（Sno， Cno， Grade）和S-L（Sno， Sdept， Sloc）;;;3）第三范式3NF;;;解决方法： 采用投影分解法，把S-L分解为两个关系模式，以消除传递函数依赖： S-D（Sno， Sdept），D-L（Sdept，Sloc） 分解后的关系模式S-D与D-L中不再存在传递依赖 S-D(Sno，Sdept) ∈ 3NF，D-L(Sdept， Sloc)∈ 3NF;;;4）BCNF;;;例3：判断关系模式C（Cno，Cname，Pcno） C∈3NF C∈BCNF 例4：判断关系模式S（Sno，Sname，Sdept，Sage） 假定Sname唯一 假定S有两个码Sno，Sname S∈3NF S ∈ BCNF;;;解决方法：将STC分解为二个关系模式： ST(S，T) ∈ BCNF， TC(T，C)∈ BCNF 没有任何属性对码的部分函数依赖和传递函数依赖;;;关系模式规范化的基本步骤 1NF ↓ 消除非主属性对码的部分函数依赖 消除决定属性 2NF 集非码的