保持依赖的判断。 如果F上的每一个函数依赖都在其分解后的某一个关系上成立，则这个分解是保持依赖的（这是一个充分条件）。 如果上述判断失败，并不能断言分解不是保持依赖的，还要使用下面的通用方法来做进一步判断。 该方法的表述如下： 算法二： 对F上的每一个α→β使用下面的过程： result:=α; while(result发生变化)do for each 分解后的Ri t=(result∩Ri)+ ∩Ri result=result∪t