第五章系数据理论 5.2规范化 为了使数据库设计的方法走向完备,人们 研究了规范化理论,指导我们设计规范 的数据库模式 H·讨论首先是从分析一个关系模式的属性 间的联系开始的
• 为了使数据库设计的方法走向完备,人们 研究了规范化理论，指导我们设计规范 的数据库模式。 • 讨论首先是从分析一个关系模式的属性 间的联系开始的。 第五章 关系数据理论 5.2 规范化
第五章关系数据理论 52规范化 ·527函数依赖 、属性间的关系 客观世界中事物间的联系分为: ()实体与实体间的联系; (2)实体内部各属性间的联系。 属性间的联系是属性间相互依赖与相互制约的 关系,它称为数据依赖。 属性间的联系分为: (7)1-7(ctae (2) 1-M(ome to Many/ (3) M-M(Mangy to Mangy/
第五章 关系数据理论 5.2 规范化 • 5.2.1 函数依赖 一、属性间的关系 客观世界中事物间的联系分为： （1）实体与实体间的联系； （2）实体内部各属性间的联系。 属性间的联系是属性间相互依赖与相互制约的 关系，它称为数据依赖。 属性间的联系分为： （1） 1-1 （one to one ) （2） 1-M （one to Many ) （3） M-M （ Many to Many )
第五章系数据理论 5.2规范化 数据依赖是通过一个关系中属性间值的相等与否体现 出来的数据间的相互关系。它是现实世界属性间相互 联系的抽象是数据内在的性质是语义的体现。 ·现在人们已经提出了许多种类型的数据依赖其中最重 要的是 (7)函数依赖 wne tional Dependency简记为) 2)多值依赖Mn记为WmD
第五章 关系数据理论 5.2 规范化 • 数据依赖是通过一个关系中属性间值的相等与否体现 出来的数据间的相互关系。它是现实世界属性间相互 联系的抽象,是数据内在的性质,是语义的体现。 • 现在人们已经提出了许多种类型的数据依赖,其中最重 要的是： （1）函数依赖(Functional Dependency简记为FD） （2）多值依赖(Multivalued Dependency简记为MVD)
第五章关系数据理论 5.2规范化 定义57 设R(U)是属性集U上的关系模式。X,Y是U的子集。若对于R(U 的任意一个可能的关系1,中不可能存在两个元组在X上的属性 值相等,而在Y上的属性值不等,则称Ⅹ函数确定Y或Y函数依赖于Ⅹ 记作X→Y 函数依赖和别的数据侬赖一样是语义范畴的概念。我们只 能根据语义來确定一个函数依赖。设计者也可以对现实世界作 强制的规定。 注意:函数依赖不是指关系模式R的某个或某些关系满足的约束 条件,而是指R的一切关系均要满足的约束条件
第五章 关系数据理论 5.2 规范化 • 定义5.1 • 设R(U)是属性集U上的关系模式。X,Y是U的子集。若对于R(U) 的任意一个可能的关系r，r中不可能存在两个元组在X上的属性 值相等,而在Y上的属性值不等,则称X函数确定Y或Y函数依赖于X， 记作X→Y。 • 函数依赖和别的数据依赖一样是语义范畴的概念。我们只 能根据语义来确定一个函数依赖。设计者也可以对现实世界作 强制的规定。 • 注意：函数依赖不是指关系模式R的某个或某些关系满足的约束 条件，而是指R的一切关系均要满足的约束条件
第五章关系数据理论 5.2规范化 ·下面介绍一些术语和记号 ⅹ→Y,但YⅩ则称X→Y是非平凡的函数依 赖。若不特别声明,我们总是讨论非平凡的函数 依赖。 若X→Y则X叫做决定因素 Determinant)争 Ⅹ→Y,但YcX则称Ⅹ→Y是平凡的函数依赖。 若Ⅹ→Y,Y→Ⅹ,则记作Ⅹ←Y。 若Y不函数依赖于X则记作Ⅹ+Y
第五章 关系数据理论 5.2 规范化 •下面介绍一些术语和记号： ·X→Y，但Y X则称X→Y是非平凡的函数依 赖。若不特别声明,我们总是讨论非平凡的函数 依赖。 ·X→Y，但Y X 则称X→Y是平凡的函数依赖。 ·若X→Y,则X叫做决定因素(Determinant)。 ·若X→Y，Y→X，则记作X←→Y。 ·若Y不函数依赖于X,则记作X Y。 →