第6章 关系数据理论.pptVIP

欲构造关系r，使得X?Y在r上不成立，最简单的情形是：rXYZ1110表示相等表示不相等但这样构造的r显然不合要求，因为r不一定满足F中的所有函数依赖。属性集的闭包在Armstrong公理可推导的意义下具有封闭性，我们这里要讨论的就是Armstrong公理的完备性。所以构造r时利用X的闭包更为合理：X+FX+FU–关系r11…111…111…100…0关系r只有两个元组，在X的闭包上分量值相等第62页，共109页，星期日，2025年，2月5日证明（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+FW11…111…1X+FX+FU–关系r11…100…0W的值在仅有的两个元组上相等，因此必有若t[V]=s[V]则t[W]=s[W]，所以此时V?W在r上成立。假设函数依赖X?Y不能由Armstrong公理推出第63页，共109页，星期日，2025年，2月5日第二种情形：V?X+F此时存在属性A?V，但A?X+FX+FX+FU–关系r1110VAr中仅有的两个元组在属性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+FU–，故对r中仅有的两元组t、s，有t[Y’]?s[Y’]，进而有t[Y]?s[Y]。，所以有t[X]=s[X]，因此得X?Y在r上不成立。即X?Y必不为F所蕴涵。X+F但由于X?证毕第64页，共109页，星期日，2025年，2月5日四、函数依赖集的等价和极小依赖集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。第65页，共109页，星期日，2025年，2月5日若F?G+，则?X+FX+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等价。第66页，共109页，星期日，2025年，2月5日证明；设F中的函数依赖由两部分构成：F=F1?F2右边是单属性的函数依赖子集右边是一个以上属性的函数依赖子集设F2中的函数依赖形如X?A1A