版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第7章 关系数据库规范化理论,7.1 函数依赖 7.2 关系规范化 7.3 关系模式的分解准则,7.1 函数依赖,定义:如果有一个关系模式R(A1,A2,An),X 和Y 为A1,A2,An的子集,那么对于关系R中的任意一个X值,都只有一个Y 值与之对应,则称X函数决定Y,或Y函数依赖于X。 例:Student(Sno, SName, Sdept, Sage) SnoSName, SnoSdept, SnoSage 例: SC(Sno, Cno, Grade) (Sno, Cno)Grade,一些术语和符号,1. 如果XY,但Y不包含于X,则称XY是非平凡的函数依赖。如不作特别说明,我们总是讨
2、论非平凡函数依赖。 2. 如果Y不函数依赖于X,则记作X/Y。 3. 如果XY,则称X为决定因子。 4. 如果XY,并且YX,则记作XY。,一些术语和符号,5. 如果XY,并且对于X的一个任意真子集X 都有X /Y,则称Y完全函数依赖于X,记作:,6.如果XY(非平凡函数依赖,并且Y/X)、YZ,则称Z传递函数依赖于X。,如果XY成立,则称Y部分函数依赖于X,记作:,示例,例1:有关系模式SC(Sno,Sname,Cno,Credit,Grade) 则函数依赖关系有: SnoSname (Sno, Cno) Sname (Sno, Cno) Grade,示例,例2:有关系模式S(Sno,Sna
3、me,Dept,Dept_master) 函数依赖关系有: Sno,由于:Sno Dept, Dept Dept_master 所以有:Sno Dept_master,Sname,为什么要讨论函数依赖,存在问题,数据冗余问题 数据更新问题 数据插入问题 数据删除问题,7.2 关系规范化,7.2.1 关系模式中的码 7.2.2 范式,7.2.1 关系模式中的码,1.候选码:设K为R (U,F)中的属性或属性组,若K fU,则K为R候选码。(K为决定R全部属性值的最小属性组)。 2.主码:关系R (U,F)中可能有多个候选码,则选其中一个作为主码。 3.全码:候选码为整个属性组。 主属性与非主属性
4、: 在R (U,F)中,包含在任一候选码中的属性称为主属性,不包含在任一候选码中的属性称为非主属性,示例,例:SC(SNO,CNO,Grade) 候选码:(SNO,CNO),也为主码 主属性:SNO,CNO,非主属性:Grade 例:R(P,W,A), P演奏者,W作品,A听众 语义:一个演奏者可演奏多个作品,某一作品可被多个演奏者演奏;听众也可欣赏不同演奏者个不同作品。 候选码:(P,W,A)全码(演奏者、作品、听众 一场音乐会),7.2.1 关系模式中的码(续),外码:用于关系表之间建立关联的属性(组)。 定义:若R(U,F)的属性(组)X(X属于U)是另一个关系S的主码,则称X为R的外码
5、。,7.2.2 范式,关系数据库中的关系要满足一定的要求,满足不同程度要求的为不同的范式。,第一范式,第一范式:不包含重复组的关系。,第二范式,2.第二范式:如果R(U,F)1NF,并且R中的每个非主属性都完全函数依赖于主码,则R(U,F)2NF 例: S-L-C(Sno,Sdept,SLOC,Cno,Grade) 有:Sno P SLOC,不是2NF。,分解办法,首先,对于组成主码的属性集合的每一个子集,用它作为主码构成一个表。 然后,将依赖于这些主码的属性放置到相应的表中。 最后,去掉只由主码的子集构成的表。,分解示例,对于S-L-C表,首先分解为如下形式的三张表: S-L(Sno,) C
6、(Cno,) S-C(Sno, Cno,) 然后,将依赖于这些主码的属性放置到相应的表中 S-L(Sno,Sdept, Sloc) C(Cno) S-C(Sno, Cno, Grade) 最后,去掉只由主码的子集构成的表,最终分解为: S-L(Sno,Sdept, Sloc) S-C(Sno, Cno, Grade),S-L(Sno,Sdept, Sloc)存在问题,数据冗余 :有多少个学生就有多少个重复的Sdept和SLOC; 插入异常:当新建一个系时,若还没有招收学生,则无法插入;,第三范式,定义:如果R(U,F)2NF,并且所有非主属性都不传递依赖于主码,则R(U,F)3NF。 对S-L
7、(Sno,Sdept,SLOC) Sno传递SLOC, 不是3NF,分解过程,(1)对于不是候选码的每个决定因子,从表中删去依赖于它的所有属性; (2)新建一个表,新表中包含在原表中所有依赖于该决定因子的属性; (3)将决定因子作为新表的主码。 S-L分解后的关系模式为: S-D(Sno, Sdept) S-L(Sdept, Sloc),BCNF,例:关系模式:CSZ(City,Street,Zip) 语义:城市和街道可以决定邮政编码,邮政编码可以决定城市。 候选码:(City,Street),( Street,Zip) F:(City,Street) Zip ,Zip City 是3NF 存
8、在的问题: 插入异常,删除异常,BCNF(续),R1NF,且能决定其它属性取值的属性(组)必定包含码,则其是BCNF 如果一个关系的每个决定因素都是候选码,则其是BCNF 如果一个关系的每个函数依赖的左部都是候选码,则其是BCNF 如果R3NF,并且不存在主属性对非主属性的函数依赖,则其是BCNF,BCNF和3NF的关系,若RBCNF,则R3NF 若R3NF,则R不一定属于BCNF,规范化举例,设有关系模式:Student(学号,姓名,导师号,导师名,课程号,课程说明,成绩) 语义:一名学生只有一个导师,学生可选多门课。 将其规范化成3NF的。,1此表是1NF,其函数依赖为: 学号p姓名,学号
9、p导师号,学号p导师名,课程号p课程说明, (学号,课程号)成绩 主码为(学号,课程号) 存在部分函数依赖关系,不是2NF,首先将其分解为2NF。,学生(学号,姓名,导师号,导师名), 课程(课程号,课程说明), 成绩(学号,课程号,成绩) 均为2NF,2判是否为3NF “学生”表不是3NF,其函数依赖为: 学号姓名,学号导师号,导师号p导师名,学号传递导师名 消除依赖于决定者的属性,把它们放在一个单独的表中,得到: 学生(学号,姓名,导师号),导师(导师号,导师名),关系模式的分解准则(续),例:S-D-L(Sno,Dept,Loc)有函数依赖: Sno Dept, Dept Loc 不是第三范式的。至少可以有三种分解方案,分别为: 方案1:S-L(Sno,Loc),D-L(Dept,Loc) 方案2:S-D(Sno,Dept),S-L(Sno,Loc) 方案3:S-D(Sno,Dept),D-L(Dept,Loc) 这三种分解方案得到的关系模式都是第三范式的,那么如何比较这三种方案的好坏呢?由此在将一个关系模式分解为多个关系模式时除了提高规范化程度之外,还需要考虑其他的一些因素。,关系模式的分解准则(续),将一个关系模式R分解为若干个关系模式R1,R2,Rn,意味着将存储在一张二维表r中的数据分散到了若干个二维表r1,r2,rn中。这样的分解应该不
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- T/CSCB 0021-2024人胰腺癌类器官
- T/CPIA 0056-2024漂浮式水上光伏发电锚固系统设计规范
- T/CMES 02015-2025轨道交通数字化焊接工厂建设通用技术要求
- T/CSAE 515-2026电动客车用动力蓄电池安全风险车端处置要求
- T/ZSA 301-2025单片集成相干光接收器芯片
- T/CI 610-2024碳化硅单晶生长技术
- T/CI 510-2024铬铝尖晶石系列耐火材料
- T/CSPSTC 168-2025水文测报质量管理体系文件编制导则
- T/CRIA 16027-2026阻燃联组V带
- 2026年智能财务管理系统会计核算工程师资格考试试题及答案
- 2026年建筑起重信号司索工考试题库(模拟测试)(含答案)
- 2026医疗保障协议医疗机构医疗服务协议培训(版)
- 2026福建福州市建总科技文化有限公司招聘3人笔试备考题库及答案详解
- 项目管理信息系统监理技术大纲范本
- 2027高考语文作文全新一轮集训题库原创命题+范文
- (2025年)潍坊市临朐县公安辅警招聘知识考试题库及答案
- 2025年护理核心制度
- 内蒙古西部天然气蒙东管道有限公司招聘笔试题库2025
- 车棚电动车起火应急演练方案
- GJB843.10A-2021-潜艇核动力装置设计安全规定第10部分:控制系统设计准则
- 大队委面试题及答案
评论
0/150
提交评论