第关系数据理论.ppt

An Introduction to Database System 复习：Armstrong公理系统 关系模式R U，F 来说有以下的推理规则： Al.自反律（Reflexivity）： 若Y ? X ? U，则X →Y为F所蕴含。 A2.增广律（Augmentation）：若X→Y为F所蕴含，且Z ? U，则XZ→YZ为F所蕴含。 A3.传递律（Transitivity）：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。 注意：由自反律所得到的函数依赖均是平凡的函数依赖，自反律的使用并不依赖于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.根据合并规则和分解规则，可得引理6.1 引理5.l X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l，2，…，k）。 复习（续）函数依赖闭包 定义6.l2 在关系模式RU，F中为F所逻辑蕴含 的函数依赖的全体叫作 F的闭包，记为F+。 定义6.13 设F为属性集U上的一组函数依赖，X ?U， XF+ ={ A|X→A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包 复习（续）两个重要的算法 求XF+算法 目的是求关系模式的码 求F极小函数依赖集算法 复习：练习 设有关系模式R（A,B,C,D），其上的函数依赖集： F＝{A→C, C→A, B→AC, D→AC } （1）求R的关键字。 （2）R为几范式。 （3）求F的最小等价依赖集Fm。 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 6.4 模式的分解 一、模式分解的概念 二、模式分解的特性 三、模式分解的算法 一、模式分解的概念 定义6.16 关系模式RU,F的一个分解： ρ={ R1U1,F1，R2U2,F2，…，RnUn,Fn} U=U1∪U2∪…∪Un，且不存在 Ui ? Uj，Fi 为 F在 Ui 上的投影 定义6.17 函数依赖集合{X→Y | X→Y ? F+∧XY ?Ui} 的一个覆盖 Fi 叫作 F 在属性 Ui 上的投影 例如： 关系模式：SL(U,F) U={SNO,SDEPT,SLOC} F={SNO → SDEPT,SDEPT → SLOC} 一个分解：ρ={SL1(U1,F1),SL2(U2,F2)} U1={SNO,SDEPT} F1={SNO → SDEPT} U2={SDEPT,SLOC} F2={SDEPT → SLOC} 二、模式分解的特性 例: SL（Sno， Sdept， Sloc） F={ Sno→Sdept, Sdept→Sloc} SL∈2NF 存在插入异常、删除异常、冗余度大和修改复杂等问题 分解方法可以有多种 模式的分解（续） SL ────────────────── Sno Sdept Sloc ────────────────── 95001 CS A 95002 IS B 95003 MA C 95004 IS B 95005 PH B ────────────────── 模式的分解（续） 1. SL分解为下面三个关系模式： SN(Sno) SD(Sdept) SO(Sloc) 分解后的关系为： SN ────── SD ────── SO ────── Sno Sdept Sloc ────── ────── ────── 950