6.2.1 函数依赖的推理规则