学校课件数据库.pptxVIP

数据库系统概论An Introduction to Database System第六章 关系数据理论第六章 关系数据理论6.1 问题的提出6.2 规范化6.3 数据依赖的公理系统6.1问题的提出 关系数据库逻辑设计问题: 针对一个具体问题，应该如何构造一个适合于它的数据库模式，即应该构造几个关系模式，每个关系由哪些属性组成等。举例. 教务管理系统 信息：学号，姓名，系名，系主任名，课名，成绩 SNO, SNAME, SDEPT, MN, CNAME, G　设计一个关系模式：　S (SNO, SNAME, SDEPT, MN, CNAME, G)存在的问题 冗余度大：若有500名学生，学习8门课，则共有4000个元组，那么，系名，系主任名要出现4000次，其实出现一次就够了。插入异常：若新系没有招生，系名，系主任名就没法进表，关键是SNO。删除异常：一个系的学生毕业了，删除全部学生记录，则连系名和系主任名也一同删除了。潜在的不一致性：系主任一换，4000个记录都要更新，漏掉一个没改，就会出现数据不一致性。 因此，有必要提出，数据库结构的设计问题。如，建几个表，每个表设计有哪些属性（字段）组成等。 问题的解决方案模式分解：分解为三个模式。SnoSnameSdeptSdeptMNSnoCnameG问题：这样是否能解决问题？是否是最优的？是否有理论根据？要研究的问题 实体之间的联系，实体内部各属性之间的联系，这些内容包括：数据的依赖关系（函数依赖，多值依赖，连接依赖，函数依赖公理）关系模式的分解关系模式的规范化关系模式的形式化定义一个关系模式可写成一个五元组 ： R（U, D, DOM, F） 其中 R: 关系名, U: 属性组，D:属性域， DOM: 属性到域的映射。 F: 数据依赖集（属性间）。为简化起见，把关系模式看作一个三元组： R U, F 仅当定义在U上的集合r满足F时，r才称为关系模式R的一个关系。数据依赖 数据依赖： 通过一个关系中属性间值的相等与否体现出来的数据间的相互关系。它是现实世界属性间相互联系的抽象,是数据内在的性质,是语义的体现。两种重要的数据依赖： 函数依赖(Functional Dependency简记为FD) 多值依赖(Multivalued Dependency简记为MVD)。6.2 规范化 规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。6.2.1 函数依赖一、函数依赖定义6.1设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 说明：1. 所有关系实例均要满足；2. 语义范畴的概念；3. 数据库设计者可以对现实世界作强制的规定二、平凡函数依赖与非平凡函数依赖在关系模式R(U)中，对于U的子集X和Y，如果X→Y，但Y ? X，则称X→Y是非平凡的函数依赖若X→Y，但Y ? X,则称X→Y是平凡的函数依赖例：在关系SC(Sno, Cno, Grade)中， 非平凡函数依赖： (Sno, Cno) → Grade 平凡函数依赖：(Sno, Cno) → Sno (Sno, Cno) → Cno平凡函数依赖与非平凡函数依赖若X→Y，则X称为这个函数依赖的决定属性组，也称为决定因素（Determinant）。若X→Y，Y→X，则记作X←→Y。若Y不函数依赖于X，则记作X→Y。三、完全函数依赖与部分函数依赖定义6.2 在R(U)中，如果X→Y，并且对于X的任何一个真子集X’，都有X’ Y, 则称Y对X完全函数依赖，记作X F Y。 若X→Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记作X P Y。F[例1] 中(Sno,Cno)→Grade是完全函数依赖， (Sno,Cno)→Sdept是部分函数依赖 因为Sno →Sdept成立，且Sno是（Sno，Cno）的真子集P四、传递函数依赖定义6.3 在R(U)中，如果X→Y，(Y ?X) ,Y→X Y→Z， 则称Z对X传递函数依赖。 记为：X → Z 注: 如果Y→X， 即X←→Y，则Z直接依赖于X。例: 在关系Std(Sno, Sdept, Mname)中，有： Sno → Sdept，Sdept → Mname Mname传递函数依赖于Sno传递6.2.2 码定义6.4 设K为RU,F中的属性或属性组合。若K U，则K称为R的侯选码（Candidate Key）。 若候选码多于一个，则选定其中的一个做为主码（Primary Key）。F主属性与非主属性包含在任何一个