函数依赖成立的条件