第五章关系数据库设计理论 5.1 数据依赖 5.2 范式 5.3 关系模式的规范化.

Slides:



Advertisements
Similar presentations
数据结构的引入. 通讯录管理 社团机构管理 校园导航管理 通讯录管理 社团机构管理 校园导航管理.
Advertisements

1 主題三 網路常見衝突事件 的防範 3-1 認識網路兩性交往常見的衝突事件 3-2 瞭解處理兩性網路交往衝突之注意事項 3-3 認識處理兩性網路交往常見的衝突事件的 有效方法 有效方法.
全民國防教育宣導 暨國防教育影片欣賞與討論.
安康市中心城区创国卫 疾病防治示范点建设培训
信号与系统 第三章 傅里叶变换 东北大学 2017/2/27.
泛黄的春联还残留在墙上 依稀可见几个字岁岁平安 在我没回去过的老家米缸 爷爷用楷书写一个满 黄金葛爬满了雕花的门窗 夕阳斜斜映在斑驳的砖墙 铺着榉木板的屋内还弥漫 姥姥当年酿的豆瓣酱 我对着黑白照片开始想像 爸和妈当年的模样 说着一口吴侬软语的姑娘缓缓走过外滩 消失的旧时光一九四三 在回忆的路上时间变好慢.
复习: :对任意的x∈A,都有x∈B。 集合A与集合B间的关系 A(B) A B :存在x0∈A,但x0∈B。 A B A B.
§3.4 空间直线的方程.
未成年少女墮胎的法律問題.
An Introduction to Database System
第六章 数据库设计.
圆的一般方程 (x-a)2 +(y-b)2=r2 x2+y2+Dx+Ey+F=0 Ax2+Bxy+Cy2+Dx+Ey+ F=0.
第五章 二次型. 第五章 二次型 知识点1---二次型及其矩阵表示 二次型的基本概念 1. 线性变换与合同矩阵 2.
第6章 关系数据理论 6.1关系模式的设计的问题 6.2 数据依赖的推理规则 6.3规范化 6.4模式分解.
国王赏麦的故事.
第六章 关系数据理论 内容出处: 1.Abraham Silberschatz《数据库系统概念》第七章.
河北化工医药职业技术学院 数据库原理及应用教案.
捷運綠線先到公車 GR線「桃園航空城捷運線先導公車」
《高等数学》(理学) 常数项级数的概念 袁安锋
第九章 多元函数微分法 及其应用 一元函数微分学 推广 多元函数微分学 注意: 善于类比, 区别异同.
§1 线性空间的定义与性质 ★线性空间的定义 ★线性空间的性质 ★线性空间的子空间 线性空间是线性代数的高等部分,是代数学
第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解.
An Introduction to Database System
Database Principles & Applications
花卉之家网简介 花卉之家网将线上电子商务网站和线下连锁花卉观光卖场充分结合起来,以标准化花卡为主销售模式,通过网站、花卉卖场、目录三种渠道为花卉消费者提供以观花花卉、组合盆栽、盆景为主的具有较高艺术价值的高档花卉。花卉之家作为最专业的花卉服务商同时为花卉消费者提供一整套周到全面解决养花难问题和科学摆放花卉的园艺方案及交流养花心得的园艺平台,让每一位花卉消费者成为养花高手。我们的宗旨是让花卉消费者高高兴兴买花、明明白白养花、快快乐乐赏花。我们的理念是通过花卡对花卉园艺进行品牌化经营。
第二节 微积分基本定理 一、积分上限函数及其导数 二、积分上限函数求导法则 三、微积分基本公式.
一、原函数与不定积分 二、不定积分的几何意义 三、基本积分公式及积分法则 四、牛顿—莱布尼兹公式 五、小结
第四章 定积分及其应用 4.3 定积分的概念与性质 微积分基本公式 定积分的换元积分法与分部积分法 4.5 广义积分
第三节 格林公式及其应用(2) 一、曲线积分与路径无关的定义 二、曲线积分与路径无关的条件 三、二元函数的全微分的求积 四、小结.
2-7、函数的微分 教学要求 教学要点.
第2章 关系数据库系统.
第7章 关系数据库规范化理论 7.1 函数依赖 7.2 关系规范化 7.3 关系模式的分解准则.
An Introduction to Database System An Introduction To Database System
An Introduction to Database System An Introduction to Database System
第四章 关系数据理论 4.1 关系模式的设计问题 4.2 关系模式的规范化 4.3 数据依赖的公理系统 4.4 关系模式的分解 本章小结.
第5章 关系模式的规范化设计 冯万利.
教 师:曾晓东 电 话: 数据库技术 教 师:曾晓东 电 话:
第四章关系数据库设计理论 4.1 数据依赖 4.2 范式 4.3 关系模式的规范化.
資料表正規化.
第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 管理科学与工程学院.
Thanks for the Slides from Renmin U
第五章 关系数据理论 关系模型有严格的数学理论基础,也是目前应用最广泛的数据模型,关系规范化是指导数据库设计的重要理论。一个好的关系数据库是应该既可以供人们方便地获取信息,而又不产生过多的不必要的重复存储问题。可以说,规范化理论是数据模型优化的理论基础,对其他数据库的逻辑设计同样具有理论上的意义。 2018年12月6日7时18分.
Principle and Application of Database
数据库应用技术 SQL Server 2005.
An Introduction to Database System An Introduction to Database System
第6章 关系数据库规范化理论 教学目标:通过本章学习,了解不规范的关系模式存在的问题;理解函数依赖及关系规范化的相关概念,熟悉关系模式的形式化定义;掌握第一范式(1NF)、第二范式(2NF)、第三范式(3NF)及BCNF的定义及相关术语的含义;了解多值依赖及第四范式(4NF)的定义;理解函数依赖公理的内容,掌握属性闭包的定义及求解算法,能够正确判断关系模式的候选码及规范化程度;了解最小函数依赖集的定义及算法,了解对模式分解后无损连接性和函数依赖保持性的判断。
6.4不等式的解法举例(1) 2019年4月17日星期三.
概 率 统 计 主讲教师 叶宏 山东大学数学院.
 多項式的除法 x3 + 2x2 – 5x + 6 = (x – 1)(x2 + 3x – 2) + 4 被除式 除式 商式 餘式
