Armstrong公理
Armstrong公理的内容：
- 自反律：若
则
- 增补律：若
则
- 传递律：若且
，则
由Armstrong公理可以推导的内容：
- 合并律：若
且则
- 分解律：若则且
- 伪传递律：若且
则
Armstrong公理的特点：
- 正确有效，不会产生错误的函数依赖。
- 完备，可以产生所有的函数依赖。
闭包
闭包就是通过一系列函数依赖关系能够推导出的所有属性的集合。
:::info
例如，在
这三个FD组成的集合中，闭包就是
，因为这四个属性都是可以通过公理推导出来的。
:::
:::info
:::
若有收获，就点个赞吧
0 人点赞
