【数据库系统原理复习】正则覆盖/最小覆盖 canonical/minimal cover

用一道例题介绍函数依赖集的正则覆盖的求法

A\to C\\ B\to A\\ C\to DE\\ D\to AC\\ B\to E

步骤1: 将所有函数依赖的右侧拆分成单项,以便分析(当然你也可以不拆,但是有的时候这样容易看右侧的多余属性)

A\to C\\ B\to A\\ C\to D\\ C\to E\\ D\to A\\ D\to C\\ B\to E

步骤2: 去掉多余的函数依赖:如果去掉一个函数依赖之后,函数依赖集闭包不变(也就是没有这个式子,这个式子也可以从其他部分推出来),那这个函数依赖就是多余的。

B\to A ~ A\to C ~ C\to E

这几个函数依赖完全可以推出B→E,所以 B→E 就是多余的。

D\to A A\to C

这两个函数完全可以推出D→C ,所以 D→C 就是多余的。

于是获得这样的函数依赖集:

A\to C\\ B\to A\\ C\to D\\ C\to E\\ D\to A

步骤3: 去掉左侧的多余属性

因为这个例子中,左侧的属性都是单属性,所以没什么可以去掉的

比如说有一个函数依赖集类似于 AB\to X,而实际上A\to X,则B就是多余的属性,可以去掉

步骤4:将生成式合起来,因为正则覆盖要求左侧的属性不能重复(比如说步骤2中得到的那个式子,有两个C在左侧,可以合并)

A\to C\\ B\to A\\ C\to DE\\ D\to A

这就是最终得到的正则覆盖 

  • 16
    点赞
  • 32
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值