Windows Server数据库课件第06章 关系数据理论.pptVIP

An Introduction to Database System 公理系统—复习 1.范式及分类 2.逻辑蕴含 3.Armstrong公理系统 4.Armstrong公理系统的导出规则 5.XF+ 公理系统—复习 3.Armstrong公理系统 公理系统—复习 4.Armstrong公理系统的导出规则 第六章 关系数据理论 6.1 数据依赖 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 解：设X(0) =AB； 计算X(1) :找左部为AB子集的函数依赖， 于是： X(1) = X(0) ∪CD=ABCD。 因为X(0) ≠X(1)，并且X(1) ≠ U,所以计算X(2) 计算X(2): 找出左部为ABCD子集的函数依赖， 于是： X(2)=X(1)∪BCDE=ABCDE。 因为X(2) =U，算法终止。 所以(AB)F+ =ABCDE。 1.已知关系RU,F,其中U={A,B,C,D,E,F},F={A→C, BC→DE,D→A,F→B},则(A,B)关于函数依赖集F的 闭包是？ 2.已知关系RU,F,其中U={A,B,C,D,E,F}, F={AB→C,BC→AD,D→E,CF→B},则下列依赖蕴 含于F的有___. A. AB→C B. AB→D C. AB→E D. AB→F 6.3 数据依赖的公理系统 Armstrong公理的完备性及有效性说明: “蕴含” == “导出”等价的概念 F +==由F出发借助Armstrong公理导出的函数依赖的集合 6.3 数据依赖的公理系统 6.函数依赖集的等价 覆盖和等价的概念 定义6.14：设F和G是两个函数依赖集： (1)如果F+? G+，则称 G是F的一个覆盖， 或称 G覆盖F。 (2)如果F+?G+和 G+? F+同时成立,即 F+=G+ ， 则称G和F等价。 6.3 数据依赖的公理系统 6.函数依赖集的等价 引理6.3： F+ =G+ 的充分必要条件是F ?G+ 和G ?F+。 证: 必要性。 若：F+ =G+ 则： F? F+ ? G+ 和 G? G+ ?F+； 所以：F? G+ 和 G?F+ 是成立的。 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和F ’是否是最小依赖集： F={ Sno→Sdept, Sdept→Mname， (Sno,Cno)→Grade } F’={ Sno→Sdept，Sno→Mname， Sdept→Mname, (Sno,Cno)→Grade ， (Sno,Sdept)→Sdept} 6.3 数据依赖的公理系统 8.求F最小依赖集Fm的过程 6.3 数据依赖的公理系统 8.求F最小依赖集Fm的过程 6.3 数据依赖的公理系统 例： 确定F的最小依赖集。 6.3 数据依赖的公理系统 例：F={A→B，B→A，B→C，A→C，C→A}， 确定F的最小依赖集。 6.3 数据依赖的公理系统 例：F={A→B，B→A，B→C，A→C，C→A}， 确定F的最小依赖集。 6.3 数据依赖的公理系统 例：F={A→B，B→A，B→C，A→C，C→A}， 确定F的最小依赖集。 Fm1={A→B,B→C,C→A} 6.3 数据依赖的公理系统 例：F={A→B，B→A，B→C，A→C，C→A}， 确定F的最小依赖集。 Fm1={A→B,B→C,C→A} ?