第章讲数据依赖公理系统DataBase关系数据理论.ppt

An Introduction to Database System 第四章 关系数据理论 4.1 问题提出 4.2 规范化 4.3 数据依赖的公理系统 4.4 模式的分解 4.3 数据依赖的公理系统 逻辑蕴含 定义4.11 对于满足一组函数依赖 F 的关系模式R (U，F )，其任何一个关系r，若函数依赖X→Y都成立, 则称： F 逻辑蕴含X →Y，记作： F |=X→Y 那么如何判定F都蕴涵了哪些FD呢？用一组推导规则从F上进行推导是方便的，引出“Armstrong”公理。 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 （1）自反律:若Y ? X ? U，则X →Y为F