- 1、本文档共31页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
(5)对4NF关系进行投影,消除原关系中不是由候选码所蕴含的连接依赖,即可得到一组5NF关系。 关系数据库设计理论 1.关系模式规范化的步骤 4.3 关系模式的分解 (4)对BCNF关系进行投影,消除原关系中非平凡且非函数依赖的多值依赖,从而产生一组4NF关系 (3)对3NF关系进行投影,消除原关系中主属性对码的部分函数依赖和传递函数依赖(也就是说,使决定属性都成为投影的候选码),得到一组BCNF关系。 4 * 4.关系数据库设计理论 4.1 数据依赖 4.2 范式 4.3 关系模式的分解 关系数据库设计理论 关系数据库设计理论的中心问题是数据依赖性。所谓数据依赖是实体属性值之间相互联系和相互制约的关系,是现实世界属性间相互联系的抽象,是数据内在的性质,是语义的体现。 现在人们已经提出了许多类型的数据依赖,其中函数依赖(Functional Dependency,简称为FD)和多值依赖(Multivalued Dependency,简称为MVD)是与数据库设计理论中最重要的两种数据依赖类型。 关系数据库设计理论 4.1 数据依赖 1.函数依赖 定义: 设R(U)是一个关系模式,U是R的属性集合, X和Y是U的子集。对于R(U)的任意一个可能的关系r, 如果r中不可能存在两个元组在X上的属性值相同,而在 Y上的属性值不同,则称“X函数确定Y”或“Y函数依赖于 X”,记作X→Y。 关系数据库设计理论 --对于函数依赖,需要说明以下几点 : (1)函数依赖是指关系模式R的所有元组均要满足的约束条件,而不仅仅指R中某个或某些元组满足的约束条件特例。 (2)函数依赖并不一定具有可逆性。例如一般认为Cardid→Class,即由于读者的卡号具有惟一性,因此读者的卡号可确定读者的类型,而反之则不行。 (3)若X→Y,则X称为这个函数依赖的决定属性集(Determinant)。 关系数据库设计理论 (4)函数依赖和别的数据之间的依赖关系一样,是语义范畴的概念。 (5)数据库设计者可以对描述现实世界的关系模式作强制性的规定。 (6)若X→Y,并且Y→X,则记为 X←→Y。 (7)若Y不函数依赖于X,则记为X Y。 定义: 在关系模式R(U)中,对于U的子集X和Y,如果X→Y, 但Y X,则称X→Y是非平凡函数依赖。若Y X,则称X→Y 为平凡函数依赖 . 对于任意一种关系模式,平凡函数依赖都是必然成立的,它不 反映新的语义. 关系数据库设计理论 2.平凡函数依赖与非平凡函数依赖 3.完全函数依赖与部分函数依赖 4.传递函数依赖 关系数据库设计理论 关系数据库设计理论 5.码 码是关系模式中的一个重要概念,候选码能惟一标识一个 元组(二维表中的一行),是关系模式中一组最重要的属 性。另一方面,主码又和外部码一同提供了表示关系间联 系的手段。 关系数据库设计理论 4.2 范式 定义:如果一个关系模式R的所有属性都是不可分的基本数据项(即每个属性都只包含单一的值),则称R满足第一范式,记为R1 1NF。 在任何一个关系数据库系统中,第一范式是关系模式的一个最起码的要求。不满足第一范式的数据库模式不能称为关系数据库。 1.第一范式(1NF) 关系数据库设计理论 4.2 范式 定义: 若关系模式R满足第一范式,即R 1NF,并且每一个非主属性都完全函数依赖于R的码(即不存在部分依赖),则R满足第二范式,记为R 2NF。 2.第二范式(2NF) 关系数据库设计理论 定义: 如果关系模式R<U, F>中不存在侯选码X、属性组Y以及非主属性Z(Z Y),使得X→Y,Y→Z和Y X成立,则R 3NF。 4.2 范式 3.第三范式(3NF) 关系数据库设计理论 定义:设关系模式R<U, F>1NF,如果对于R的每个函数依赖X→Y,若Y X,则X必含有候选码,那么R BCNF。 4.2 范式 4 . BCNF BCNF(Boyce Codd Normal Form)是由Boyce和Codd联合提出的,比3NF更进一步。通常认为BCNF是修正的第三范式。 由BCNF的定义可以看到,每个BCNF的关系模式都具有如下3个性质: (1)所有非主属性都完全函数依赖于每个候选码。 (2)所有主属性都完全函数依赖于每个不包含它的候选码。 (3)没有任何属性完全函数依赖于非码的任何一组属性。 5. 多值依赖与第四范式(4NF) 图4-6 课程-教师-参考书之间的关系 关系数据库设计理论 4.2 范式 关系模式Teach(C,T,B)
文档评论(0)