定理21.9(可满足性定理)设A是P(Y)的协调子集,则存在P(Y)的解释域U和项解释,使得赋值函数v(A){1}。
第16讲 相似矩阵与方阵的对角化 主要内容: 1.相似矩阵 2. 方阵的对角化.
§8.3 不变因子 一、行列式因子 二、不变因子.
§6.7 子空间的直和 一、直和的定义 二、直和的判定 三、多个子空间的直和.
1.2 子集、补集、全集习题课.
1.设A和B是集合,证明:A=B当且仅当A∩B=A∪B
第15讲 特征值与特征向量的性质 主要内容:特征值与特征向量的性质.
An Introduction to Database System
第3章 关系数据库的规范化理论 本章导读: 关系规范化理论研究的是关系模式中各属性之间的依赖关系及其对关系模式性能的影响,探讨“好”的关系模式应该具备的性质,以及达到“好”的关系模式提供的方法。关系规范化理论提供了判断关系逻辑模式优劣的理论标准,是数据库设计的理论基础和关系模式算法工具,用于帮助数据库设计工程师预测和优化模式可能出现的问题。
第二节 函数的极限 一、函数极限的定义 二、函数极限的性质 三、小结 思考题.
高中数学必修 平面向量的基本定理.
§2 方阵的特征值与特征向量.
主讲教师 欧阳丹彤 吉林大学计算机科学与技术学院
第八章 服務部門成本分攤.
基于列存储的RDF数据管理 朱敏
第五章关系数据库设计理论 5.1 数据依赖 5.2 范式 5.3 关系模式的规范化.
第四节 向量的乘积 一、两向量的数量积 二、两向量的向量积.
数据库技术及应用 机械工业出版社 2019/7/24.
看圆如何七十二变 微建筑早课.
§4.5 最大公因式的矩阵求法( Ⅱ ).
§2 自由代数 定义19.7:设X是集合,G是一个T-代数,为X到G的函数,若对每个T-代数A和X到A的函数,都存在唯一的G到A的同态映射,使得=,则称G(更严格的说是(G,))是生成集X上的自由T-代数。X中的元素称为生成元。 A变, 变 变, 也变 对给定的 和A,是唯一的.
Presentation transcript:

第五章关系数据库设计理论 5.1 数据依赖 5.2 范式 5.3 关系模式的规范化

5.1 数据依赖 5.1.1 关系模式中的数据依赖 完整的关系模式的描述:R(U,D,DOM,F) D是U的取值范围,是域的集合 DOM是属性向域映象的集合 F是属性间数据的依赖关系集合 关系模式是静态的、稳定的;关系是动态的,不同时刻关系模式中的关系可能不同,但关系都必须满足关系模式中数据依赖关系集合F指定的完整性约束 影响数据库模式设计的主要是U和F,所以一般关系模式简化为:R(U, F)

