关于最小函数依赖集的问题

[「已注销」]

求其得方法是：
第一步：函数依赖右边全转换为单属性
第二步：
while(对每个函数依赖的左边进行检查)
while(对当前函数依赖左边的每个属性进行检查)
if(左边-当前属性)的闭包包含右边
当前函数依赖的左边=当前函数依赖的左边-当前属性；
第三步：
while(对每个函数依赖进行检查)
{
当前函数依赖集=F-当前函数依赖：
if 当前函数依赖右边包含于（当前函数依赖左边相对于当前函数依赖集的闭包）
去掉当前函数依赖；
}

第二步和第三步可以颠倒过来嘛？ 可以举个例子嘛？ 谢谢了……

[「已注销」]

就是怀疑颠倒过来就会是错的，没有理论的证明，更没有现实的数据，就是怀疑，因而才想求证一下。

[-狙击手-]

给点数据看看

[「已注销」]

AB -> D ABD -> C C -> D

就这样……