第6章 DataBasee.ppt

第二篇 设计与应用开发篇;第六章 关系数据理论;学生-选课数据库;第六章 关系数据理论; ;三、什么是数据依赖;什么是数据依赖（续）;四、关系模式的简化表示;五、数据依赖对关系模式的影响;数据依赖对关系模式的影响（续）;数据依赖对关系模式的影响（续）;数据依赖对关系模式的影响（续） ;数据依赖对关系模式的影响（续）;数据依赖对关系模式的影响（续）;第六章 关系数据理论;6.2 规范化;6.2 规范化;6.2.1 函数依赖;一、函数依赖;说 明;函数依赖（续）;二、平凡函数依赖与非平凡函数依赖;三、完全函数依赖与部分函数依赖;四、传递函数依赖;6.2.2 码;码(续);6.2.3 范式;6.2.3 范式;6.2.4 2NF;2NF; 2NF;SLC不是一个好的关系模式;SLC不是一个好的关系模式; 2NF; 2NF; 2NF（续）; 6.2.5 3NF; 3NF; 3NF; 3NF; 3NF; 6.2.6 BC范式（BCNF）;6.2.6 BC范式(BCNF)（续）; BCNF; BCNF;BCNF;BCNF;3NF与BCNF的区别;;练习;6.2.7 多值依赖;… ;普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 …;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖的性质;多值依赖（续）;多值依赖与函数依赖的区别;多值依赖（续）;6.2.8 第四范式（4NF）;第四范式（续）;6.2.9 规范化小结;规范化小结（续）;规范化的基本思想;;规范化小结（续）;第六章 关系数据理论;6.3 数据依赖的公理系统;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所蕴含。;定理 6.l Armstrong推理规则是正确的 （l）自反律（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成立。;(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所蕴含。;(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所蕴含。;导出规则 根据规则A1，A2，A3可以得到下面三条推理规则 合并规则（A2，A3）： 由X→Y，X→Z，有X→YZ。 伪传递规则（A2， A3）： 由X→Y，WY→Z，有XW→Z。 分解规则（A1， A3） ： 由X→Y及 Z?Y，有X→Z。;引理6.l X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l，2，…，k）。 例：Sno →Sname Sage Sdept 成立的充分必要条件是: Sno →Sname, Sno →Sage, Sno →Sdept成立 定义6.l2 在关系模式RU，F中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F+。;F的闭包;定义6.13 设F为属性集U上的一组函数依赖，X ? U， XF+ = {A|X→A 能由F根据Armstrong公理导出}， XF+称为属性集X关于函数依赖集F的闭包。 XF+ 实际是借助于Armstrong公理能够由X函数确定的属性集合;引理6.l X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l，2，…，k）。 引理6.2 设F为属性集U上的一组函数依赖，X，Y ? U，X→Y能由F 根据Armstrong公理导出的充分必要条件是Y ?XF+ 将判定X→Y是否能由F根据Armstr