5.1.2 数据依赖对关系模式的影响 数据依赖有: 一个关系模式示例 该关系模式存在如下问题 : 函数依赖、多值依赖和连接依赖 U={Sno,Sdept,Mname,Cname,Grade} F={Sno->Sdept, Sdept->Sname, (Sno,Cname)->Grade} 该关系模式存在如下问题 : 数据冗余太大:系主任名字重复出现,和所有学生的所有课程成绩次数一样 更新异常:更换系主任必须修改每一个学生信息 插入异常:刚成立的系如果还没有招生就无法存储系主任信息 删除异常:某个系的学生全部毕业删除时会丢失系主任信息

5.1.3 相关概念 函数依赖 平凡的和非平凡的函数依赖 R(U)是一个关系模式,U是R的属性集合,X和Y是U的子集,对于R(U)的任意一个可能的关系r,如果r中不存在两个元组w,v,使得w[X]=v[X]而w[Y]<>v[Y],称X函数决定Y,或Y函数依赖于X,记X->Y 平凡的和非平凡的函数依赖 关系模式R(U), X和Y是U的子集,如果X->Y,且YX,则称X->Y是非平凡的函数依赖,否则称平凡的函数依赖,我们讨论的都是非平凡的函数依赖

完全函数依赖和部分函数依赖 传递函数依赖 码的重新定义 关系模式R(U),如果X Y,且对于任意的X的真子集X’都有X’ \ Y,则称Y完全函数依赖于X,记X f Y。反之则Y不完全依赖于X,称Y部分依赖于X,记X P Y 传递函数依赖 关系模式R(U),如果X->Y,Y->Z,且Y \ X,则称Z传递函数依赖于X,记X t Z 码的重新定义 关系模式R(U,F),K为属性组合,若K f U,则K是一个候选码。

5.2 范式 范式定义 数据依赖满足某种条件级别的关系模式的集合 目前共6种范式: 1NF2NF3NFBCNF4NF5NF

