数据库原理及应用 关系数据理论.pptVIP

An Introduction to Database System 学习目标 数据依赖的Armstrong公理系统 模式分解 无损连接 保持函数依赖 5.3 数据依赖的公理系统 逻辑蕴含：对满足一组函数依赖 F 的关系模式R U,F，其任何一个关系r，若函数依赖X→Y都成立, 则称F逻辑蕴含X→Y。 Armstrong公理系统:是一套推理规则，是模式分解算法的理论基础。 Armstrong公理系统用于求给定关系模式的码或从一组函数依赖求得蕴含的函数依赖。 Al自反律(Reflexivity)：若Y?X?U，则X→Y为F所蕴含。 证: 设Y?X ?U ，对R U,F 的任一关系r中的任意两个元组t,s，若t[X]=s[X]，由于Y?X，有t[y]=s[y]，所以X→Y成立。 A2增广律(Augmentation)：若X→Y为F所蕴含，且Z?U，则XZ→YZ为F所蕴含。 证：设X→Y为F所蕴含，且Z?U。设RU,F 的任一关系r中任意的两个元组t,s，若t[XZ]=s[XZ]，则有t[X]=s[X]和t[Z]=s[Z]；由X→Y，于是有t[Y]=s[Y]，所以t[YZ]=s[YZ]，所以XZ→YZ为F所蕴含。 A3传递律(Transitivity)：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。 证：设X→Y及Y→Z为F所蕴含。对RU,F 的任一关系 r中的任意两个元组 t,s，若t[X]=s[X]，由于X→Y，有 t[Y]=s[Y]；再由Y→Z，有t[Z]=s[Z]，所以X→Z为F所蕴含。 根据A1、A2、A3三条推理规则可以得到如下推理规则： 合并规则：由X→Y，X→Z，有X→YZ。 (A2, A3) 伪传递规则：由X→Y，WY→Z，有XW→Z。(A2, A3) 分解规则：由X→Y及 Z?Y，有X→Z。(A1, A3) 根据合并规则和分解规则，可得如下引理： X→A1 A2…Ak成立的充分必要条件是X→Ai成立(i=l,2,…,k)。 闭包 函数依赖集F的闭包：在关系模式RU,F中为F所逻辑蕴含的函数依赖的全体叫作F的闭包，记为F+。 属性集X关于函数依赖集F的闭包：设F为属性集U上的一组函数依赖，X ?U，XF+ ={ A|X→A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包。 引理：设F为属性集U上的一组函数依赖，X，Y ? U，X→Y能由F 根据Armstrong公理导出的充分必要条件是Y ?XF+。 闭包的用途：将判定X→Y是否能由F根据Armstrong公理导出的问题，就转化为求出XF+ ，判定Y是否为XF+的子集的问题。 求属性集X(X?U)关于U上函数依赖集F 的闭包XF+的算法： 输入：X，F 输出：XF+ 令X (0) =X，i=0。 求B，B = { A |(?V)(?W)(V→W?F∧V ?X (i) ∧A?W)}。 X (i+1) =B∪X (i) 。 判断X (i+1) = X (i)吗? 若相等或X (i) =U , 则X (i)就是XF+ , 算法终止；否则i=i+1，返回第2步。 [例1]已知关系模式RU,F，其中U={A,B,C,D,E}，F={AB→C,B→D,C→E,EC→B,AC→B}，求(AB)F+。 设X (0) =AB； 计算X (1) : 逐一的扫描F集合中各个函数依赖，找左部为A、B或AB的函数依赖，有AB→C，B→D，于是X (1) =AB∪CD=ABCD。 因为X (0) ≠X (1) ，所以再找出左部为ABCD子集的那些函数依赖，又得到AB→C，B→D，C→E，AC→B，于是X (2) =X (1) ∪BCDE=ABCDE。 因为X (2) =U，算法终止。 所以(AB)F+ =ABCDE。 根据闭包可以求关系模式的候选码：如已知关系模式R(ABCDEG)上FD集F={D→G,C→A,CD→E,A→B}，S(ABCD)上FD集F={B→C, AC→B}，利用闭包概念可以分别求它们的候选码。 Armstrong公理系统的有效性与完备性 有效性(正确性)：由F出发根据Armstrong公理推导出的每个函数依赖一定在F+中。 完备性：F+中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来。 函数依赖集的等价 定义：若G+=F+，则函数依赖集F覆盖G(F是G的覆盖或G是F的覆盖)，或F与G等价。 充要条件：F+ =G+ 的充分必要条件是F ?G+ 和G ?F+。 证: 必要性显然，只证充分性。 若F?G+ ，则XF+ ?XG++ 。 任取X→Y?F+ ， 则有Y?XF+ ?XG+