[计算机软件及应用]2_第6章_关系数据理论_3.ppt

下次课程内容数据库设计 * Content Layouts 软件学院 L/O/G/O 第六章 关系数据理论 褚龙现 chulongxian@126.com 回顾-- 函数依赖 定义6.1 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 回顾--函数依赖 平凡函数依赖与非平凡函数依赖 完全函数依赖与部分函数依赖 传递函数依赖 回顾-- 2NF 2NF的定义 定义6.6 若R∈1NF，且每一个非主属性完全函数依赖于码，则R∈2NF。 例：S-L-C(Sno, Sdept, Sloc, Cno, Grade) ∈1NF S-L-C(Sno, Sdept, Sloc, Cno, Grade) ∈2NF SC（Sno， Cno， Grade） ∈ 2NF S-L（Sno， Sdept， Sloc） ∈ 2NF 回顾-- 3NF 3NF的定义 定义6.7 关系模式RU，F 中若不存在这样的码X、属性组Y及非主属性Z（Z ? Y）, 使得X→Y，Y→Z成立，Y → X，则称RU，F ∈ 3NF。 若R∈3NF，则每一个非主属性既不部分依赖于码也不传递依赖于码。 回顾-- BCNF 定义6.8 关系模式RU，F∈1NF，若X→Y且Y ? X时X必含有码，则RU，F ∈BCNF。 等价于：每一个决定属性因素都包含码 数据依赖的公理系统 数据依赖的公理系统 1 2 教 学 内 容 教 学 目 标 难 点 理解数据依赖公理系统 重 点 理解函数依赖闭包 掌握最小依赖集 函数依赖闭包 最小依赖集 教学具体内容 Armstrong公理系统 导出规则 函数依赖闭包 Armstrong公理系统的有效性与完备性 函数依赖集等价 最小依赖集 极小化 6.3 数据依赖的公理系统 逻辑蕴含 定义6.11 对于满足一组函数依赖 F 的关系模式R U，F，其任何一个关系r，若函数依赖X→Y都成立, （即r中任意两元组t，s，若t[X]=s[X]，则t[Y]=s[Y]），则称F逻辑蕴含X →Y 6.3.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所蕴含。 6.3.1 Armstrong公理系统 定理 6.1 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成立，自反律得证 6.3.1 Armstrong公理系统 定理 6.1 Armstrong推理规则是正确的 (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所蕴含，增广律得证。 6.3.1 Armstrong公理系统 定理 6.1 Armstrong推理规则是正确的 (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所蕴含，传递 律得证。 6.3.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） 6.3.2 导出规则 2.根据合并规则和分解规则，可得引理 引理6.l