用一道例题介绍函数依赖集的正则覆盖的求法
步骤1: 将所有函数依赖的右侧拆分成单项,以便分析(当然你也可以不拆,但是有的时候这样容易看右侧的多余属性)
步骤2: 去掉多余的函数依赖:如果去掉一个函数依赖之后,函数依赖集闭包不变(也就是没有这个式子,这个式子也可以从其他部分推出来),那这个函数依赖就是多余的。
这几个函数依赖完全可以推出B→E,所以 B→E 就是多余的。
这两个函数完全可以推出D→C ,所以 D→C 就是多余的。
于是获得这样的函数依赖集:
步骤3: 去掉左侧的多余属性
因为这个例子中,左侧的属性都是单属性,所以没什么可以去掉的
比如说有一个函数依赖集类似于 ,而实际上
,则B就是多余的属性,可以去掉
步骤4:将生成式合起来,因为正则覆盖要求左侧的属性不能重复(比如说步骤2中得到的那个式子,有两个C在左侧,可以合并)
这就是最终得到的正则覆盖