例题:F={ABD→AC,C→BE,AD→BF,B→E}
第一步:把箭头右边的都拆成单个的
得到:
ABD→A
ABD→C
C→B
C→E
AD→B
AD→F
B→E
第二步:逐个排查,剔除多余依赖
看如果没有该项,该项→左边能否通过其他项推出原来→右边
ABD→A 剔除(自己推出自己:A)
ABD→C保留(不能推出C,能推出ABDEF)
C→B保留(不能推出B,能推出CE)
C→E剔除(能推出C→B,B→E)
AD→B保留(不能推出B,能推出AD)
AD→F保留(不能推出F,能推出ABCDE)
B→E保留(不能推出E能推出B)
得到:
ABD→C
C→B
AD→B
AD→F
B→E
第三步:查看多属性依赖,是否可以去掉其中的某个属性
ABD→C
- 如果去掉A:
去掉之前能推出ABCDEF
去掉之后能推出BCDEF
不同,所以不能去掉A - 如果去掉B:
去掉之前能推出ABCDEF
去掉之后能推出ABCDEF
相同所以可以去掉B - 如果去掉D:
去掉之前能推出ABCDEF
去掉之后能推出ABCE
不同,所以不能去掉D
所以能更新为AD→C
同理对其他多属性依赖进行处理
得到最终结果
{AD→C, C→B, AD→F, B→E}
需要注意:对于删除不同属性,最终可能获得的结果可能不同,但是各种结果都是对的