例:SCL(S#, SN, SA, CLS, MON, C#, CN, CRD, GR) 属于1NF它有以下问题: 数据冗余大,如MON,CRD等 插入异常,当无课程时学生信息无法插入 删除异常,当某个学生的选课信息全部删除时无法保留学生基本信息

SCL存在的函数依赖关系 (S#,C#) f GR (S#,C#) P SN S# f SN (S#,C#) P SA S# f SA (S#,C#) P CLS S# f CLS (S#,C#) P CN C# f CN (S#,C#) P CRD C# f CRD CLS MON S# t MON

例:S_L(S#,SN,SA,CLS,MON) C(C#,CN,CRD) S_C(S#,C#,GR)都属于2NF 存在问题: 如果一个关系模式R1NF,并且每一非主属性都完全依赖于R的码,则R2NF。 显然码只包含一个属性的R如果是1NF,则必是2NF 例:S_L(S#,SN,SA,CLS,MON) C(C#,CN,CRD) S_C(S#,C#,GR)都属于2NF 存在问题: 数据冗余大,如MON 插入异常,无学生信息无法插入班长信息 删除异常,当学生的信息删除无法保存班长

函数依赖关系: S# f SA S# f CLS S# f SN CLS MON S# t MON C# f CN C# f CRD (S#,C#) f GR

5.2.3 第三范式(3NF) 3NF定义 例:S(S#,SN,SA,CLS) L(CLS,MON) C(C#,CN,CRD) 如果一个关系模式R中不存在非主属性对码的传递依赖,则R3NF 例:S(S#,SN,SA,CLS) L(CLS,MON) C(C#,CN,CRD) S_C(S#,C#,GR)都属于3NF

例:STC(S,T,C) S学生 T教师 C课程 (S,C)->T (S,T)->C T->C 所以STC不是BCNF 5.2.4 BC范式(BCNF) BCNF定义 如果一个关系模式R(U,F)1NF,对R中的任意一个非平凡的函数依赖X->Y,X都含有候选码,则RBCNF 例:STC(S,T,C) S学生 T教师 C课程 (S,C)->T (S,T)->C T->C 所以STC不是BCNF 分解为:ST(S,T),TC(T,C) 则都属于BCNF

5.2.5 第四范式(4NF) 多值依赖 关系模式R(U)属性集U,X、Y和Z是U不相交的子集,且Z=U-X-Y,若关系模式R的任一关系r对于X的一个给定值,存在Y的一组值与之对应,且Y的这一组值与Z无关,称Y多值依赖于X,记X->->Y。当Z非空时称非平凡的多值依赖 4NF定义 如果一个关系模式R(U,F)1NF,对R中的任意一个非平凡的多值依赖X->->Y,X都含有候选码,则R4NF

例: CTX(C,T,X) C 课程, T 教师, X 参考书 候选码:(C,T,X) C->->T,C->->X,C不是候选码,故CTX不属于4NF 分解为CT(C,T),CX(C,X),则都满足4NF

5.2.6 第五范式(5NF) 定义 关系模式R,其属性集U,X1,X2......Xn分别为U的子集,Xi=U,如果对于R的每一个关系r都有r=Xi,则称连接依赖(JD)在关系模式R上成立,记为*(X1,X2,......Xn),若某个Xi就是R,称平凡的连接依赖。 如果一个关系模式R(U,F)1NF,对R中的任意一个连接依赖都都由候选码蕴涵,则R5NF

例:关系AFP AFP AF FP AP A F P a1 f1 p1 p2 f2 a2 f3 A F a1 f1 f2 a2 f3 F P

只有AF、FP、AP 三个关系连接才可以得到AFP,因此称 AFP具有连接依赖JD*(A,F,P)

5.3 关系模式的规范化 5.3.1 关系模式的规范化步骤 1NF 消除决定属性集非码的非平凡函数依赖 消除非主属性对码的部分函数依赖关系 消除非主属性对码的传递函数依赖关系 3NF 消除主属性对码的部分函数依赖关系 BCNF 消除非主属性的非平凡的多值依赖 4NF 消除非候选码蕴涵的连接依赖 5NF

5.3.2 关系模式的分解 关系模式的规范化 通过对关系模式的分解来实现的 把低级别的关系模式分解为高级别的关系模式 分解不唯一,只有保证分解后的关系模式与原关系模式等价,才有意义

例: 关系模式SL(Sno,Sdept,Sloc) Sno->Sdept,Sdept->Sloc, Sno->Sloc 95001 CS A 95002 IS B 95003 MA C 95004 95005 PH

分解方法一: SN(Sno)、SD(Sdept)、SO(Sloc) SN、SD、SO都是很高的范式,属于5NF,但分解后 丢失很多信息 SN 95001 CS A 95002 IS B 95003 MA C 95004 95005 PH

分解方法二: NL(Sno,Sloc)、DL(Sdept,Sloc) 分解后的关系 NL和DL的自然连接结果 NL DL Sno Sloc 95001 A CS 95002 B IS 95003 C MA 95004 PH 95005 Sno Sdept Sloc 95001 CS A 95002 IS B PH 95003 MA C 95004 95005

定义 NL和DL的自然连接结果 多出三个元组,而实际上无法确定哪个是多余的,因此丢失了信息 如果关系模式R(U,F)在分解为若干个关系模式Ri(Ui,Fi)后(其中U=Ui),若Ri的自然连接和原关系相等,则称该分解具有无损连接性

分解方法三 ND(Sno,Sdept)、NL(Sno,Sloc) 分解后关系 ND NL Sno Sdept Sloc 95001 CS A 95002 IS B 95003 MA C 95004 95005 PH

NL和DL的自然连接结果 和原关系相同,但当某个学生转系后需要修改两个表,如95005转为CS系后需PH->CS,B->A。原因是分解时丢失了Sdept->Sloc的函数依赖关系。 定义 如果在分解过程中原函数依赖F被每个分解后的某个关系函数依赖Fi所逻辑蕴涵,则称该分解是保持函数依赖的

分解方法四 ND(Sno,Sdept)、DL(Sdept,Sloc) 分解后关系 95001 CS A 95002 IS B 95003 MA C 95004 PH 95005 NL和DL的自然连接结果和原关系相同,该分解是保持函数依赖的

衡量关系分解有两个标准 关系分解理论定理 是否具有无损连接性 是否保持了函数依赖 若要求关系模式分解具有无损连接性,则分解一定可达到4NF 若要求关系模式分解保持函数依赖,则分解一定可达到3NF,但不一定达到BCNF 若要求关系模式分解既具有无损连接性,又保持函数依赖,则分解一定可达到3NF,但不一定达到BCNF