一：Armstrong公理
自反律，增广律，传递律
合并规则，分解规则，伪传递规则
有效性：X->Y能使用Armstrong公理由F推出，那么F|=X->Y。
二：属性集的闭包
为了证明完备性，于是有了属性集的闭包。
由有效性和完备性以及引理可以得到：X->Y是F的闭包，当且仅当Y是X关于F的闭包。
计算X关于F的闭包的算法。
三：函数依赖集的等价和极小覆盖
函数依赖集是等价的有定理可以证明。
Fm中的函数依赖箭头右边是单个属性，左边没有多余属性，Fm中没有多余的函数依赖，并且Fm恒等于F，那么Fm是F的极小覆盖。
极小覆盖的算法。
Fm中的箭头左边的属性如果一样，那么合并右边的属性，得到的Fc就是F的正则覆盖。
以上就是我对于函数依赖的推导的一些认识。
原文地址：https://www.jb51.cc/javaschema/284256.html
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
