国防《数据库原理与应用》教学资料包 教学课件 第四章.pptVIP

第4章 关系数据库设计理论 4.1 数据依赖 4.2 关系的规范化 4.3 模式分解 4.1 数 据 依 赖 4.1.1 函数依赖 1.函数依赖的定义 设有一关系模式R（A1，A2，…，An)，X和Y均为R的子集，对于R的任意一个可能的关系r来说，当其中任意两个元组u，v中对应于X的那些属性分量的值均相等时，则有u、v中对应于Y的那些属性分量的值也相等，称X函数确定Y，或Y函数依赖于X，记为X→Y。 4.1 数 据 依 赖 2. 三种函数依赖 在R(U)中，如果X→Y，并且对于X的任意一个真子集X‘，都有X’不能确定Y，则称Y对X完全函数依赖。 若X →Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖。 在R(U)中，如果X→Y，（X不属于Y），Y→Z，(Z不属于Y)，则称Z对X传递函数依赖。 4.1 数 据 依 赖 4.1.3 函数依赖的公理系统 1. Armstrong公理系统 把自反律、传递律和增广律称为Armstrong公理系统。 Armstrong公理系统是有效的、完备的。Armstrong公理的有效性指的是由F出发根据 Armstrong公理推导出来的每一个函数依赖一定在F+中；完备性指的是F+中的每一个函数依