第六章关系数据库—数据依赖和规范化解析.ppt

An Introduction to Database System 函数依赖集等价的充要条件 引理6.3 F+ = G+ 的充分必要条件是 F ? G+ ，和G ? F+ 证: 充分性显然，只证必要性。 （1）若F?G+ ，则XF+ ? XG++ 。 （2）任取X→Y?F+ 则有 Y ? XF+ ? XG++ 。 所以X→Y ? (G+）+= G+。即F+ ? G+。 （3）同理可证G+ ? F+ ，所以F+ = G+。 An Introduction to Database System 函数依赖集等价 要判定F ? G+，只须逐一对F中的函数依赖X→Y，考察 Y 是否属于XG++ 就行了。因此引理6.3 给出了判断两个函数依赖集等价的可行算法。 * 注意：由自反律所得到的函数依赖均是平凡的函数依赖，自反律的使用并不依赖于F * 注意 (XG+)+ != XG+ * F1={A-BD , C-D, B-C } F2={A-B, B-CD, C-D} 比较等价引入最小依赖集的概念 An Introduction to Database System 数据库系统原理 An Introduction to Database System 第六章 关系数据理论(3) An Introduction to Database System 第六章 关系数据理论 6.1 数据依赖 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 An Introduction to Database System 6.3 数据依赖的公理系统 逻辑蕴含 定义6.11 对于满足一组函数依赖 F 的系模式R U，F，函数依赖X→Y都成立, 则称 F逻辑蕴含X →Y An Introduction to Database System Armstrong公理系统 一套推理规则，是模式分解算法的理论基础 用途 求给定关系模式的码 从一组函数依赖求得蕴含的函数依赖 An Introduction to Database System 1. Armstrong公理系统 关系模式R U，F 来说有以下的推理规则： A1.自反律（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所蕴含。 An Introduction to Database System 定理 6.l Armstrong推理规则是正确的 （1）自反律:若Y ? X ? U，则X →Y为F所蕴含 证: 设Y ? X ? U 对R U，F 的任一关系r中的任意两个元组t，s： 若t[X]=s[X]，由于Y ? X，有t[y]=s[y]， 所以X→Y成立. 自反律得证 An Introduction to Database System 定理6.l (2)增广律: 若X→Y为F所蕴含，且Z ? U，则XZ→YZ 为F所蕴含。 证：设X→Y为F所蕴含，且Z ? U。 设RU，F 的任一关系r中任意的两个元组t，s； 若t[XZ]=s[XZ]，则有t[X]=s[X]和t[Z]=s[Z]； 由X→Y，于是有t[Y]=s[Y]，所以 t[YZ]=s[YZ]，所以XZ→YZ为F所蕴含. 增广律得证。 An Introduction to Database System 定理6.l (3) 传递律：若X→Y及Y→Z为F所蕴含，则X→Z为 F所蕴含。 证：设X→Y及Y→Z为F所蕴含。 对RU，F 的任一关系 r中的任意两个元组 t，s。 若t[X]=s[X]，由于X→Y，有 t[Y]=s[Y]； 再由Y→Z，有t[Z]=s[Z]，所以X→Z为F所蕴含. 传递律得证。 An Introduction to Database System 2. 导出规则 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） An Introduction to Database System 导出规则 2.根据合并规则和分解规则，可得引理6.1 引理6.l X→A1 A2…Ak成立的充分必要条件是X→Ai成立（