第5章 关系数据理论第5章关系数据理论第5章 关系数据理论第5章 关系数据理论.ppt

证明 （1）先证F中的函数依赖和X的闭包有下述关系： 若V?W是F中的函数依赖，且 V? X + F ，则W ? X + F 根据前面引理易证 （2）再证前面构造的关系 r 是 RU, F的关系，即满足F中的全部函数依赖 设V?W 是F中的任一函数依赖， 要证V?W在r上成立。 分两种情情形： 第一种情形：V? X + F 根据第（1）步结论，有W ? X + F W 11…1 11…1 X + F X + F U– 关系r 11…1 00…0 W的值在仅有的两个元组上相等，因此必有若t[V]=s[V]则t[W]=s[W]， 所以此时V?W在r上成立。 假设函数依赖 X?Y不能由Armstrong公理推出 第二种情形：V? X + F 此时存在属性A?V，但A? X + F X + F X + F U– 关系r 1 1 1 0 V A r中仅有的两个元组在属性A上的值不等， 所以在r中不存在两个元组t、s满足t[V]=s[V]， 因此“若t[V]=s[V]，则t[W]=s[W]”在关系r上恒成立，故V?W在r上成立。 综上可知F的任一函数依赖在r上成立，即r是 RU, F的关系 （3）最后证明函数依赖X?Y在r上不成立 由假设， X?Y不能由Armstrong公理推出，根据引理有Y? X + F 所以有Y的子集Y’满足Y’? X + F U– ，故对r中仅有的两元组t、s，有 t[Y’]?s[Y’]，进而有t[Y]?s[Y]。 ，所以有t[X]=s[X]， 因此得X?Y在r上不成立。即X?Y必不为F所蕴涵。 X + F 但由于X? 证毕 四、函数依赖集的等价和极小依赖集 1、函数依赖集的等价（覆盖）： 定义：设F和G都是关系模式R上的两个函数依赖集，如果F+ = G+，则称F与G等价（或称F覆盖G，或G覆盖F）。 等价具有自反性、对称性、传递性，即是一等价关系。 定理：F+ = G+ 的充要条件是 F?G+和 G ?F+ 。 证明：必要性显然。因为F?F+、G ?G+成立， 若 F+ = G+，则必有F?G+、G ?F+成立。 充分性：要证当F?G+、G ?F+时，有F+ = G+成立。 先证对任意的X?Y?F+，有X?Y?G+。这样就有F+ ?G+。 即F可由G推出 G也可由F推出 因为X?Y?F+，所以Y? X + F 。 若F?G+，则 ? X + F X + G+ X + G+ 所以Y? ，从而得X?Y?（G+）+=G+。 同理可证 G+ ?F+，所以 F+ = G+。 证毕 对本定理也可先证命题：（1）若F ? G，则F+ ? G+； （2）F+ =（F+）+。 然后有：F ? G+ ? F+ ?（G+）+ = G+； G ? F+ ? G+ ?（F+）+ = F+； F+ = G+ 于是证得F+ ?G+。 2、极小（最小）函数依赖集 根据分解与合并规则，可以证明下述引理： 引理：每个函数依赖集F都与一个右部只有单个属性的函数 依赖所构成的函数依赖集G等价。 证明；设F中的函数依赖由两部分构成： F = F1 ? F2 右边是单属性的函数依赖子集 右边是一个以上属性的函数依赖子集 设F2中的函数依赖形如 X?A1A2…Ak，k?2。 令F3是将F2中所有函数依赖分解成形如 X?Ai 的函数依赖全体， G = F1 ? F3，要证明F与G等价 对G中任一个形如 X?Ai ?F3，由于F中存在X?A1A2…Ak，i?k，根据分解规则可推出 X?Ai，所以 X?Ai?F+，而F1 ? F ? F+。 故G?F+。 根据合并规则，同理可证 F?G+。 根据前面的引理，有F与G等价。 证毕 定义：若函数依赖集F满足下列条件，则称F为极小（函数） 依赖集，亦称最小（函数）依赖集、最小覆盖： （1）F的每个函数依赖的右部仅含有一个属性； （2）对F中的任一个函数依赖X?A， 都有F与F?{X?A}不等价； （3）对F中的任一个函数依赖X?A， 都有F与（F?{X?A}）? {Z?A}不等价， 其中Z是X的任一真子集。 不存在多余的函数依赖 右部都是单属性 每个函数依赖的左部 没有多余的属性 例