求函数的最小依赖集

求一个关系的最小函数依赖的步骤如下：
（1）查找每个函数依赖并分解为右侧为单属性的函数依赖
（2）删除左侧多余的属性
（3）消除对于的函数依赖
举例说明：
设有关系R={A,B,C,D,E,I}存在如下函数依赖：
F = {A → C, AB → C, C → DI, CD → I, EC → AB, EI → C}
求关系R的最小函数依赖。
过程如下:
1.函数依赖的右侧分解为单属性，我们写作F1
F1= {A → C, AB → C, C → D, C → I, CD → I, EC → A, EC → B, EI → C}
2.删除左侧多余的属性：
我们首先来求函数左侧每个属性的闭包
(i) A+ = ACDI
(ii) B+ = B
(iii) C+ = CDI
(iv) D+ = D
(v) E+ = E
(vi) I+ = I
从(i)可以推出，A的闭包已经包含了C，所以B是AB → C中多余的属性，所以B可以删除
从(iii)可以看出，C的闭包已经包含了属性I，所以D是函数关系CD → I中多余的属性，所以D可以删除
此外没有多余的属性可以删除，我们把新的函数依赖记作F2
F2 = {A → C, C → D, C → I, EC → A, EC → B, EI → C}
3.消除多余的函数依赖
观察发现，F2中并无多余的函数依赖，所以F2为要求的最小函数依赖集。