函数依赖及范式.docVIP

函数依赖及范式 函数依赖基本概念： 函数依赖：FD(function dependency)，设有关系模式R(U)，X，Y是U的子集， r是R的任一具体关系，如果对r的任意两个元组t1,t2,由t1[X]=t2[X]导致t1[Y]=t2[Y], 则称X函数决定Y,或Y函数依赖于X，记为XY。XY为模式R的一个函数依赖。 部分函数依赖：即局部依赖，对于一个函数依赖WA，如果存在XW(X包含于W)有XA成立， 那么称WA是局部依赖，否则称WA为完全函数依赖。 传递依赖：在关系模式中，如果YX，XA，且XY（X不决定Y）， AX（A不属于X）,那么称YA是传递依赖。 函数依赖集F的闭包F+: 被逻辑蕴涵的函数依赖的全体构成的集合，称为F的闭包(closure),记为F+。 最小依赖集：如果函数集合F满足以下三个条件(1)F中每个函数依赖的右部都是单属性； (2)F中的任一函数依赖XA，其F-{XA}与F是不等价的；(3)F中的任一函数依赖XA，Z为X的子集，（F-{XA}）{Z→A}与F不等价。则称F为最小函数依赖集合，记为Fmin。 函数依赖的公理系统： ??? 设有关系模式R(U)，X，Y，Z，W均是U的子集，F是R上只涉及到U中属性的函数依赖集，推理规则如下： 自反律：如果YXU,则XY在R上成立。 增广律：如果XY为F所蕴涵，ZU，则XZYZ在R上成立。(XZ表示XZ，下同) 传递律：如果XY和YZ在R上成立，则XZ在R上成立。以上三条为Armstrong公理系统 合并律：如果XY和XZ成立，那么XYZ成立。 伪传递律：如果XY和WYZ成立，那么WXZ成立。 分解律：如果XY和ZY成立，那么XZ成立。这三条为引理??? 注意： 函数依赖推理规则系统(自反律、增广律和传递律)是完备的。 由自反律所得到的函数依赖均是平凡的函数依赖。 四种范式的含义： 如果某个数据库模式都是第一范式的，则称该数据库模式是属于第一范式的数据库模式。 如果关系模式R为第一范式，并且R中每一个非主属性完全函数依赖于R的某个候选键，则称为第二范式模式。 如果关系模式R是第二范式，且每个非主属性都不传递依赖于R的候选键，则称R为第三范式模式。 若关系模式R是第一范式，且每个属性都不传递依赖于R的候选键。这种关系模式就是BCNF模式。 四种范式，可以发现它们之间存在如下关系：??????? BCNF3NF2NF1NF 1NF 消去非主属性对键的部分函数依赖 2NF 消去非主属性对键的传递函数依赖 3NF 消去主属性对键的传递函数依赖 BCNF 　范式举例 1. 设有关系模型R（A，B，C，D，E），F是R上成立的函数依赖集，F={ABCDE，BCD，DE}， 试问R达到第几范式，并说明理由。 　 ??? R属于1NF。 由于候选键是ABC。而非主属性D和E部分函数依赖于候选键ABC，因此R不是2NF，只能是1NF。 　 2. 数据模型分析，关系模型R（U，F）U=ABCDEG，F={ADE，ACE，CBG，BCDAG，BDA，ABG,A→C}（1） 求此模型的最小函数依赖集。（2） 求出关系模式的候选码。（3） 此关系模型最高属于哪级范式。（4） 将此模型按照模式分解的要求分解为3NF。 依照题意，得出：（1）通过最小集求法: 分解函数依赖的右部， F={ADE，ACE，BCG，BCDA，BCDG，BDA，ABG，AC} 消去左边的冗余属性：F={AE，AE，BCG，BDA，BCG，BDA，ABG，AC} 消去冗余的函数依赖：Fm={AE，BCG，BDA，AC} ????????????????? 也可以为：? Fm={AE，ABG，BDA，AC}（2）候选码：BD（3）R中每一个非主属性完全函数依赖于R的候选键BD；但C,G，E都传递依赖于R的候选键BD，也就是说，R满足2NF的要求，而不满足3NF的要求。此关系模型最高属于2NF。（4）依据算法4.4????? R1：U1=ABD F1={BDA} ????? R2：U2=BCG F2={BCG} ????? R3：U3=ACE F3={AC，AE}　 模式分解 模式分解的三个准则： 分解具有“无损连接性” 分解要“保持函数依赖” 分解既要“保持函数依赖”，又要具有“无损连接性” 　模式分解举例 模式分解 试分析下列分解是否具有无损联接和保持函数依赖的特点： 设R(ABC)，F1={AB} 在R上成立，ρ1={AB,AC}。首先，检查是否具有无损联接特点：第1种解法--算法4.2: 　 A B C AB a1 a2 b13 AC a1 b22 a3 A B C a1 a2 b1