函数依赖理论第二讲.pptVIP

函数依赖理论与范式 郑子仪 主要内容 无关属性、正则覆盖、无损连接分解、有损连接分解 第一范式(1NF)、第二范式(2NF)、Boyce-Codd范式(BCNF)、第三范式(3NF)、 无关属性 给定函数依赖集F及?→??F，如果去除?或?的一个属性不会改变F+，则称该属性是无关的。 给定函数依赖集F及?→??F，若A??，且F逻辑蕴涵(F-{?→?})?{(?-A)? ?}，则属性A在?中是无关的（左无关）。 给定函数依赖集F及?→??F，若A??，且(F-{???})?{(??(?-A)}逻辑蕴涵F，则属性A在?中是无关的（右无关）。 无关属性检测算法 设r(R)为关系模式，F是函数依赖集，则检测???上的属性A左无关或右无关的算法分别如图 (a)或(b)所示。 if A?? ? :＝? -{A}; 计算F下?的闭包?+; if ???+ A在?中是无关的; if A?? F := (F-{???}) ? {(?? (?-A)}; 计算F下?的闭包?+; if A??+ A在?中是无关的; (a) (b) 图5-9 无关属性检测算法 无关属性检测举例 设F＝{AB→CD, A→E, E→C}，证明C在AB→CD中为无关属性。 证明：由于C是AB→CD中的右边属性，依图 (b)的算法： 计算F：F={AB→D, A→E, E→C}； 计算F下(AB)+：(AB)+=ABCDE； 判断C是否属于(AB)+：C?ABCDE。 因此，C是AB→CD中的无关属性。证毕。 正则覆盖定义和计算方法 正则覆盖(canonical cover)Fc是一个依赖集，使得F逻辑蕴涵Fc中的所有依赖，Fc逻辑蕴涵F中的所有依赖，而且必须具有下列特性： Fc中的任何函数依赖都不包含无关属性； Fc中函数依赖的左半部都是唯一的，即Fc中不存在两个依赖?1→?1和?2→?2，且?1＝?2。 根据上述性质，计算F的正则覆盖Fc分为两个步骤： 合并函数依赖：将F中所有形如?1→?1、?1→?2的函数依赖合并为?1→?1?2，得到新函数依赖集F。 去除无关属性：对F中的每个函数依赖，依次判断是否包含无关属性。若发现无关属性，则用去除无关属性后的函数依赖代替F中的原函数依赖。 计算正则覆盖举例 考虑关系模式r(R)=r(A, B, C)和函数依赖集F={A→BC, B→C, A→B, AB→C}, 计算F的正则覆盖Fc。 第1步，合并函数依赖：将A→BC和A→B合并为A→BC。F ={A→BC, B→C, AB→C}。 第2步，去除无关属性：对于AB→C，根据图5-9(a)的算法可检测A是无关的。因此，去除无关属性A后，AB→C变为B→C，而B→C已在F中存在，则F={B→C, A→BC}。 对于B→C，由于其左右两边都为单属性，故不存在无关属性。 对于A→BC，根据图5-9(b)的算法可检测C是无关的。因此，去除无关属性C后，A→BC变为A→B，则F={B→C, A→B}。 F中的函数依赖左半部都是唯一的，且都不存在无关属性，因此Fc={B→C, A→B}。 无损连接分解 给定关系模式r(R)及函数依赖集F，若r(R)的任意一个满足函数依赖集F的关系实例r都有 =r，其中r1(R1)、r2(R2)分别为分解后的子模式，则称该分解对于F是无损连接的。 无损连接分解能够根据分解后的关系通过连接来还原原来的关系实例。 如何判定一分解是否是无损的？ 无损连接分解判断方法 给定关系模式r(R)及函数依赖集F，则将r(R)分解成r1(R1)、r2(R2)的分解是无损连接分解，当且仅当F+包含函数依赖R1?R2→R1或R1?R2→R2。 因此，当一个关系模式分解为两个关系模式时，该分解为无损连接分解的充要条件是两分解关系的公共属性包含r1(R1)的码或r2(R2)的码。 无损连接分解判断举例 假设关系模式r(R)=r(A, B, C, D, E), F ={A?BC, CD?E, B?D, E?A}，则可将r(R)进行两种不同的分解： 分解1：r1(R1)=r1(A, B, C)，r2(R2)=r2(A, D, E)； 分解2：r1(R1)=r1(A, B, C)，r2(R2)=r2(C, D, E)。 对于分解1，R1?R2＝A，且A?R1，故此分解是无损连接分解。 而对于分解2，R1?R2＝C，且C→R1、C→R2，故此分解不是无损连接分解。 保持依赖分解 关系数据库模式分解的另一个目标是保持依赖。 给定关系模式r(R)及函数依赖集F，r1(R1), r2(R2), ..., rn(Rn)为r(R)的