4.2 函数依赖数据结构与算法.pdf

数据库原理与应用 函数依赖 函数依赖的定义 关系模式中的各属性之间相互依赖、相互制约的联 系称为数据依赖。 函数依赖 多值依赖 函数依赖 （FD ，Functional Dependency）是关系模式 中属性之间的一种逻辑依赖关系。 SCD (SNo，SN，Age ，Dept ，MN ，CNo ，Score) SNo 一个学生 SN，Age ，Dept SNo决定函数（SN ，Age ，Dept） （SN ，Age ，Dept）函数依赖于SNo 函数依赖的定义 定义 设关系模式R(U ，F) ，U是属性全集 ，F是 U上的函数依赖所构成的集合 ，X 和 Y是 U 的子集 ，如果对于R(U)的任意一个可能的 关系r ，对于X 的每一个具体值 ，Y都有唯 一的具体值与之对应 ，则称X 决定函数 Y ， 或 Y函数依赖于X ，记作X →Y。我们称X 为 决定因素 ，Y为依赖因素。当Y不函数依赖 于X 时 ，记作：X Y。当X →Y且Y→X 时 ， 则记作：X↔Y 。 函数依赖的定义 U={SNo ，SN ，Age ，Dept ，MN ，CNo ，Score} F={SNo→SN ，SNo→Age ，SNo→Dept ， (SNo ，CNo)→Score} Sno→Score Sno→CNo 函数依赖的逻辑蕴涵定义 定义 设F是在关系模式R(U)上成立的函数依赖集 合 ，X ，Y是属性集 U的子集 ，X →Y是一个 函数依赖。如果从F 中能够推导出X →Y ，即 如果对于R 的每个满足F的关系r也满足X →Y ， 则称X →Y为F 的逻辑蕴涵 （或 F 逻辑蕴涵 X →Y），记为F|=X→Y 。 闭包（Closure）的定义 定义 设F 是函数依赖集 ，被F 逻辑蕴涵的函数依 赖的全体构成的集合 ，称为函数依赖集F 的 闭包 （Closure），记为F +。即： F +={ X→Y | F |=X→Y } 函数依赖的推理规则及正确性 设有关系模式R （U），U是关 系模式R 的属性集，F 是R上成 立的只涉及U 中属性的函数依赖 集。X ，Y ，Z ，W 均是U 的子 集，r 是R 的一个实例。 函数依赖的推理规则及正确性 Armstrong 公理及正确性 A1 ：自反律(Reflexivity) 如果Y  X  U，则X →Y在R上成立。 即一组属性函数决定它的所有子集。 如：（SNo ，CNo）→SNo 函数依赖的推理规则及正确性 A2 ：增广律(Augmentation) 若X →Y在R上成立，且Z U，则XZ →YZ在R 上也成立。 如： SNo→Age, （Sno ，SN）→ （Age ，SN） A3 ：传递律(Transitivity) 若X →Y和Y→Z在R上成立，则X →Z在R上也成立。 如： SNo→Dept, Dept→MN ，SNo →MN 函数依赖的推理规则及正确性 定理：如果X →Y