第七讲数据库设计基础

第七讲数据库设计基础演示文稿第一页，共16页。优选第七讲数据库设计基础第二页，共16页。关系模式关系模式是关系的描述，它由五部分组成，即为五元组：R(U,D,DOM,F)其中R为关系名，U是属性集合，D是域的集合，即取值范围的集合。DOM是属性源域（属性集合U中属性所来自的域），为属性向域的映象集合F为属性间的数据依赖关系集合。简化描述R(U,F)，甚至R(U)第三页，共16页。关系数据库设计中的异常问题数据冗余更新异常插入异常删除异常第四页，共16页。示例数据学生（学号，姓名，系名，系负责人，课程名，成绩）主码={学号，课程名}学号(6)姓名(8)系名(8)系负责人(8)课程名(10)成绩(2)980701章涌管理系李瑞祥市场营销85980701章涌管理系李瑞祥技术经济78980701章涌管理系李瑞祥生产管理80980702李文利管理系李瑞祥市场营销70980702李文利管理系李瑞祥技术经济86980702李文利管理系李瑞祥生产管理90980703王沐阳管理系李瑞祥市场营销84980703王沐阳管理系李瑞祥技术经济75980703王沐阳管理系李瑞祥生产管理70980704杨舒管理系李瑞祥市场营销78980704杨舒管理系李瑞祥技术经济72980704杨舒管理系李瑞祥生产管理9012行42字节第五页，共16页。数据冗余总字节数＝（6＋8＋8＋8＋10＋2）＊12＝504B系名和系负责人重复12次学号和姓名重复3次课程名重复4次第六页，共16页。更新异常管理系负责人改为李增瑞需要修改12条记录（所有相关的记录，与该系的学生有关）由于数据重复存储导致更新操作复杂化。第七页，共16页。插入异常计算机系成立，尚未招生——无法插入在学生表存储数据必须保证其实体完整性——主属性不为空，故学号和课程名不能为空招生完毕，但学生尚未选修课程——无法插入学号是有了，但由于未选修，所以课程名不知道，不能保证主属性不为空的实体完整性要求。求学校有多少系？结果不正确，在学生表中还未有计算机系含在内。问计算机系负责人是谁？不知道，计算机系不存在。由于信息不全，导致应该存储的数据无法存储。第八页，共16页。删除异常管理系98级学生毕业，删除所有该年级学生。由于管理系只有98级学生，被删除后，连带管理系及其负责人信息一起被删除。问学校有几个系？问管理系负责人是谁？若980701学生取消三门选修课程，则需要删除该学生对应的三条记录该学生记录信息也会因此被删除。问管理系有多少学生？删除元组时导致额外信息的丢失第九页，共16页。根本原因上述学生关系模式的规范化程序较低。解决的办法通过规范化理论对其进行规范化，可以逐步降低和消除上述问题第十页，共16页。基础概念函数依赖（FunctionalDependency）非平凡的函数依赖（NontrivialFunctionalDependency)完全函数依赖(FullFunctionalDependency)部分函数依赖(PartialFunctionalDependency)传递函数依赖(TransitiveFunctionalDependency)第十一页，共16页。函数依赖定义1：对于R中属性X的任何一个具体值，Y仅有唯一的具体值与之对应，则称R的属性Y函数依赖于属性X，记作X→Y，X称为决定因素（Determinant）。设R(U)是一关系模式，U是R的属性集合。X和Y是U的子集，对于R(U)的任意一个可能的关系r，如果r中不存在两个元组，它们在X上的属性值相同，而在Y上的属性值不同，则称“X函数确定Y”或“Y函数依赖于X”，记作X→Y。例如：学号→姓名，学号→系名（学号，课程名）→成绩第十二页，共16页。非平凡的函数依赖在关系模式R(U)中，对于U的子集X和Y，如果X→Y，但Y⊈X，则称X→Y是非平凡函数依赖。若Y⊆X，则称X→Y为平凡函数依赖。对任一关系模式，平凡函数依赖都必然成立，不能反映新的语义，故一般只讨论非平凡的函数依赖。第十三页，共16页。完全函数依赖与部分函数依赖定义2：在R中如果属性集Y函数依赖于属性庥X，且不函数依赖于X的任何真子集，则称Y完全函数依赖于X，记作XY，否则Y部分函数依赖于X，记作XY。在关系模式R(U)中，如果X→Y，且对于X的任一真子集X’，都有X’↛Y，则称Y完全函数依赖于X，记XY。若X→Y，但Y不完全函数依赖于X，则称Y部分函数依赖于X，记X

Y。如关系SC(Sno,Cno,Grade)中，由于Sno↛Grade，Cno↛Grade。所以有(Sno,Cno)Grade。第十四页，共16页。传递函数依赖定义3：在R中，对于属性子集X、Y、Z，若XY，Y⊄X，Y→Z，则称Z对X传递函数依赖，记作XZ。在关系模式R(U)中，如果X→Y，Y→Z且Z⊈Y（即Z-Y≠φ），Y↛X，则称Z传递函数依赖于X。记作XY，或者X

Y。说明：Y→Z且Z⊈Y（即Z-Y≠φ）是指Y与Z之间的函数依赖是非平凡的。而加上条件：Y↛X，否则因为如果Y→X，则X←→Y，故X