规范化理论：如何计算最小依赖集？

什么是最小函数依赖集？

如果函数依赖集F满足一下条件，则称F为一个最小函数依赖集。

（1）F中任意一函数的右部仅含有一个属性。

（2）F中不存在这样的函数依赖X→A，使得F与F-{X-A}等价，即F中的函数依赖均不能由F中其他函数依赖导出。

（3）F中不存在这样的函数依赖X→A，X有真子集Z使得F-{X→A}{Z→A}与F等价，即F中各函数依赖的左部均为最小属性集（也就是说左部不存在冗余属性）。

 

如何计算最小函数依赖集？

算法步骤：

（1）将F中的所有函数依赖的右边化为单一属性；

（2）去掉F中的所有函数依赖左边的冗余属性；

（3）去掉F中所有冗余的函数依赖。

F的函数最小依赖集并不是唯一的，它与对各函数依赖及X→A中X个