722关系数据理论.pptxVIP

复习上节课内容;;本次课内容;一、关系模式相关定义;;二、关系模式规范化;;;;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 没有任何属性对码的部分函数依赖和传递函数依赖;;;;练习题;2、设有关系模式R(Sno,sname,sdept)，函数依赖集F={sno→sname ，Sno→sdept,},判断R为第几范式？ 判断步骤： 是否为1NF； 候选码为（sno），非主属