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

什么是最小函数依赖集？ 若是函数依赖集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中各函数依赖的左部均为最小属性集（也就是说左部不存在

>>阅读原文<<