函数依赖的成立条件是：对于所有元组，如果两个元组在X上的值相同，那么它们在Y上的值也必须相同。