资源描述：
《【数据库系统概论】关系模式的形式化定义》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、西华师范大学计算机学院第五章关系数据理论第五章关系数据理论5.1问题的提出5.2规范化5.3小结5.1问题的提出关系数据库逻辑设计针对具体问题，如何构造一个适合于它的数据模式数据库逻辑设计的工具──关系数据库的规范化理论问题的提出一、概念回顾二、关系模式的形式化定义三、什么是数据依赖四、关系模式的简化定义五、数据依赖对关系模式影响一、概念回顾关系：描述实体、属性、实体间的联系。从形式上看，它是一张二维表，是所涉及属性的笛卡尔积的一个子集。关系模式：用来定义关系。关系数据库：基于关系模型的数据库，利用关系来描述现实世界。从形式上看，它由一组关
2、系组成。关系数据库的模式：定义这组关系的关系模式的全体。二、关系模式的形式化定义关系模式由五部分组成，即它是一个五元组：R(U,D,DOM,F)R：关系名U：组成该关系的属性名集合D：属性组U中属性所来自的域DOM：属性向域的映象集合F：属性间数据的依赖关系集合三、什么是数据依赖客观世界的事务间有着错综复杂的联系。实体间的联系有两类,一类是实体与实体之间的联系；另一类是实体内部各属性间的联系。属性间的联系可分为以下三类：一对一关系（1∶1）以职工模式为例：职工（职工号,姓名,职称,部门）,如果该企业（或单位）中职工无重名,则属性职工号与姓名
3、之间是1∶1关系。一个职工号唯一地决定一个姓名,一个姓名也可决定唯一的职工号。设X、Y是关系R的两个属性（集）。如果对于X中的任一具体值,Y中至多有一个值与之对应,且反之亦然,则称X、Y两属性间是一对一关系。一对多关系（1∶m）职工模式中,职工号和职称间是一对多关系。一个职工号只对应一种职称（如胡一民只能对应工程师）,但一种职称却可对应多个职工号（如工程师可对应多名职工）。设X、Y是关系R的两个属性（集）。如果对于X中的任一具体值,Y中至多有一个值与之对应,而Y中的一个值却可以和X中的n个值（n≥0）相对应,则称Y对X是一对多关系。多对多关
4、系（m∶m）在职工模式中,职称和部门之间是多对多关系。一种职称可分布在多个部门中（如每一个部门中均可有工程师）,而一个部门中也可有多个职称。设X、Y是关系R的两个属性（集）。如果对于X中的任一具体值,Y中有m（m≥0）个值与之对应,而Y中的一个值也可以和X中的n个值（n≥0）相对应,则称Y对X是多对多关系。什么是数据依赖上述属性间的三种关系实际上是属性值之间相互依赖又相互制约的反映,称为属性间的数据依赖。2.数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系是现实世界属性间相互联系的抽象是数据内在的性质是语义的体现什么是数
5、据依赖（续）3.数据依赖的类型函数依赖（FunctionalDependency，简记为FD）多值依赖（MultivaluedDependency，简记为MVD）连接依赖（JoinDependency,简称JD）其中最重要的是函数依赖和多值依赖。四、关系模式的简化表示关系模式R（U,D,DOM,F）简化为一个三元组：R（U,F）当且仅当U上的一个关系r满足F时，r称为关系模式R（U,F）的一个关系五、数据依赖对关系模式的影响例：描述学校的数据库：学生的学号（Sno）、所在系（Sdept）系主任姓名（Mname）、课程名（Cname）成绩（G
6、rade）单一的关系模式：StudentU＝｛Sno,Sdept,Mname,Cname,Grade｝数据依赖对关系模式的影响（续）学校数据库的语义：⒈一个系有若干学生，一个学生只属于一个系；⒉一个系只有一名主任；⒊一个学生可以选修多门课程，每门课程有若干学生选修；⒋每个学生所学的每门课程都有一个成绩。数据依赖对关系模式的影响（续）属性组U上的一组函数依赖F：F＝｛Sno→Sdept,Sdept→Mname,(Sno,Cname)→Grade｝SnoCnameSdeptMnameGrade用有向图表示属性间函数依赖，结点表示属性，
7、方框包含若干结点表示属性组合，有向箭头表示函数依赖。关系模式Student中存在的问题⒈数据冗余太大浪费大量的存储空间例：每一个系主任的姓名重复出现⒉更新异常（UpdateAnomalies）数据冗余，更新数据时，维护数据完整性代价大。例：某系更换系主任后，系统必须修改与该系学生有关的每一个元组关系模式Student中存在的问题⒊插入异常（InsertionAnomalies）该插的数据插不进去例，如果一个系刚成立，尚无学生，我们就无法把这个系及其系主任的信息存入数据库。⒋删除异常（DeletionAnomalies）不
8、该删除的数据不得不删例，如果某个系的学生全部毕业了，我们在删除该系学生信息的同时，把这个系及其系主任的信息也丢掉了。数据依赖对关系模式的影响（续）结论：Student关系模式不是
