资源描述：
《《关系数据理论》ppt课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、数据库原理与应用人民邮电出版社第5章关系数据库规范化理论什么是规范化理论？部门表（部门号，部门名）职工表（职工号，职工名，工资，部门号，工种）n1职工部门工作部门名部门号职工号职工名工资工种部门表（部门号，部门名）职工表（职工号，职工名，工资）工作表（职工号，部门号，工种）XX表（职工号，职工名，工资，部门号，部门名，工种）2第5章关系数据库规范化理论5.1函数依赖5.1.1函数依赖基本概念5.1.2一些术语和符号5.1.3为什么要讨论函数依赖5.2关系规范化5.2.1关系模式中的键5.2.2范式35.1函数依赖针对一个实际应用业务，如何构造合适的关系模式，应构造几个关系模
2、式，每个关系模式由哪些属性组成等，这些都是数据库设计问题，确切地讲是关系数据库的逻辑设计问题。数据的语义不仅表现为完整性约束，对关系模式的设计也提出了一定的要求。45.1.1基本概念省=f(城市)：只要给出一个具体的城市值，就会有唯一一个省值和它对应，如“武汉市”在“湖北省”，这里“城市”是自变量X，“省”是因变量或函数值Y。把X函数决定Y，或Y函数依赖于X表示为：X→Y如果有关系模式R(A1,A2,…,An)，X和Y为{A1,A2,…,An}的子集，则对于关系R中的任意一个X值，都只有一个Y值与之对应，则称X函数决定Y，或Y函数依赖于X。5示例例1：对学生关系模式Stud
3、ent（Sno,SName,Sdept,Sage）有以下依赖关系：Sno→SName,Sno→Sdept,Sno→Sage例2：SC（Sno,Cno,Grade）（Sno,Cno）→Grade6函数依赖定义设有关系模式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。在以上定义中特别要注意，只要t1[X]=t2[X]t1[Y]=t2[Y]成立，就有X→Y。也就是说只有当t1[X]=t2[X]为
4、真，而t1[Y]=t2[Y]为假时，函数依赖X→Y不成立；而当t1[X]=t2[X]为假时，不管t1[Y]=t2[Y]为真或为假，都有X→Y成立。75.1.2一些术语和符号（1）如果X→Y，但Y不包含于X，则称X→Y是非平凡的函数依赖。（2）如果X→Y，但Y包含于X，则称X→Y是平凡的函数依赖。若无特别声明，我们讨论的都是非平凡的函数依赖。（3）如果X→Y，则X称为决定因子。（4）如果X→Y，并且Y→X，则记作X←→Y。8术语和符号（续）（5）如果X→Y，并且对于X的一个任意真子集X’都有，则称Y完全函数依赖于X，记作；如果成立，则称Y部分函数依赖于X，记作9示例例1：有关
5、系模式SC（Sno,Sname,Cno,Credit,Grade），主键为（Sno,Cno），则函数依赖关系有：10术语和符号（续）（6）如果X→Y（非平凡函数依赖，并且）、Y→Z，则称Z传递函数依赖于X。11示例例2：有关系模式S(Sno,Sname,Dept,Dept_master)，各属性分别为：学号、姓名、所在系和系主任（假设一个系只有一个主任），主键为Sno，则函数依赖关系有：125.1.3为什么要讨论函数依赖？SnoSnameSsexSdeptSlocCnoGrade0611101李勇男计算机系2公寓C001960611101李勇男计算机系2公寓C0028006
6、11101李勇男计算机系2公寓C003840611101李勇男计算机系2公寓C005620611102刘晨男计算机系2公寓C001920611102刘晨男计算机系2公寓C002900611102刘晨男计算机系2公寓C004840621102吴宾女信息管理系1公寓C001760621102吴宾女信息管理系1公寓C004850621102吴宾女信息管理系1公寓C005730621102吴宾女信息管理系1公寓C0070621103张海男信息管理系1公寓C001500621103张海男信息管理系1公寓C004800631103张珊珊女通信工程系1公寓C004780631103张珊珊
7、女通信工程系1公寓C005650631103张珊珊女通信工程系1公寓C00713存在问题数据冗余问题数据更新问题数据插入问题数据删除问题14结论此关系模式不是一个好的模式。“好”的模式：不会发生插入异常、删除异常、更新异常，数据冗余应尽可能少。原因：由存在于模式中的某些数据依赖引起解决方法：通过分解关系模式来消除其中不合适的数据依赖155.2关系规范化关系规范化是指导将有“不良”函数依赖的关系模式转换为良好的关系模式的理论。这里涉及到范式的概念，不同的范式表示关系模式遵守的不同的规则。165.2.1关系模式中的键候
