资源描述：
《数据库原理及应用第二版第7章关系数据库规范化理论ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第7章 关系数据库规范化理论7.1函数依赖7.2关系规范化7.1函数依赖7.1.1函数依赖基本概念公式：Y=f(X)自变量因变量把X函数决定Y，或Y函数依赖于X表示为：X→Y关系数据库中的函数依赖注重语义上的关系，比如：省=f(城市)定义：如果有一个关系模式R(A1,A2,…,An)，X和Y为{A1,A2,…,An}的子集，那么对于关系R中的任意一个X值，都只有一个Y值与之对应，则称X函数决定Y，或Y函数依赖于X。例如：对学生关系模式：Student（Sno,SName,Sdept,Sage）有：Sno→SName,Sno→Sdept,Sno→Sage对学生修课关系模式
2、：SC（Sno,Cno,Grade）有：（Sno,Cno）→Grade形式化定义：设有关系模式R(A1,A2,…,An)，X和Y均为{A1,A2,…,An}的子集，r是R的任一具体关系，t1、t2是r中的任意两个元组；如果t1[X]=t2[X]t1[Y]=t2[Y]，则称X函数决定Y，或Y函数依赖于X，记为X→Y。7.1.2一些术语和符号设有关系模式R(A1,A2,…,An)，X和Y均为{A1,A2,…,An}的子集如果X→Y，但Y不包含于X，则称X→Y是非平凡的函数依赖。如果Y不函数依赖于X，则记作XY。如果X→Y，则称X为决定因子。如果X→Y，并且Y→X，则记作XY
3、。如果X→Y，并且对于X的一个任意真子集X’都有X’Y，则称Y完全函数依赖于X，记作XY；如果X’→Y成立，则称Y部分函数依赖于X，记作XY。如果X→Y（非平凡函数依赖，并且YX）、Y→Z，则称Z传递函数依赖于X。例1：有关系模式：SC（Sno,Sname,Cno,Credit,Grade）主码为（Sno,Cno）函数依赖关系有：Sno→Sname（Sno,Cno）Sname（Sno,Cno）Grade例2：有关系模式：S（Sno,Sname,Dept,Dept_master）假设一个系只有一个主任，主码为Sno。函数依赖关系有：SnoSname由于：SnoDeptDe
4、ptDept_master所以有：SnoDept_master三、为什么要讨论函数依赖设有描述学生修课及住宿情况的关系模式：S-L-C（Sno,Sdept,Sloc,Cno,Grade）SnoSdeptSLOCCnoGrade9812101计算机2公寓DB809812101计算机2公寓OS859821101信息1公寓C909821101信息1公寓DS849821102信息1公寓OS78存在问题数据冗余问题数据更新问题数据插入问题数据删除问题7.2关系规范化7.2.1关系模式中的码1、候选码设K为R(U,F)中的属性或属性组，若Kf→U，则K为R候选码。（K为决定R全部属
5、性值的最小属性组）。主码：关系R(U,F)中可能有多个候选码，则选其中一个作为主码全码：候选码为整个属性组。主属性与非主属性：在R(U,F)中，包含在任一候选码中的属性称为主属性，不包含在任一候选码中的属性称为非主属性。例：SC（Sno，Cno，Grade）其候选码为：（Sno，Cno），也为主码则主属性为：Sno，Cno，Grade为非主属性2、外码定义：若R（U，F）的属性（组）X（X属于U）是另一个关系S的主码，则称X为R的外码。例：S(Sno,Sname,Ssex,Sdept,Sage)SC(Sno,Cno,Grade)7.2.2范式关系数据库中的关系要满足一定
6、的要求，满足不同程度要求的为不同的范式。满足最低要求的为第一范式，简称1NF（FirstNormalForm）。在第一范式中进一步满足一些要求的为第二范式，简称2NF，依此类推，还有3NF，BCNF，4NF，5NF。1、第一范式定义：不包含重复组的关系（即不包含非原子项的属性）是第一范式的关系。系名称高级职称人数教授副教授计算机系610信息管理系35电子与通讯系48系名称教授副教授计算机系610信息管理系35电子与通讯系482、第二范式定义：如果R(U,F)∈1NF，并且R中的每个非主属性都完全函数依赖于主码，则R(U,F)∈2NF。例：S-L-C（Sno,Sdept,
7、Sloc,Cno,Grade）就不是2NF的。因为（Sno,Cno）是主码，而又有：Sno→Sdept,因此有：（Sno，Cno）Sdept分解过程为：用组成主码的属性集合的每一个子集作为主码构成一个表将依赖于这些主码的属性放置到相应的表中去掉只由主码的子集构成的表S-L-C关系模式分解后的形式为：S-L（Sno,Sdept,Sloc）S-C（Sno,Cno,Grade）S-L有：SnoSdept，SnoSLOC：是2NFS-C有:（Sno,Cno）Grade：是2NF数据冗余插入异常3、第三范式定义：如果R(U,F)∈2NF，并且所有非
