关系数据理论学习.pptVIP

An Introduction to Database System 复 习 1.两个概念 逻辑蕴含、函数依赖闭包 2.Armstrong公理系统及导出规则 自反律、增广律、传递律 合并规则、伪传递规则、分解规则 3.XF+的概念和计算方法 4.函数依赖集的等价 6.3 数据依赖的公理系统 引例：描述一个学校的数据库Student U、F ： U ＝{Sno, Sdept, Mname, Cno, Grade} 6.3 数据依赖的公理系统 7.最小依赖集： 定义6.15 如果函数依赖集F满足下列条件，则称F为一个极小函数依赖集，亦称为最小依赖集或最小覆盖。 F中任一函数依赖的右部仅含有一个属性。 F中不存在这样的函数依赖X→A，使得F与F– {X→A}等价。 F中不存在这样的函数依赖X→A，X有真子集Z使得 F–{X→A}∪{Z→A}与F等价。 6.3 数据依赖的公理系统 例：设关系模式SU,F中,U={ Sno,Sdept,Mname,Cno,Grade} 设： F={ Sno→Sdept,Sdept→Mname，(Sno,Cno)→Grade } F’={Sno→Sdept，Sno→Mname，Sdept→Mname, (Sno,Cno)→Grade ，(Sno,Sdept)→Sdept}， 验证：F是最小覆盖，而F ’不是。 因为：F’– {Sno→Mname}与F’等价； F’– {(Sno, Sdept)→Sdept}∪{Sno→Sdept}也与F’等价 。 F’– {(Sno, Sdept)→Sdept}也与F’等价； 6.3 数据依赖的公理系统 8.求F最小依赖集Fm的过程 6.3 数据依赖的公理系统 8.求F最小依赖集Fm的过程 6.3 数据依赖的公理系统 例：F={A→B，B→A，B→C，A→C，C→A}， 确定F的最小依赖集。 Fm1={A→B,B→C,C→A} ? Fm2={A→B,B→A,A→C,C→A} 6.3 数据依赖的公理系统 练习：设有关系模式RU,F，其中： U＝｛E,F,G,H｝ 函数依赖集F={E→G，G→E ，F→EG ，H→EG，FH→E}， 求F的最小依赖集 6.3 数据依赖的公理系统 练习：设有关系模式RU,F，其中： U＝｛E,F,G,H｝ 函数依赖集F={E→G，G→E ，F→EG ，H→EG，FH→E}， 求F的最小依赖集 6.3 数据依赖的公理系统 练习：F={AB→C，BC→D，ACD→B，D→EG，C→A,BE→C, CG→BD ,CE→AG}，计算F的等价的最小依赖集Fm。 第六章 关系数据理论 6.1 数据依赖 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 6.4 模式的分解 把低一级的关系模式分解为若干个高一级的关系模式的方法并不是唯一的； 什么样的分解才有意义？ 只有能够保证分解后的关系模式与原关系模式等价，分解方法才有意义。 分解的目的 解决关系模式中可能存在的插入、删除和修改时的异常情况。 6.4 模式的分解 ────────────── Sno Sdept Mname ────────────── 0215121 CS 张三 0215122 IS 李斯 0215123 MA 王武 0215124 IS 李斯 0215125 CS 张三 ────────────── 6.4 模式的分解 6.4 模式的分解 (2) SL分解为下面二个关系模式： ρ ={ R1 {Sno, Sdept},{Sno→Sdept}， R2 {Sno, Mname}，{Sno → Mname}