1.对于函数依赖的右端,将其分解为单个属性。如AB->CD分解为AB->C,AB->D
2.对于函数依赖集F中每一个X->A,计算G=F-{X->A},再判断对于函数依赖集合G,是否能由X->A,如果能,在F中删除X->A。
3.对于F中每个函数依赖执行上述操作。
1.对于函数依赖的右端,将其分解为单个属性。如AB->CD分解为AB->C,AB->D
2.对于函数依赖集F中每一个X->A,计算G=F-{X->A},再判断对于函数依赖集合G,是否能由X->A,如果能,在F中删除X->A。
3.对于F中每个函数依赖执行上述操作。