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

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

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

# sql # 数据库架构 # 数据库 # database
Logo
腾讯云开发者社区

腾讯云面向开发者汇聚海量精品云计算使用和开发经验，营造开放的云计算技术生态圈。

更多推荐

cover

腾讯云曹磊：四大方向助力消费电子企业创新突围

avatar 腾讯云开发者社区
cover

腾讯金融云解决方案再升级，以云+AI助力金融行业新质跃升

avatar 腾讯云开发者社区
cover

让技术落到实处，腾讯云助力工业和能源行业新质生产力发展

avatar 腾讯云开发者社区