数据库系统概论关系数据理论课件

数据库系统概论数据库系统概论An Introduction to Database System第六讲第六讲 关系数据理论关系数据理论12019年8月26数据库系统概论12019年8月26第六讲关系数据理论6.1 问题的提出6.2 规范化6.3 数据依赖的公理系统*6.4 模式的分解6.5 小结22019年8月26第六讲 关系数据理论6.1 问题的提出22019年8月266.1 问题的提出关系模式存在的问题32019年8月266.1 问题的提出关系模式存在的问题32019年8月26关系模式存在的问题例1(P170)：描述学校的数据库：学生的学号（Sno）、所在系（Sdept）系主任姓名（Mname）、课程号（Cno）成绩（Grade）问题：如何设计关系模式？提示：1.概念模型 2.逻辑模型（关系模式）42019年8月26关系模式存在的问题例1(P170)：描述学校的数据库：420数据依赖对关系模式的影响（续）学校数据库的语义：一个系有若干学生，一个学生只属于一个系；一个系只有一名主任；一个学生可以选修多门课程，每门课程有若干学生选修；每个学生所学的每门课程都有一个成绩。52019年8月26数据依赖对关系模式的影响（续）学校数据库的语义：52019年假设设计成单一模式单一的关系模式：Student U Sno,Sdept,Mname,Cno,Grade 62019年8月26假设设计成单一模式单一的关系模式：Student Student 表 Sno Sdept Mname Cno Grade S1 计算机系 张明 C1 95 S2 计算机系 张明 C1 90 S3 计算机系 张明 C1 88 S4 计算机系 张明 C1 70 S5 计算机系 张明 C1 78 72019年8月26Student 表 Sno Sdept M关系模式Student中存在的问题 数据冗余太大n浪费大量的存储空间 例：每一个系主任的姓名重复出现 修改复杂（Update Anomalies）n数据冗余，修改数据时，维护数据完整性代价大。例：某系更换系主任后，系统必须修改与该系学生有关的每一个元组82019年8月26关系模式Student中存在的问题 数据冗余太关系模式Student中存在的问题 插入异常（Insertion Anomalies）n该插的数据插不进去 例，如果一个系刚成立，尚无学生，我们就无法把这个系及其系主任的信息存入数据库。删除异常（Deletion Anomalies）n不该删除的数据不得不删例，如果某个系的学生全部毕业了，我们在删除该系学生信息的同时，把这个系及其系主任的信息也丢掉了。92019年8月26关系模式Student中存在的问题 插入异常（数据依赖对关系模式的影响（续）结论：nStudent关系模式不是一个好的模式。n“好”的模式：不会发生更新异常（插入异常、删除异常、修改复杂），数据冗余应尽可能少。102019年8月26数据依赖对关系模式的影响（续）结论：102019年8月26第六讲关系数据理论6.1 问题的提出6.2 规范化6.3 数据依赖的公理系统*6.4 模式的分解6.5 小结112019年8月26第六讲 关系数据理论6.1 问题的提出112019年8月266.2 规范化 规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、修改复杂和数据冗余问题。122019年8月266.2 规范化122019年8月266.2 规范化数据依赖（P170）数据依赖是一个关系内部属性与属性之间的一种约束关系。这种约束关系是通过属性间值的相等与否体现出来的数据间的相关联系。是现实世界属性间相互联系的抽象，是数据内在的性质，是语义的体现。132019年8月266.2 规范化数据依赖（P170）132019年8月266.2 规范化数据依赖的类型p函数依赖（Functional Dependency，简记为FD）p多值依赖（Multivalued Dependency，简记为MVD）142019年8月266.2 规范化数据依赖的类型142019年8月266.2.1 函数依赖一、函数依赖二、平凡函数依赖与非平凡函数依赖三、完全函数依赖与部分函数依赖四、传递函数依赖152019年8月266.2.1 函数依赖一、函数依赖152019年8月26一、函数依赖（P172）定义6.1 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称“X函数确定Y”或 “Y函数依赖于X”，记作XY。162019年8月26一、函数依赖（P172）定义6.1 设R(U)是一个属性函数依赖（续）定义：设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，对于X的每一个值，Y都有一个确定的值与之对应，则称“X函数确定Y”或 “Y函数依赖于X”，记作XY。172019年8月26函数依赖（续）定义：设R(U)是一个属性集U上的关系模式，一、函数依赖(续)为什么叫函数依赖？Y=f(X)X0-Y0 X1-Y1 XN-YN182019年8月26一、函数依赖(续)为什么叫函数依赖？182019年8月26说明：1.函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。2.函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。例如“姓名性别”这个函数依赖只有在不允许有同名人的条件下成立192019年8月26说明：1.函数依赖不是指关系模式R的某个或某些关系实例满函数依赖（续）例:Student(Sno,Sname,Ssex,Sage,Sdept)假设不允许重名，则有:Sno Ssex，Sno Sage,Sno Sdept，Sno Sname,Sname Ssex，Sname SageSname Sdept但Ssex Sage若XY，并且YX,则记为XY。若Y不函数依赖于X,则记为XY。202019年8月26函数依赖（续）例:Student(Sno,Sname,二、平凡函数依赖与非平凡函数依赖在关系模式R(U)中，对于U的子集X和Y，如果XY，但Y X，则称XY是非平凡的函数依赖若XY，但Y X,则称XY是平凡的函数依赖例：在关系SC(Sno,Cno,Grade)中，非平凡函数依赖：(Sno,Cno)Grade 平凡函数依赖：(Sno,Cno)Sno (Sno,Cno)CnoCno Cno212019年8月26二、平凡函数依赖与非平凡函数依赖在关系模式R(U)中，对于U平凡函数依赖与非平凡函数依赖（续）n对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义，因此若不特别声明，我们总是讨论非平凡函数依赖。222019年8月26平凡函数依赖与非平凡函数依赖（续）对于任一关系模式，平凡函数三、完全函数依赖与部分函数依赖定义6.2 在关系模式R(U)中，如果XY，并且对于X的任何一个真子集X，都有X Y,则称Y完全函数依赖于X，记作X Y。若XY，但Y不完全函数依赖于X，则称Y部分函数依赖于X，记作X P Y。232019年8月26三、完全函数依赖与部分函数依赖定义6.2 在关系模式R(U完全函数依赖与部分函数依赖（续）例:在关系SC(Sno,Cno,Grade)中，由于：Sno Grade，Cno Grade，因此：(Sno,Cno)Grade例:在关系SC(Sno,Sname,Cno,Cname,Grade)中，(Sno,Cno)p Sname (Sno,Cno)p Cname 242019年8月26完全函数依赖与部分函数依赖（续）例:在关系SC(Sno,四、传递函数依赖定义6.3 在关系模式R(U)中，如果XY，YZ，且Y X，Z Y，YX，则称Z传递函数依赖于X。注:如果YX，即XY，则Z直接依赖于X。例:在关系Std(Sno,Sdept,Mname)中，有：Sno Sdept，Sdept Mname Mname传递函数依赖于Sno252019年8月26四、传递函数依赖定义6.3 在关系模式R(U)中，如果X6.2.2 码（与第二章P44的定义比较）定义6.4 设K为关系模式R中的属性或属性组合。若K U，则K称为R的一个侯选码（Candidate Key）。若关系模式R有多个候选码，则选定其中的一个做为主码（Primary key）。p主属性与非主属性pALL KEY262019年8月266.2.2 码（与第二章P44的定义比较）定义6.4 设K外部码定义6.5 关系模式 R 中属性或属性组X 并非 R的码，但 X 是另一个关系模式的码，则称 X 是R 的外部码（Foreign key）也称外码p主码又和外部码一起提供了表示关系间联系的手段。272019年8月26外部码定义6.5 关系模式 R 中属性或属性组X 并非 R6.2.3 范式p关系数据库中的关系模式必须满足一定的要求。满足不同程度要求的为不同范式。p范式的种类：第一范式(1NF)第二范式(2NF)第三范式(3NF)BC范式(BCNF)第四范式(4NF)第五范式(5NF)282019年8月266.2.3 范式关系数据库中的关系模式必须满足一定的要求。满6.2.3 范式p各种范式之间存在联系：p某一关系模式R为第n范式，可简记为RnNF。292019年8月266.2.3 范式各种范式之间存在联系：292019年8月266.2.4 2NFp1NF的定义如果一个关系模式R的所有属性都是不可分的基本数据项，则R1NF。p第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据库。p但是满足第一范式的关系模式并不一定是一个好的关系模式。302019年8月266.2.4 2NF1NF的定义302019年8月262NF例:关系模式 SLC(Sno,Sdept,Sloc,Cno,Grade)Sloc为学生住处，假设每个系的学生住在同一个地方。p函数依赖包括：(Sno,Cno)f Grade Sno Sdept Sdept Sloc (Sno,Cno)P Sdept (Sno,Cno)P Sloc Sno Sloc 312019年8月262NF例:关系模式 SLC(Sno,Sdept,S 2NFpSLC的码为(Sno,Cno)pSLC满足第一范式。p 非主属性Sdept和Sloc部分函数依赖于码(Sno,Cno)SnoCnoGradeSdeptSlocSLC322019年8月26 2NFSnoCnoGradeSdeptSlocSLC322SLC不是一个好的关系模式(1)插入异常假设Sno95102，SdeptIS，SlocN的学生还未选课，因课程号是主属性，因此该学生的信息无法插入SLC。(2)删除异常 假定某个学生本来只选修了3号课程这一门课。现在因身体不适，他连3号课程也不选修了。因课程号是主属性，此操作将导致该学生信息的整个元组都要删除。332019年8月26SLC不是一个好的关系模式(1)插入异常332019年8月SLC不是一个好的关系模式(3)数据冗余度大 如果一个学生选修了10门课程，那么他的Sdept和Sloc值就要重复存储了10次。(4)修改复杂 例如学生转系，在修改此学生元组的Sdept值的同时，还可能需要修改住处（Sloc）。如果这个学生选修了K门课，则必须无遗漏地修改K个元组中全部Sdept、Sloc信息。342019年8月26SLC不是一个好的关系模式(3)数据冗余度大342019年 2NFp原因 Sdept、Sloc部分函数依赖于码。p解决方法 SLC分解为两个关系模式，以消除这些部分函数依赖 SC（Sno，Cno，Grade）SL（Sno，Sdept，Sloc）352019年8月26 2NF原因352019年8月262NF函数依赖图：SnoCnoGradeSCSLSnoSdeptSloc362019年8月262NF函数依赖图：SnoCnoGradeSCSLSnoSde 2NFp2NF的定义定义6.6 若关系模式R1NF，并且每一个非主属性都完全函数依赖于R的码，则R2NF。p2NF的定义（等价定义）若关系模式R1NF，并且消除了非主属性对码的部分函数依赖，则R2NF。372019年8月26 2NF2NF的定义372019年8月26例：SLC(Sno,Sdept,Sloc,Cno,Grade)2NF SC（Sno，Cno，Grade）2NF SL（Sno，Sdept，Sloc）2NF382019年8月26例：SLC(Sno,Sdept,Sloc,Cno,Gp如果关系模式R的码只有一个属性，那么R一定满足二范式。392019年8月26如果关系模式R的码只有一个属性，那么R一定满足二范式。392p判断关系模式R(U,F)是否符合二范式U=A,B,C,D F=AB C,B D,C D 经计算，属性AB是唯一的码 请问是否符合二范式？402019年8月26判断关系模式R(U,F)是否符合二范式402019年8月26 第二范式（续）p采用投影分解法将一个1NF的关系分解为多个2NF的关系，可以在一定程度上减轻原1NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。p将一个1NF关系分解为多个2NF的关系，并不能完全消除关系模式中的各种异常情况和数据冗余。412019年8月26 第二范式（续）采用投影分解法将一个1NF的关系分解为多个2 6.2.5 3NFp请分析关系模式SL(Sno,Sdept,Sloc)，依然存在更新异常和数据冗余422019年8月26 6.2.5 3NF请分析关系模式SL(Sno,Sdep 6.2.5 3NF例：2NF关系模式SL(Sno,Sdept,Sloc)中p函数依赖：SnoSdept SdeptSloc SnoSlocSloc传递函数依赖于Sno，即SL中存在非主属性对码的传递函数依赖。432019年8月26 6.2.5 3NF例：2NF关系模式SL(Sno,Sd 3NF函数依赖图：SLSnoSdeptSloc442019年8月26 3NF函数依赖图：SLSnoSdeptSloc44201 3NFp解决方法 采用投影分解法，把SL分解为两个关系模式，以消除非主属性的传递函数依赖：SD（Sno，Sdept）DL（Sdept，Sloc）SD的码为Sno，DL的码为Sdept。452019年8月26 3NF解决方法452019年8月26 3NFSD的码为Sno，DL的码为Sdept。SnoSdeptSDSdeptSlocDL462019年8月26 3NFSD的码为Sno，DL的码为Sdept。SnoS 3NFp3NF的定义定义6.7 关系模式R 中若不存在这样的码X、属性组Y及非主属性Z（Z Y）,使得XY，Y X，YZ，成立，则称R 3NF。p3NF的定义（等价定义）若关系模式R2NF，并且消除了非主属性对码的传递函数依赖，则R3NF。472019年8月26 3NF3NF的定义472019年8月26例，SL(Sno,Sdept,Sloc)2NF SL(Sno,Sdept,Sloc)3NF SD（Sno，Sdept）3NF DL（Sdept，Sloc）3NF482019年8月26例，SL(Sno,Sdept,Sloc)2NF4p判断关系模式R(U,F)是否符合三范式U=A,B,C,D F=AB C,AB D,C D 经计算，属性AB是唯一的码 请问是否符合三范式？492019年8月26判断关系模式R(U,F)是否符合三范式492019年8月26 3NFp若R3NF，则R的每一个非主属性既不部分函数依赖于候选码也不传递函数依赖于候选码。p如果R3NF，则R也是2NF。p采用投影分解法将一个2NF的关系分解为多个3NF的关系，可以在一定程度上解决原2NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。p 将一个2NF关系分解为多个3NF的关系后，并不能完全消除关系模式中的各种异常情况和数据冗余。502019年8月26 3NF若R3NF，则R的每一个非主属性既不部分函数依赖于 3NF例：在关系模式STJ（S，T，J）中，S表示学生，T表示教师，J表示课程。每一教师只教一门课。每门课由若干教师教，某一学生选定某门课，就确定了一个固定的教师。某个学生选修某个教师的课就确定了所选课的名称：(S，J)T，(S，T)J，TJ候选码：(S，J)，(S，T)512019年8月26 3NF例：在关系模式STJ（S，T，J）中，S表示学生，TpSTJ（S，T，J）符合三范式p依然存在更新异常和数据冗余p原因：TJ ，T中没有码522019年8月26STJ（S，T，J）符合三范式522019年8月26 6.2.6 BC范式（BCNF）p定义6.8 设关系模式R1NF，如果对于R的每个函数依赖XY，若Y不属于X，则X必含有候选码，那么RBCNF。532019年8月26 6.2.6 BC范式（BCNF）定义6.8 设关系模BCNF（P177）p例5C(CNO,CNAME,PCNO)p例6S(SNO,SNAME,SDEPT,SAGE)p例7SJP(S,J,P)学生课程名次 候选码：(S,J)和(J,P)函数依赖：(S,J)P，(J,P)S542019年8月26BCNF（P177）例5C(CNO,CNAME,PCp以上三个关系模式符合三范式，同时也符合BC范式552019年8月26以上三个关系模式符合三范式，同时也符合BC范式552019年BCNF的性质，若RBCNF：pR2NFpR3NFp消除了主属性对不包含它的码的部分函数依赖。p消除了主属性对码的传递依赖562019年8月26BCNF的性质，若RBCNF：R2NF562019年83NF与BCNF的关系p如果关系模式RBCNF，必定有R3NFp若R3NF 则 R不一定BCNFp如果R3NF，且R只有一个候选码，则R必属于BCNF。572019年8月263NF与BCNF的关系如果关系模式RBCNF，572019p 如果只有一个候选码，对于主属性来说，不包含它的候选码不存在，所以，自然就不存在主属性对不包含它的候选码的部分依赖、传递依赖。582019年8月26 如果只有一个候选码，对于主属性来说，不包含它的候选码不存在 3NF和BCNF是在函数依赖的条件下对模式分解所能达到的分离程度的测试，一个模式中的关系模式如果都属于BCNF，那么在函数依赖范畴内，它实现了彻底的分离，已消除了更新异常，3NF的“不彻底”性表现在可能存在主属性对码的部分依赖和传递依赖。592019年8月26 3NF和BCNF是在函数依赖的条件下对模式分6.2.6 规范化p关系数据库的规范化理论是数据库逻辑设计的工具。p一个关系只要其分量都是不可分的数据项，它就是规范化的关系，但这只是最基本的规范化。p规范化程度可以有多个不同的级别602019年8月266.2.6 规范化关系数据库的规范化理论是数据库逻辑设计的工规范化（续）p规范化程度过低的关系不一定能够很好地描述现实世界，可能会存在插入异常、删除异常、修改复杂、数据冗余等问题p一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式集合，这种过程就叫关系模式的规范化612019年8月26规范化（续）规范化程度过低的关系不一定能够很好地描述现实世界规范化（续）p关系模式规范化的基本步骤 1NF 消除非主属性对码的部分函数依赖消除决定属性 2NF集非码的非平 消除非主属性对码的传递函数依赖凡函数依赖 3NF 消除主属性对不包含自己码的部分和传递函数依赖 BCNF 消除非平凡且非函数依赖的多值依赖 4NF622019年8月26规范化（续）关系模式规范化的基本步骤622019年8月26规范化的基本思想n消除不合适的数据依赖n的各关系模式达到某种程度的“分离”n采用“一事一地”的模式设计原则 让一个关系描述一个概念、一个实体或者实体间的一种联系。若多于一个概念就把它“分离”出去n所谓规范化实质上是概念的单一化632019年8月26规范化的基本思想消除不合适的数据依赖632019年8月26规范化（续）p不能说规范化程度越高的关系模式就越好p在设计数据库模式结构时，必须对现实世界的实际情况和用户应用需求作进一步分析，确定一个合适的、能够反映现实世界的模式p上面的规范化步骤可以在其中任何一步终止642019年8月26规范化（续）不能说规范化程度越高的关系模式就越好642019