第6章数据依赖的公理系统.ppt

第六章 关系数据理论 6.1 数据依赖 6.2 规范化 6.3 数据依赖的公理系统 6.3 数据依赖的公理系统 逻辑蕴含 定义6.11 对于满足一组函数依赖 F 的关系模式R U，F，其任何一个关系r，若函数依赖X→Y都成立, 则称 F逻辑蕴含X →Y Armstrong公理系统 一套推理规则，是模式分解算法的理论基础 用途 求给定关系模式的码 从一组函数依赖求得蕴含的函数依赖 1. Armstrong公理系统 关系模式R U, X,Y,Z ? U来说有以下的推理规则： Al.自反律（Reflexivity）： 若Y ? X ，则X →Y。 A2.增广律（Augmentation）： 若X→Y， 则XZ→YZ。 A3.传递律（Transitivity）： 若X→Y及Y→Z，则X→Z。 注意：由自反律所得到的函数依赖均是平凡的函数依赖，自反律的使用并不依赖于F 2. 导出规则 1.根据A1，A2，A3这三条推理规则可以得到下面三条推理规则： 合并规则：由X→Y，X→Z，有X→YZ。 （A2， A3） 伪传递规则：由X→Y，WY→Z，有XW→Z。 （A2， A3） 分解规则：由X→YZ，有X→Y ,X→Z。 （A1， A3） 导出规则 2.根据合并规则和分解规则，可得引理6.1 引理6.l X→