第6章(2)关系数据理论.pptVIP

An Introduction to Database System 第六章 关系数据理论 6.1 数据依赖 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.3 数据依赖的公理系统 逻辑蕴含 定义6.11 对于满足一组函数依赖 F 的关系模式R U，F，其任何一个关系r，若函数依赖X→Y都成立, 则称 F逻辑蕴含X →Y 1 Armstrong公理系统 一套推理规则，是模式分解算法的理论基础 用途 求给定关系模式的码 从一组函数依赖求得蕴含的函数依赖 定理 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]， 所以X→Y成立. 自反律得证 定理6.l (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.l (3) 传递