最小函数依赖集（关于最小函数依赖集介绍）

【资料图】

1、 如果函数依赖集F满足下列条件，则称F为最小函数依赖集或最小覆盖。

2、 ① F中的任何一个函数依赖的右部仅含有一个属性；

3、 ② F中不存在这样一个函数依赖X→A，使得F与F-{X→A}等价；

4、 ③ F中不存在这样一个函数依赖X→A，X有真子集Z使得F-{X→A}∪{Z→A}与F等价。