第6章关系数据理论课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第6章关系数据理论课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第6章 关系数据理论课件 关系 数据 理论 课件
- 资源描述:
-
1、数据库系统原理 厦门大学计算机科学系 林子雨 2016版厦门大学计算机科学系 2016版林子雨林子雨厦门大学计算机科学系厦门大学计算机科学系E-mail:主页:主页:http:/ 关系数据理论关系数据理论(2016版)版)厦门大学计算机科学系本科生课程厦门大学计算机科学系本科生课程数据库系统原理数据库系统原理数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.1 问题的提出问题的提出6.2 规范化规范化6.3 数据依赖的公理系统数据依赖的公理系统6.4 模式的分解模式的分解第6章 关系数据理论数据库系统原理 厦门大学计算机科学系 林子雨 2016版关系数据库逻辑设计关系数据库逻辑设计针
2、对具体问题,如何构造一个适合于它针对具体问题,如何构造一个适合于它的数据模式的数据模式数据库逻辑设计的工具数据库逻辑设计的工具关系数据库的关系数据库的规范化理论规范化理论6.1 问题的提出数据库系统原理 厦门大学计算机科学系 林子雨 2016版一、概念回顾一、概念回顾二、关系模式的形式化定义二、关系模式的形式化定义三、什么是数据依赖三、什么是数据依赖四、关系模式的简化定义四、关系模式的简化定义五、数据依赖对关系模式影响五、数据依赖对关系模式影响6.1 问题的提出数据库系统原理 厦门大学计算机科学系 林子雨 2016版 关系关系:描述实体、属性、实体间的联系。:描述实体、属性、实体间的联系。从形
3、式上看,它是一张二维表,是所涉及属性的笛卡尔积的一个从形式上看,它是一张二维表,是所涉及属性的笛卡尔积的一个子集。子集。关系模式关系模式:用来定义关系。:用来定义关系。关系数据库关系数据库:基于关系模型的数据库,利用关系来描述现实世界。:基于关系模型的数据库,利用关系来描述现实世界。从形式上看,它由一组关系组成。从形式上看,它由一组关系组成。关系数据库的模式关系数据库的模式:定义这组关系的关系模式的全体。:定义这组关系的关系模式的全体。6.1 问题的提出 概念回顾概念回顾数据库系统原理 厦门大学计算机科学系 林子雨 2016版关系模式由五部分组成,即它是一个五元组:关系模式由五部分组成,即它是
4、一个五元组:R(U,D,DOM,F)R:关系名关系名U:组成该关系的属性名集合组成该关系的属性名集合D:属性组属性组U中属性所来自的域中属性所来自的域DOM:属性向域的映象集合:属性向域的映象集合F:属性间数据的依赖关系集合属性间数据的依赖关系集合6.1 问题的提出 关系模式的形式化定义关系模式的形式化定义数据库系统原理 厦门大学计算机科学系 林子雨 2016版1.完整性约束的表现形式完整性约束的表现形式限定属性取值范围:例如学生成绩必须在限定属性取值范围:例如学生成绩必须在0-100之间之间定义属性定义属性值值间的相互关连(主要体现于值的间的相互关连(主要体现于值的相等与否相等与否)这就是数
5、据依赖,这就是数据依赖,它是数据库模式设计的关键它是数据库模式设计的关键2.数据依赖数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系是现实世界属性间相互联系的抽象是现实世界属性间相互联系的抽象是数据内在的性质是数据内在的性质是是语义语义的体现的体现3.数据依赖的类型数据依赖的类型函数依赖(函数依赖(Functional Dependency,简记为,简记为FD)多值依赖(多值依赖(Multivalued Dependency,简记为,简记为MVD)其他其他6.1 问题的提出 什么是数据依赖什么是数据依赖数据库系统原
6、理 厦门大学计算机科学系 林子雨 2016版关系模式关系模式R(U,D,DOM,F)简化为一个三元组:简化为一个三元组:R(U,F)当且仅当当且仅当U上的一个关系上的一个关系r 满足满足F时,时,r称为关系称为关系模式模式 R(U,F)的一)的一个个关系关系6.1 问题的提出 关系模式的简化表示关系模式的简化表示数据库系统原理 厦门大学计算机科学系 林子雨 2016版例:描述学校的数据库:例:描述学校的数据库:学生的学号(学生的学号(Sno)、所在系()、所在系(Sdept)系主任姓名(系主任姓名(Mname)、课程名()、课程名(Cname)成绩(成绩(Grade)6.1 问题的提出 数据依
7、赖对关系模式的影响数据依赖对关系模式的影响 Sno,Sdept,Mname,Cname,Grade 单一单一的关系模式的关系模式:Student U 数据库系统原理 厦门大学计算机科学系 林子雨 2016版学校数据库的语义:学校数据库的语义:一个系有若干学生,一个系有若干学生,一个学生只属于一个系;一个学生只属于一个系;一个系只有一名主任;一个系只有一名主任;一个学生可以选修多门课程,一个学生可以选修多门课程,每门课程有若干学生选修;每门课程有若干学生选修;每个学生所学的每门课程都有一个成绩。每个学生所学的每门课程都有一个成绩。6.1 问题的提出 数据依赖对关系模式的影响数据依赖对关系模式的影
8、响U Sno,Sdept,Mname,Cname,Grade 属性组属性组U上的一组函数依赖上的一组函数依赖F:F Sno Sdept,Sdept Mname,(Sno,Cname)Grade 数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.1 问题的提出 数据依赖对关系模式的影响数据依赖对关系模式的影响 SnoCnameSdeptMnameGrade数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.1 问题的提出关系模式关系模式Student中存在的问题中存在的问题学学 号号Sno系主任系主任Mname课程名课程名Cname成绩成绩Grade所所 在在 系系Sdept9
9、5001李勇李勇高数高数80IS95002李勇李勇高数高数73IS95003王敏王敏 高数高数91MA95004李勇李勇外语外语67IS数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.1 问题的提出关系模式关系模式Student中存在的问题中存在的问题 数据冗余太大数据冗余太大浪费大量的存储空间浪费大量的存储空间 例:每一个系主任的姓名重复出现例:每一个系主任的姓名重复出现 更新异常(更新异常(Update Anomalies)数据冗余数据冗余,更新数据时,维护数据完整性代价大。更新数据时,维护数据完整性代价大。例:某系更换系主任后,系统必须修改与该系学生有关的每一个元组例:某系更
10、换系主任后,系统必须修改与该系学生有关的每一个元组 插入异常(插入异常(Insertion Anomalies)该插的数据插不进去该插的数据插不进去 例,如果一个系刚成立,尚无学生,我们就无法把这个系及其系主任的信息例,如果一个系刚成立,尚无学生,我们就无法把这个系及其系主任的信息存入数据库。存入数据库。删除异常(删除异常(Deletion Anomalies)不该删除的数据不得不删不该删除的数据不得不删例,如果某个系的学生全部毕业了,例,如果某个系的学生全部毕业了,我们在删除该系学生信息的同时,我们在删除该系学生信息的同时,把这个系及其系主任的信息也丢掉了。把这个系及其系主任的信息也丢掉了。
11、数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.1 问题的提出结论:结论:Student关系模式不是一个好的模式。关系模式不是一个好的模式。“好好”的模式:的模式:不会发生插入异常、删除异常、更新异常,不会发生插入异常、删除异常、更新异常,数据冗余应尽可能少。数据冗余应尽可能少。原因:原因:由存在于模式中的由存在于模式中的某些数据依赖某些数据依赖引起的引起的解决方法:解决方法:通过通过分解分解关系模式来消除其中不合适的数据依赖。关系模式来消除其中不合适的数据依赖。数据依赖对关系模式的影响数据依赖对关系模式的影响数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.1 问题的提
12、出问题的提出6.2 规范化规范化6.3 数据依赖的公理系统数据依赖的公理系统6.4 模式的分解模式的分解第6章 关系数据理论数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2 规范化 规范化理论规范化理论正是用来改造关系模式,通过正是用来改造关系模式,通过分解关系模式来消除其中不合适的数据依分解关系模式来消除其中不合适的数据依赖,以解决插入异常、删除异常、更新异赖,以解决插入异常、删除异常、更新异常和数据冗余问题。常和数据冗余问题。数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.1 函数依赖一、函数依赖一、函数依赖二、平凡函数依赖与非平凡函数依赖二、平凡函数依赖与非
13、平凡函数依赖三、完全函数依赖与部分函数依赖三、完全函数依赖与部分函数依赖四、传递函数依赖四、传递函数依赖数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.1 函数依赖定义定义6.1 设设R(U)是一个属性集是一个属性集U上的关系模式,上的关系模式,X和和Y是是U的子集。的子集。若对于若对于R(U)的的任意任意一个可能的关系一个可能的关系r,r中不可能存在两个元组在中不可能存在两个元组在X上的属性值相等,上的属性值相等,而在而在Y上的属性值不等,上的属性值不等,则称则称“X函数确定函数确定Y”或或 “Y函数依赖于函数依赖于X”,记作,记作XY。X称为这个函数依赖的称为这个函数依赖的
14、决定属性集决定属性集(Determinant)。Y=f(x)一、函数依赖数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.1 函数依赖 1.函数依赖不是指关系模式函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件,的某个或某些关系实例满足的约束条件,而是指而是指R的的所有关系实例所有关系实例均要满足的约束条件。均要满足的约束条件。2.函数依赖是函数依赖是语义范畴语义范畴的概念。只能根据数据的语义来确定函数依赖。的概念。只能根据数据的语义来确定函数依赖。例如例如“姓名姓名年龄年龄”这个函数依赖只有在不允许有同名人的条件下这个函数依赖只有在不允许有同名人的条件下成立成立3.数
15、据库设计者可以对现实世界作强制的规定。例如规定不允许同名数据库设计者可以对现实世界作强制的规定。例如规定不允许同名人出现,函数依赖人出现,函数依赖“姓名姓名年龄年龄”成立。所插入的元组必须满足规成立。所插入的元组必须满足规定的函数依赖,若发现有同名人存在,定的函数依赖,若发现有同名人存在,则拒绝装入该元组。则拒绝装入该元组。说明:说明:数据库系统原理 厦门大学计算机科学系 林子雨 2016版例例:Student(Sno,Sname,Ssex,Sage,Sdept)假设不允许重名,则有假设不允许重名,则有:Sno Ssex,Sno Sage,Sno Sdept,Sno Sname,Sname S
16、sex,Sname SageSname Sdept但但Ssex Sage若若XY,并且,并且YX,则记为则记为XY。若若Y不函数依赖于不函数依赖于X,则记为则记为XY。6.2.1 函数依赖数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.1 函数依赖在关系模式在关系模式R(U)中,对于中,对于U的子集的子集X和和Y,如果如果XY,但,但Y X,则称,则称XY是是非平凡的函数依赖非平凡的函数依赖若若XY,但,但Y X,则称则称XY是是平凡的函数依赖平凡的函数依赖例:在关系例:在关系SC(Sno,Cno,Grade)中,中,非平凡函数依赖:非平凡函数依赖:(Sno,Cno)Grade
17、 平凡函数依赖:平凡函数依赖:(Sno,Cno)Sno (Sno,Cno)Cno于任一关系模式,平凡函数依赖都是必然成立的,它不反映新的语于任一关系模式,平凡函数依赖都是必然成立的,它不反映新的语义,因此若不特别声明,义,因此若不特别声明,我们总是讨论非平凡函数依赖。我们总是讨论非平凡函数依赖。二、二、平凡函数依赖与非平凡函数依赖平凡函数依赖与非平凡函数依赖数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.1 函数依赖定义定义6.2 在关系模式在关系模式R(U)中,如果中,如果XY,并且对于,并且对于X的任何一个真子集的任何一个真子集X,都有都有 X Y,则称则称Y完全函数依赖于
18、完全函数依赖于X,记作,记作X Y。若若XY,但,但Y不完全函数依赖于不完全函数依赖于X,则称,则称Y部分函数依赖部分函数依赖于于X,记作,记作X P Y。三、完全函数依赖与部分函数依赖例例:在关系在关系SC(Sno,Cno,Grade)中,中,由于:由于:Sno Grade,Cno Grade,因此:因此:(Sno,Cno)Grade 数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.2 码定义定义6.4 设设K为关系模式为关系模式R中的属性或属性组合。中的属性或属性组合。若若K U,则,则K称为称为R的一个的一个侯选码侯选码(Candidate Key)。若关系模式)。若关系
19、模式R有多个候选码,则选定其中的一有多个候选码,则选定其中的一个做为个做为主码主码(Primary key)。)。主属性与非主属性主属性与非主属性 ALL KEY数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.2 码 外部码外部码定义定义6.5 6.5 关系模式关系模式 R R 中属性或属性组中属性或属性组X X 并非并非 R R的码,但的码,但 X X 是另一个关系模式的码,则称是另一个关系模式的码,则称 X X 是是R R 的的外部码外部码(Foreign keyForeign key)也称外码。也称外码。主码又和外部码一起提供了表示关系间联系的手段。主码又和外部码一起提供
20、了表示关系间联系的手段。数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.3 范式 范式是符合某一种级别的关系模式的集合。范式是符合某一种级别的关系模式的集合。关系数据库中的关系必须满足一定的要求。满关系数据库中的关系必须满足一定的要求。满足不同程度要求的为不同范式。足不同程度要求的为不同范式。范式的种类:范式的种类:第一范式第一范式(1NF)第二范式第二范式(2NF)第三范式第三范式(3NF)BC范式范式(BCNF)第四范式第四范式(4NF)第五范式第五范式(5NF)数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.3 范式 各种范式之间存在联系:各种范式之间存在
21、联系:某一关系模式某一关系模式R为第为第n范式,可简记为范式,可简记为RnNF。NF5NF4BCNFNF3NF2NF1数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.4 2NF 1NF的定义的定义如果一个关系模式如果一个关系模式R的所有属性都是的所有属性都是不可分的不可分的基本数据项基本数据项,则,则R1NF。第一范式是对关系模式的最起码的要求。不满第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据库。足第一范式的数据库模式不能称为关系数据库。但是满足第一范式的关系模式并不一定是一个但是满足第一范式的关系模式并不一定是一个好的关系模式。好的关系模式。
22、数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.4 2NF例例:关系模式关系模式 SLC(Sno,Sdept,Sloc,Cno,Grade)Sloc为学生住处,假设每个系的学生住在同一个地为学生住处,假设每个系的学生住在同一个地方。方。函数依赖包括:函数依赖包括:(Sno,Cno)Grade Sno Sdept (Sno,Cno)Sdept (?)Sno Sloc (Sno,Cno)Sloc Sdept Slocfpp数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.4 2NF例例:关系模式关系模式 SLC(Sno,Sdept,Sloc,Cno,Grade)Slo
23、c为学生住处,假设每个系的学生住在同一个地为学生住处,假设每个系的学生住在同一个地方。方。函数依赖包括:函数依赖包括:(Sno,Cno)Grade Sno Sdept (Sno,Cno)Sdept Sno Sloc (Sno,Cno)Sloc Sdept Slocfpp数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.4 2NFSLC的码为的码为(Sno,Cno)SLC满足第一范式满足第一范式 非主属性非主属性Sdept和和Sloc部分函数依赖于码部分函数依赖于码(Sno,Cno)SnoCnoGradeSdeptSlocSLC数据库系统原理 厦门大学计算机科学系 林子雨 2016
24、版课堂练习 已知学生关系模式S(Sno,Sname,SD,Sdname,Course,Grade)其中,Sno是学号,Sname是姓名,SD是系名,Sdname是系主任名,Course是课程,Grade是成绩(1)写出关系模式S的基本函数依赖和主码;(做本题)(2)原关系模式是第几范式?如何分解成高一级范式?(3)将关系模式分解成3NF,并说明为什么?数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.4 2NF SLC不是一个好的关系模式(1)插入异常插入异常假设假设Sno95102,SdeptIS,SlocN的学生的学生还未选课,因课程号是主属性,因此该学生的信还未选课,因课程
25、号是主属性,因此该学生的信息无法插入息无法插入SLC。(2)删除异常删除异常 假定某个学生本来只选修了假定某个学生本来只选修了3号课程这一门课。现号课程这一门课。现在因身体不适,他连在因身体不适,他连3号课程也不选修了。因课程号课程也不选修了。因课程号是主属性,此操作将导致该学生信息的整个元号是主属性,此操作将导致该学生信息的整个元组都要删除。组都要删除。SLC(Sno,Sdept,Sloc,Cno,Grade)数据库系统原理 厦门大学计算机科学系 林子雨 2016版6.2.4 2NF(3)数据冗余度大数据冗余度大 如果一个学生选修了如果一个学生选修了10门课程,那么他的门课程,那么他的Sde
展开阅读全文