最小依赖集、最小覆盖

定义：

F中任一函数依赖的右边只有一个属性
F中不存在这样的函数依赖X---->A，使得F与F-{X---->A}等价
F中不存在这样的函数依赖X---->A，X有真子集Z，使得F与-{X---->A并上{Z---->A}与F等价。
看到书上的定义发现自己什么都认识，但是连起来说的是啥就是不知道????！我写写我对定义的理解，要是哪里有错误的话欢迎指正！
对定义的理解：
第一条就是字面意思右边只能有一个属性。要是有两个或多个话就拆开。例如A---->BC，就将其拆成A----->B和A----->C
第二条的意思就是剩下的函数依赖不能推出去掉的那个函数依赖。这个地方可以转换成闭包来做。去掉的那个函数依赖的左边的闭包在去掉前后是一样的就可以去掉。
第三条的意思是左边属性的真子集不能推出原来函数依赖推出的那个属性。在做完第二步的基础上求其真子集的闭包。如果前后都一样则可以出掉，反之不能。