在关系模式R中，函数依赖x->y的语义是

在关系模式R中，函数依赖x->y的语义是指对于关系R中的任意两个元组t1和t2，如果它们在属性x上的取值相同，那么它们在属性y上的取值也必须相同。换句话说，如果在关系R中存在两个元组t1和t2，它们在属性x上的取值相同，但在属性y上的取值不同，那么这个函数依赖就不成立，R就不满足函数依赖x->y。这种函数依赖常常用来描述关系模式中的属性之间的约束关系。