db06数据库第六章教学ppt.pptVIP

不能说规范化程度越高的关系模式就越好 在设计数据库模式结构时，必须对现实世界的实际情况和用户应用需求作进一步分析，确定一个合适的、能够反映现实世界的模式 上面的规范化步骤可以在其中任何一步终止 6.2.9 规范化小结 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 设F是关系模式R的一个函数依赖集，X,Y是R的属性子集，如果从F中的函数依赖能够推出X→Y，则称F逻辑蕴涵X→Y 例：关系模式 R=(A,B,C),函数依赖集F={A→B,B→C}, F逻辑蕴涵A→C 1. Armstrong公理系统 6.3 数据依赖的公理系统 关系模式R U，F 来说有以下的推理规则： A1.自反律（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所蕴含。 定理 6.1 Armstrong推理规则是正确的 6.3 数据依赖的公理系统 （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成立，自反律得证 (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.3 数据依赖的公理系统 (3) 传递律：若X→Y及Y→Z为F所蕴含，则 X→Z为 F所蕴含。 证：设X→Y及Y→Z为F所蕴含。 对RU，F 的任一关系 r中的任意两个元组 t，s： 若t[X]=s[X]，由于X→Y，有 t[Y]=s[Y]； 再由Y→Z，有t[Z]=s[Z]，所以X→Z为F所蕴含，传 递律得证。 6.3 数据依赖的公理系统 2. 导出规则 6.3 数据依赖的公理系统 1.根据A1，A2，A3这三条推理规则可以得到下面三条推理规则： 合并规则：由X→Y，X→Z，有X→YZ。 伪传递规则：由X→Y，WY→Z，有XW→Z。 分解规则：由X→Y及 Z?Y，有X→Z。 2.根据合并规则和分解规则，可得引理6.1 引理6.l X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l，2，…，k） 6.3 数据依赖的公理系统 Armstrong公理系统是有效的、完备的 有效性：由F出发根据Armstrong公理推导出来的每一个函数依赖一定在F+中； 完备性：F+中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来 6.3 数据依赖的公理系统 6.3 数据依赖的公理系统 定义6.l2 在关系模式RU，F中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F+。 定义：若F为关系模式R(U)的函数依赖集，我们把F以及所有被F逻辑蕴涵的函数依赖的集合称为F的闭包，记为F+。即：???F+={X→Y|X→Y∈F∨“应用Armstong公理从F中导出的任何X→Y”}?△一般 情况下，F包含于F+，如果F=F+，则称F为函数依赖的一个完备集。?△ 规定：若X为U的子集，X→Φ 属于F+。 例：R=ABC,F={A→B, B→C}, 求F+?? ??? 解： F+ ={A→Φ,AB→Φ,AC→Φ,ABC→Φ,B→Φ,C→Φ,?? A→A,AB→A,AC→A,ABC→A,B→B,C→C,? A→B,AB→B,AC→B,ABC→B,B→C,?? A→C,AB→C,AC→C,ABC→C,B→BC,?? A→AB,AB→AB,AC→AB,ABC→AB,BC→Φ,?? A→AC,AB→AC,AC→AC,ABC→AC,BC→B, ?? A→BC,AB→BC,AC→BC,ABC→BC,BC→C, ?? A→ABC,AB→ABC,AC→ABC,ABC→A,BC→BC} 6.3 数据依赖的公理系统 例：已知关系模式R中,?????U={A，B，C，D, E, G},?????F={AB→C, C→A, BC→D, ACD→B