数据库规范化：最小依赖集（函数极小化）

什么是最小函数依赖集？

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

算法步骤

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

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

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

F的函数最小依赖集F{min}并不是唯一的，它与对各函数依赖FD{i}及X→A中X个属性的处置的顺序有关。

例题

1

（闭包如何求解请参考：数据库规范化：闭包求解）

例题2

例题3