第六章 关系数据理论知识讲解.ppt

Armstrong公理系统（续） (2)增广律 设X→Y为F所蕴含，且Z ? U。 设R<U，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所蕴含. 增广律得证。 Armstrong公理系统（续） (3) 传递律 设X→Y及Y→Z为F所蕴含。 对R<U，F> 的任一关系r中的任意两个元组t，s。 若t[X]=s[X]，由于X→Y，有t[Y]=s[Y]； 再由Y→Z，有t[Z]=s[Z]，所以X→Z为F所蕴含. 传递律得证。 2. 导出规则 1.根据A1，A2，A3这三条推理规则可以得到下面三条推理规则： 合并规则：由X→Y，X→Z，有X→YZ。 （A2， A3） X→Y X ，XY →ZY 伪传递规则：由X→Y，WY→Z，有XW→Z。 （A2， A3） XW→YW 分解规则：由X→Y及Z?Y，有X→Z。 （A1， A3） Z?Y，Y→Z 导出规则 2.根据合并规则和分解规则，可得引理6.1 引理6.l X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l，2，…，k）。 3. 函数依赖闭包 闭包 定义6.l2 在关系模式R<U，F>中为F所逻辑蕴含的函数依赖的全体叫作F的闭包，记为F+。 定义6.13 设F为属性集U上的一组函数依赖，X ?U， XF+ ={ A|X→A能由F根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F的闭包。 F的闭包 F={ X→Y,Y→Z }, F + = { X→φ, Y→φ,Z→φ, XY→φ, XZ →φ,YZ →φ, XYZ →φ, X →X, Y→Y, Z→Z, XY → X, XZ→X, YZ→Y, XYZ→X, X → Y, Y → Z , XY → Y, XZ→Y, YZ →Z, XYZ → Y, X → Z, Y → YZ, XY → Z, XZ→Z, YZ →YZ, XYZ → Z, X → XY, XY → XY, XZ → XY, XYZ → XY, X → XZ, XY → YZ, XZ → XZ, XYZ → YZ X → YZ, XY → XZ, XZ → XY, XYZ → XZ, XY → XYZ, XZ → XYZ, XYZ → XYZ } 函数依赖闭包 关于闭包的引理 引理6.2 设F为属性集U上的一组函数依赖，X，Y ? U，X→Y能由F根据Armstrong公理导出的充分必要条件是Y ?XF+。 引理6.2可由引理6.1得出 引理6.2的用途 将判定X→Y是否能由F根据Armstrong公理导出的问题，就转化为求出XF+ ，判定Y是否为XF+的子集的问题。 函数依赖闭包 求闭包的算法 算法6.l 求属性集X（X ? U）关于U上的函数依赖集F的闭包XF+ 。 输入：X，F 输出：XF+ 步骤： 6.2.5 多值依赖与第四范式（4NF） 例子 一、多值依赖 二、第四范式（4NF） 多值依赖与第四范式（续） 例子 属于BCNF的关系模式: 函数依赖: 一个完美的关系模式 多值依赖: 例: 设学校中某一门课程由多个教师讲授，他们使用相同的一套参考书。 用关系模式Teaching(C, T, B)来表示课程C、教师T和参考书B之间的关系。 多值依赖与第四范式（续） … … … 课 程 C 教 员 T 参 考 书 B ? ? 物理 ? 数学 ? ? ? 计算数学 李 勇 王 军 ? ? 李 勇 张 平 ? ? ? 张 平 周 峰 普通物理学 光学原理 物理习题集 ? 数学分析 微分方程 高等代数 ? ? 数学分析 ? ? ? ? 表6.1 多值依赖与第四范式（续） 普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 … 李 勇 李 勇 李 勇 王 军 王 军 王 军 李 勇 李 勇 李 勇 张 平 张 平 张 平 … 物 理 物 理 物 理 物 理 物 理 物 理 数 学 数 学 数 学 数 学 数 学 数 学 … 参考书B