最小函数依赖集 定义：如果函数依赖集F满足下列条件，则称F为最小函数依赖集或最小覆盖。 ① F中的任何一个函数依赖的右部仅含有一个属性； ② F中不存在这样一个函数依赖X→A，使得F与F-{X→A}等价； ③ F中不存在这样一个函数依赖X→A，X有真子集Z使得F-{X→A}∪{Z→A}与F等价。 算法：计算最小函数依赖集。 输入 一个函数依赖集 输出 F的一个等价的最小函数依赖集G 步骤：① 用分解的法则，使F中的任何一个函数依赖的右部仅含有一个属性；
系统版本环境： # lsb_release -a LSB Version: :core-3.1-amd64:core-3.1-ia32:core-3.1-noarch:graphics-3.1-amd64:graphics-3.1-ia32:graphics-3.1-noarch Distributor ID: RedHatEnterpriseServer Descr iption: Red Hat Enterprise Linux Server release 5.4 (Tikanga) R
