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