数据依赖的公理系统分析.pptVIP

第6章 关系数据理论 6.1 数据依赖 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 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 Armstrong公理系统 一套推理规则，是模式分解算法的理论基础 用途 求给定关系模式的码（候选码） 从一组函数依赖求得蕴含的函数依赖 1. 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所蕴含。 注意：由自反律所得到的函数依赖均是平凡的函数依赖，自反律的使用并不依赖于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]， 所