3.4.2 保持函数依赖性的判断方法