从已知的一些函数依赖，可以推导出另外一些函数依赖，这就需要一系列推理规则，这些规则常被称作“Armstrong 公理”
包含传递、伪传递、增广、合并和分解律
传递律： X->Y , Y->Z, 则X->Z 这个很容易理解
伪传递律： X->Y, WY->Z, 则WX->Z
增广律：X->Y, Z∈U, 则XZ->YZ
分解律：X->Y, Z∈Y, 则Z->X
扫一扫
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
