在函数依赖中，平凡函数依赖是可以根据Armstrong推理规则中的__________ 律推出的。