1 / 49
文档名称:

数据库系统概论第六章.ppt

格式:ppt   大小:496KB   页数:49
下载后只包含 1 个 PPT 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

数据库系统概论第六章.ppt

上传人:落意心 2022/9/7 文件大小:496 KB

下载得到文件列表

数据库系统概论第六章.ppt

相关文档

文档介绍

文档介绍:数据库系统概论第六章
第6章关系数据理论
数据库设计的一个最基本的问题是怎样建立一个好的数据库模式。Codd提出了一套关系数据库设计理论—关系的规范化理论,根据现实世界存在的数据依赖进行关系模式的规范化处理,从而得到一个好的数据库设计。
数据库系统概论第六章
第6章关系数据理论
数据库设计的一个最基本的问题是怎样建立一个好的数据库模式。Codd提出了一套关系数据库设计理论—关系的规范化理论,根据现实世界存在的数据依赖进行关系模式的规范化处理,从而得到一个好的数据库设计。

1、问题的提出
关系的描述:R(U,D,DOM,F)
关系是一个五元组。R为关系名,U为属性集合,D为属性组U中属性所来自的域,DOM为属性到域的映射集合,F为属性间数据的依赖关系集合。
(续)
2、数据依赖
属性间数据的依赖关系集合F是描述关系的元组语义,限定关系内部属性与属性间必须满足的约束条件。
数据依赖是通过一个关系中属性间值的依赖与否体现出来的数据间的相互关系。
最重要的数据依赖是函数依赖(FD)和多值依赖(MVD)
(续)
实例:建立一个数据库,涉及的对象包括:学生的学号(Sno)、所在系(Sdept)、系主任姓名(Mn)、课程名(Cname)、成绩(Grade)。要求如下:
(1)一个系有若干学生,但一个学生只属于一个系;
(2)一个系只有一个系主任;
(3)一个学生可以选多门课程,每门课程有若干学生选修;
(4)每个学生学习每一门课程有个成绩。
建立关系模式:
Student(SNO,SDEPT,MN,CNAME,GRADE)
这个关系模式存在4个问题:
(1)数据冗余:一个学生选修多门课程,所在系和系主任就重复存储多次。
(2)更新异常:当更新某些数据时,容易造成存储数据的不一致性。如换系主任了,则必须修改与该系学生有关的每一个元组。
(3)插入异常:若某个学生未学习课程,则他的信息就无法插入。
(4)删除异常:当要删除学生所有成绩时,将所有关于该学生的信息都删除了。
F={SNOSDEPT,SDEPTMN,(SNO,CNAME)G}
原因:由存在于模式中的某些数据依赖引起的
解决方法:通过分解关系模式来消除其中不合适的数据依赖
F={SNOSDEPT,SDEPTMN,(SNO,CNAME)G}
S(SNO,SDEPT)SG(SNO,CNAME,Grade)
DEPT(SDEPT,MN)

规范化理论正是用来改造关系模式,通过分解关系模式来消除其中不合适的数据依赖,以解决插入异常、删除异常、更新异常和数据冗余问题。
1、函数依赖
定义
设R(U)是属性集U上的关系模式,X,Y是U的子集,若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称X函数确定Y或Y函数依赖于X,记作XY。
几点说明:
(1)函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件,而是指R的所有关系实例均要满足的约束条件。
(2)函数依赖和别的数据之间的依赖关系一样,是语义范畴的概念。我们只能根据数据的语义来确定函数依赖。
(3)数据库设计者可以对其做出强制的规定。
(续)
(续)
2、码
定义:设K为R(U,F)中的属性或属性组合,若KU,则K为R的候选码。若候选码多于一个,则选定其中的一个为主码。
主属性:包含在任何一个候选码中的属性(Primeattribute)。
非主属性:不包含在任何码中的属性称为非主属性或非码属性。
定义:关系模式R中属性或属性组X并非R的码,但X是另一个关系模式的码,则称X是R的外部码。
F
关系模式S(Sno,Sdept,Sage),单个属性Sno是码,
SC(Sno,Cno,Grade)中,(Sno,Cno)是码
关系模式R(P,W,A),其中:P为演奏者,W为作品,A为听众。
(1)一个演奏者可以演奏多个作品
(2)某一作品可被多个演奏者演奏
(3)听众可以欣赏不同演奏者的不同作品
码为(P,W,A),即全码(All-Key)
举例:
(续)
3、范式(NF)
关系数据库中的关系是要满足一定要求的,满足不同程度要求的为不同范式,目前主要有六种范式:
5NF4NFBCNF3NF2NF1NF
一个低一级的范式,通过分解,可以转换为若干个高一级范式的关系模式的集合,这个过程就叫规范化。
(续)
3、范式(NF)
第一范式
如果一个关系模式R的所有属性都是不可分的基本数据项,则R1NF。
即当表中每一行的每一列只具有唯一值时,表被认为是符合第一范式(1NF)的。
1NF是对关系的最低