数据库第四章2.pptVIP

4.4 函数依赖的公理系统 4.4.1 函数依赖的逻辑蕴涵 4.4.2 Armstrong公理系统 4.4.3 函数依赖集的等价和覆盖 4.4.4 函数依赖集的最小集 4.4.1 函数依赖的逻辑蕴涵 一、逻辑蕴涵的定义 研究的问题：对于给定的一组函数依赖，要判断另外的一些函数依赖是否成立？ 例如：对关系模式R(A，B，C)。已知A→B，B→C，判断A→C是否成立？ 这就是函数依赖的逻辑蕴涵所要研究的内容。 定义4.1：设F是关系模式R的一个函数依赖集，X，Y是R的属性子集。如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴涵X→Y，或X→Y是F的逻辑蕴涵。 4.4.1 函数依赖的逻辑蕴涵 二、F的闭包F+ 定义4.2：所有被F逻辑蕴含的函数依赖的集合称为F的闭包（Closure），记为F+。 即：F+是所有能从F中推导出来的函数依赖的集合。 通常，F?F+，若F=F+，则称F是函数依赖的完备集。 说明：F+的计算相当麻烦。即使F不大，但F+可能很大。 4.4.1 函数依赖的逻辑蕴涵 例：若有关系模式R(X，Y)，它的函数依赖集F={X→Y}，则F的闭包为： F+ = { X→?， Y→?， XY→?， X→X， Y→Y，XY→X，  X→Y， XY→Y，