
Armstrong‘s axiom
这个规则稍微复杂一些,它表明如果X可以函数依赖于Y,且WY(即W和Y的并集)可以函数依赖于Z,那么XW(即X和W的并集)也可以函数依赖于Z。这个规则是函数依赖的传递性质,即如果X可以函数依赖于Y,且Y可以函数依赖于Z,那么X也可以函数依赖于Z。完备性:Armstrong公理系统的完备性指的是,对于F所逻辑蕴含的每一函数依赖,必定可以由F出发根据Armstrong公理系统推导出来。这个规则表明,如果X可以函数依赖于Y,且Z是Y的子集,那么X也可以函数依赖于Z。三、其他有用的推理规则。



















