考研数据库讲解.pptVIP

第5章 关系数据库理论 5.1 函数依赖 5.2 函数依赖的公理系统 5.3 关系模式规范化 5.1 函数依赖 定义5.1 设R(U)是属性集U上的一个关系模式， 若对R(U)中任意一个可能关系r， r中不可能有两个元组在X的属性分量值相等， 而在Y的那些属性分量值不相等， 则称“X函数决定Y”， 或“Y函数依赖于X”， 记作X→Y。 X称为决定因子 非平凡函数依赖和平凡函数依赖 2. 完全函数依赖和部分函数依赖 3． 传递函数依赖 逻辑蕴涵X→Y 定义5.6 设关系模式R(U)， X， YU ， F是关于R的函数依赖集合。 又设X→Y为R中的一个函数依赖， 就说F逻辑蕴涵X→Y， 或称X→Y可从F推导出来的， 或称X→Y逻辑蕴涵于F。 函数依赖集合F的闭包 定义5.7 所有被F逻辑蕴涵的那些函数依赖组成的集合称为F的闭包， 记为F+。 属性集X关于函数依赖集F的闭包。 定义5.8 设关系模式R(U)， U={A1, A2, …, An}， Ai∈U， XU， X+={Ai|X→Ai能由F根据Armstrong公理系统导出且Ai∈U}， 则称 X+是属性集合X关于函数依赖集F的闭包。 算法5.1 计算属性集X的闭包X+。 输入： 属性集X和函数依赖集F。 输出： 关于F的X的闭包X+。 方法： ① 令X(0)=X， i=0; ② 令X(i+1)=X(i)∪{A|VX(i)， V→W∈F, A∈W}; ③ 若已经没有V→W∈F， 能使X(i+1)≠X(i)， 或X(i+1)等于全体属性， 则X+=X(i),输出X+， 算法结束； 否则， 令i=i+1， 转去执行第(2)步。 Armstrong公理系统的三条推理规则 （1） 自反律（Reflexivity）: 若Y X U， 则F蕴涵X→Y。 （2） 增广律（augmentation）: 若F蕴涵X→Y， Z U， 则F蕴涵XZ→YZ。 （3） 传递律（transitivity）: 若F蕴涵X→Y和Y→Z， 则F蕴涵X→Z。 5.2 函数依赖的公理系统 Arestrong公理的三个推论 由Arestrong公理可得到下面三个推论： (1) 合并规则: 若X→Y， Y→Z， 则X→YZ。 (2) 分解规则: 若X→Y且ZY， 则X→Z。 (3) 伪传递规则: 若X→Y， YZ→W， 则XZ→W。 函数依赖集F的极小（最小）函数依赖集（Fmin） 定义5.10 如果函数依赖集F满足下列三个条件： (1) F中任一函数依赖的右部仅含有一个属性； (2) F中不存在这样的函数依赖X→A， 使得F与F-{X→A}等价； (3) F中不存在这样的函数依赖X→A： X包括真子集Z， 使得(F-{X→A})∪{Z→A}与F等价。 称此函数依赖集为F的极小（最小）函数依赖集， 记作Fmin。 5.3 关系模式规范化 第一范式（1NF） 设R是一个关系模式。 如果R的每个属性的值域都是不可分的简单数据项（原子）的集合。 第二范式（2NF） 若关系模式R是1NF， 而且每一个非主属性都完全函数依赖于R的候选键， 则R称为第二范式， 记作R∈2NF。 第三范式（3NF） 如果关系模式R是2NF， 而且它的任何一个非主属性都不传递地依赖于任何候选键， 则R称为第三范式， 记作R∈3NF Boyce-Codd范式（BCNF） 设关系模式R是1NF。 如果对于R的每个函数依赖X→Y， X必为候选键， 则R是BCNF。 附加内容--候选键的求解理论 给定R（A1，A2，A3…AM）和函数依赖集Fmin， 则属性分为四类： L类：仅出现在F中左部的属性； R类：仅出现在F中右部的属性； N类：在F的左部、右部均不出现的属性； LR类：在F的左部、右部均出现的属性； 候选键的求解理论 定理1：对给定的R（U，Fmin），若X U是L类属性， 则X必为R的任一候选键的成员。 若X+包含了R的全部属性，则X为R的唯一候选键。 例：R（A，B，C，D）， Fmin={D-B, B - D, AD - B, AC - D}, A,C是L类属性,是候选键的成员， （AC）+=A