第9章节_关系数据理论.ppt

9.1 基本概念 函数依赖 术语和符号 为什么要讨论函数依赖？ 模式分解 函数依赖 例：对仓库关系 仓库(仓库号,城市,面积) 有函数依赖： 函数依赖的严格形式化定义 定义3.1：设有关系模式R(A1,A2,…,An)，X和Y均为{A1,A2,…,An}的子集，r是R的任一具体关系，t1、t2是r中的任意两个元组；如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y]，则称X函数决定Y，或Y函数依赖于X，记为X→Y。 术语和符号(1) 术语和符号(5) 术语和符号(6) 术语和符号(8) 设有库存关系： 数据冗余问题 数据更新问题 数据插入问题 数据删除问题 为什么会出现以上种种操作异常现象呢？ 因为这个关系模式没有设计好，在它的某些属性之间存在着“不良”的函数依赖。如何改造这个关系模式？克服以上种种问题，就是我们这一章要解决的根本问题，也是我们要讨论函数依赖的根本原因。 模式分解 解决各种操作异常现象的方法就是进行模式分解，即把一个关系模式分解成两个或多个关系模式，在分解的过程中消除那些“不良”的函数依赖，从而获得好的关系模式。 分解举例 　　仓库（仓库号，地点） 　　设备（设备号，设备名） 　　库存（仓库号，设备号，库存数量） 注意： 模式分解不能破坏原来的语义； 模式分解必须遵守： 无损连接分解； 保持函数依赖分解。 函数依赖的公理系统 Amstrong公理的内容及正确性 Amstrong公理的推论 逻辑蕴涵和闭包 公理的完备性 闭包的计算 函数依赖集的等价和最小化 Amstrong公理： 设有关系模式R(U,F)，X、Y、Z均为U的子集，推理规则如下： ①自反律：如果Y?X，则X→Y； ②增广律：如果X→Y，则XZ→YZ； ③传递律：如果X→Y、Y→Z，则X→Z 。 Amstrong公理的推论： 推论①-合并规则：如果X→Y、X→Z，则X→YZ； 推论②-分解规则：如果X→YZ，则X→Y、X→Z； 推论③-伪传递规则：如果X→Y、YW→Z，则XW→Z。 逻辑蕴涵和闭包 逻辑蕴涵 闭包 属性集闭包 计算属性集闭包举例 属性集闭包的计算 算法9.1： 例：设有R（U,F），U={A,B,C,D,E}，F={AB→C,B →D,C →E,EC →B,AC →B} 求 例2： 已知关系模式RU，F，其中U={A，B，C，D}；F={A→B，B→C，D→B}。求AF+ 、（AD）F+ 及（BD） F+ ； 解： 设X（0）=A； (1) X（1）=A∪B=AB； (2) X（0）≠ X（1） X（2）=X（1）∪C=ABC； (3) X（3）= X（2） ，算法终止； ?AF+ =ABC， （AD）F+ = ABCD ，（BD） F+ =BCD 例3：已知关系模式RU，F，其中U={A，B，C，D，E，F}； F={AB→C,BC →AD,D →E,CF →B}。求（AB）F+ 。 解 设X（0）=AB； (1) X（1）=AB∪C=ABC ； (2) X（0）≠ X（1） X（2）=X（1）∪D=ABCD ； (3) X（3）=ABCD ∪E=ABCDE ； (3) X（4）= X（3） ，算法终止 ?（AB）F+ =ABCDE。 例4：已知关系模式R(A,B,C,D)，F={AB→C,C →D,D →A} 求：蕴含于给定函数的所有非平凡函数依赖； (1)求关系R的所有单属性的闭包； AF+ = A ， BF+ = B ， CF+ = ACD， DF+ = AD (2)求关系R的所有双属性的闭包； （AB）F+ =ABCD， （AC）F+ =ACD， （AD）F+ =AD， （BC）F+ =ABCD， （ BD ）F+ =ABCD，（CD）F+ =ACD (3)求关系R的所有三属性的闭包； （ABC）F+ =ABCD， （ABD ）F+ =ABCD （ACD）F+ =ACD， （BCD）F+ =ABCD (4)求关系R的所有四属性的闭包； （ABCD）F+ =ABCD 函数依赖集的等价和最小化 F+=G+ ? F?G+并且G ? F+ 为判定两个函数依赖集是否等价提供了简便方法： 可以首先检查F中的每个函数依赖X→Y是否属于G+（即计算Y是否属于XG+）？如果对F中的每个函数依赖都有X→Y?G+，则有F?G+ ；然后用同样的方法再检查G?F+是否成立？如果它们都成立则F和G等价。 研究函数依赖集等价的目的 研究函数依赖集等价的目的是为了对指定函数依赖集找出它的最小函数依赖等价集，即找出包含函数依赖尽可能少、甚至最少的函数