最小函数依赖集

如果函数依赖集F满足下列条件，则称F为最小函数依赖集或最小覆盖。① F中的任何一个函数依赖的右部仅含有一个属性；② F中不存在这样一个函数依赖X→A，使得F与F-{X→A}等价；③ F中不存在这样一个函数依赖X→A，X有真子集Z使得F-{X→A}∪{Z→A}与F等价。