数据库FD推理规则已知关系模式R（ABC），F＝｛A－＞B，B－＞C｝，求F＋根据FD的推理规则，可推出F的F＋有43个FD．怎么推理的？

Question

数据库FD推理规则
已知关系模式R（ABC），F＝｛A－＞B，B－＞C｝，求F＋根据FD的推理规则，可推出F的F＋有43个FD．怎么推理的？

Answer 1

这个首先要知道什么是闭包，主要是根据armstrong公理能够推倒出的都算在闭包里。
比如 AB->B, AC-B这些都算
Armstrong公理系统: 设U为属性集总体, F是U上的一组函数依赖, 于是有关系模式R, 对R来说有以下的推理规则：
A1 自反律: 若Y（=X（= U, 则X->Y为F所蕴含
A2 增广律: 若X->Y为F所蕴含, 且Z(=U, 则XZ->YZ 为F所蕴含
A3 传递律: 若X->Y和Y->Z为F所蕴含, 则X->Z为F所蕴含

定义2: F的闭包 在关系模式R中为F所蕴含的函数依赖的全体, 记作F+