第06章 练习.ppt

石家庄经济学院　　　张有华 6.关系数据理论 6.1 关系数据库设计中存在的问题 6.2 函数依赖 6.3 范式与规范化 6.4 多值依赖 6.5 模式分解中的问题 6.6 公理系统 2NF 快速热身 关系模式R（A，B，C，D），码为AB，给出它的一个函数依赖集，使得R属于1NF而不属于2NF。 3NF 快速热身 关系模式R（A，B，C，D），码为AB，给出它的一个函数依赖集，使得R属于2NF而不属于3NF。 范式之间关系 3NF ? 2NF 范式之间关系 BCNF ? 3NF 引理6.1： X?A1A2…AK成立的充分(←)必要(→)条件是： X?Ai成立(i=1,2,…,k) Armstrong公理有效性及完备性 Armstrong公理的有效性及完备性 有效性： 由F出发，用Armstrong公理推导出的每一个函数依赖均在F+中。 完备性： F+中的每一个FD均可以由F出发根据Armstrong公理导出。 Armstrong公理 Armstrong公理有效性证明：由定义6.12可证。 Armstrong公理完备性的证明：见P184（Line10-13）。 Armstrong公理完备性及有效性说明了“导出”和“蕴含”是两个完全等价的概念。于是F+可以说是由F出发借助Armstrong公理导出的函数依赖的集合。 求解属性集X闭包的示例 求解属性集X闭包的示例 求解属性集X闭包的示例 如何判断关系模式满足范式级别 问题：给定关系模式和函数依赖集，如何判断该关系模式达到的最高范式 求解的一般步骤如下： 1 求出给定关系的候选键(可能不止一个) 2 根据候选键，写出主属性和非主属性 3 判断是否满足第一范式 4 判断是否满足第二范式(非主属性对键的部分函数依赖) 5 判断是否满足第三范式(非主属性对键的传递函数依赖) 6 判断是否满足BCNF范式(主属性对键的传递函数依赖) 如何判断关系模式满足范式级别 如何判断关系模式满足范式级别 例6: 已知关系R(U,F),其中U=(A,B,C,D,E,G),F={A?B, C?DG, AC?E, D?G}，该关系的最高范式是什么？ 函数依赖集的等价性 定义6.14 若F+= G+，则称F与G等价 引理6.3 F+= G+的充分必要条件是： F? G+，和 G ? F+。 证明： (1)必要性：? (1)充分性： ? 求解函数依赖集F的最小覆盖覆盖FC 算法* —求解函数依赖集F的正则覆盖FC 求解函数依赖集最小覆盖示例 示例8： F = {A?B，B?A，A?C，B?C}，求FC。 检查A?B，G=F?{A?B}={B?A，A?C，B?C} ={A，C}，B?{A，C} 检查A?C，G=F?{A?C}={A?B，B?A，B?C} ={A，B，C}，B?{A，B，C} 所以从F中删除A?C， FC = {A?B，B?A，B?C} 或者 FC = {A?B，B?A，A?C} 求解函数依赖集最小覆盖示例 示例9 F = {C?A，A?G，CG?B，B?A}，求FC。 F是无冗余的。 判断CG?B， = = {G} B? = = {C，A，G，B} B ? ，以C代替CG 最后，FC = {C?A，A?G，C?B，B?A} 关系模式的分解 关系模式的分解是否具有无损联接和保持函数依赖的若干实例。 ①设 R(ABC),F1={A→B} 在R成立,p1={AB,AC}, 则p1是无损联接且保持FD集的分解。 ②设 R(ABC),F2={A→C,B→C}在R上成立,p2={AB，AC}则 p2是无损联接分解,但不保持FD集,因为B→C丢失了。 ③设 R(ABC),F3={A→B} 在R 成立,p3={AB,BC}则p3是损失联接但保持FD集的分解。 ④设 R(ABC),F4={A→B,B→C}在 R 上成立,p4={AC,BC} 则 p4是损失联接且不保持FD集的分解。 ?例11：关系模式R(U,F)，其中U={C,T,H,R,S,G}，F={CS→G,C→T,TH→R,HR→C,HS→R}，将其分解成3NF并保持函数依赖。 例12：R(U,F),U={S#,SN,P,C,S,Z}, F={A→C,B→DS#→Z,(P,C,S)→Z,Z→P,Z→C} 解： 例13： R(U,F)，U={A,B,C,D},F={A→C,B→D} 解： 模式分解常用的几个算法 例15：关系模式R(U,F)，其中：U={A,B,C,D,E}，F={A→C,C→