数据库系统原理-第8章.docVIP

第八章 数据依赖和关系模式规范化 8.1关系模式设计中的数据语义问题 数据依赖，函数依赖，多值依赖 例 8.2函数依赖 符号：R，r，U，F，X，t，t[x] 定义8.2-1：设R为关系模式，X，YU，若t1,t2∈r都有如果t1[X]=t2[X]，则必有t1[Y]=t2[Y]，则称在R上X函数决定Y或者Y函数依赖于X，记为X→Y，X称为决定子。 平凡函数依赖 定义8.2-2：完全函数依赖 定义8.2-3：X，Y，Z是R的属性集，如果X→Y，YX，Y→Z，则称Z传递函数依赖于X。 定义8.2-4：F是函数依赖集合，X→Y是函数依赖，如果F在某个R上成立，则必然有X→Y也成立，则称F逻辑蕴涵X→Y。 定义8.2-5：函数依赖集合F所逻辑蕴含的函数依赖的全体称为F的闭包 Armstrong公理系统： A1：自反率：如果YXU，则X→Y成立 A2：扩展率：如果X→Y成立，且ZU，则XZ→YZ成立 A3：传递率：如果X→Y，Y→Z成立，则X→Z成立 引理8.2-1：Armstrong公理是正确的，完备的 引理8.2-2：下列三条推理规则也是正确的： 合并规则：若X→Y，X→Z，则X→YZ 伪传递规则：若X→Y，WY→Z，则WX→Z 分解规则：若X→Y，且ZY，则X→Z 定义8.2-6：X关于F的闭包X＋定义为X＋＝{A|A∈U，X→A可由Armstrong公理推出} 引理8.2-3：X→Y