数据库系统-第7单元 关系数据理论.pptVIP

7.3 数据依赖的公理系统 Armstrong公理系统 对于关系模式R U，F ，有以下的推理规则： A1.自反律：若Y ? X ? U，则X →Y为F所蕴含。 A2.增广律：若X→Y为F所蕴含，且Z ? U，则XZ→YZ为F所蕴含。 A3.传递律：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。 导出规则 1. 根据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） 2. 根据合并规则和分解规则，可得： 引理1：X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l,2,…,k）。 7.3 数据依赖的公理系统 函数依赖的闭包 定义2：在关系模式RU，F中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F +。 （函数依赖的闭包） 定义3：设F为属性集U上的一组函数依赖，X ?U， XF+ ={ A | X→A 能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包。（属性集的闭包） 7.3 数据依赖的公理系统 引理2 设F为属性集U上的一组函数依赖，X，Y ? U，X→Y能由F 根据Armstrong公理导出的充分必要条件是 Y ?XF+。 用途 将判定X→Y是否能由 F 根据Armstrong公理导出的问题，转化为求出XF+ 、判定Y是否为XF+的子集的问题。 7.3 数据依赖的公理系统 [例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； （1） X（1）= AB∪CD=ABCD。 （2） X（2）= X（1）∪E=ABCDE。 （3） X（2）= U，算法终止 ? （AB）F+ =ABCDE。 （AB为候选码） 7.3 数据依赖的公理系统 关系数据理论 四、关系模式的分解 7.4 关系模式的分解 分解的目的 使模式更加规范化，减少乃至消除数据冗余和更新异常。 分析：sdc(Sno,Sname, dno, dmanager,cname,grade) 分解的原则 无损连接 保持依赖 第七单元 关系数据理论 7.4 关系模式的分解 具有无损连接的分解 关系模式RU,F的一个分解 ρ={ R1U1,F1,R2U2,F2, …,RnUn,Fn} 若R与R1、R2、…、Rn自然连接的结果相等，则称关系模式R的这个分解ρ具有无损连接性。 反映了模式分解的数据等价原则，保证不丢失信息。 不一定能解决操作异常和数据冗余等问题。 判断分解是否具有无损连接性的方法 若关系模式分解为两个子模式R1和R2，该分解具有无损连接性的充分必要条件是： （1）（R1 ∩ R2）→（R1 － R2）∈ F+ 或 （2）（R1 ∩ R2）→（R2 － R1）∈ F+ 7.4 关系模式的分解 保持函数依赖的分解 设关系模式RU,F被分解为若干个关系模式： ρ = { R1U1,F1，R2U2,F2，…，RnUn,Fn } （其中U = U1∪U2∪…∪Un，且不存在 Ui ? Uj，Fi 为 F 在 Ui 上的投影），若 F 所逻辑蕴含的函数依赖一定也由分解得到的某个关系模式中的函数依赖 Fi 所逻辑蕴含，则称关系模式 R 的这个分解ρ是保持函数依赖的。 7.4 关系模式的分解 保持函数依赖反映了分解的依赖等价原则。依赖等价保证了分解后的模式与原有的模式在语义上的一致性。 对关系模式的分解，使之属于第2、第3范式，只要采用规范的方法，既能实现无损连接，又能保持函数依赖。 若要分解后的模式属于BC范式，即使采用规范的方法，也只能保证无损连接，而不能绝对保持依赖。 ?保留适当冗余，达到以空间换时间的目的，也是模式分解的一个重要原则。 7.4 关系模式的分解 模式分解的两个规则（分解为第2、第3范式） 1）公共属性共享 保留公共属性，进行自然连接是分解后的模式实现无损连接的必要条件。 sdc(Sno, sname,dno, dmanager,cname,grade) 若存在部分依赖，决定