functional dependency in French

(database normalization) Given a relation R and two sets of attributes X,Y \subseteq R, a constraint X \rightarrow Y where each X value in R is associated with precisely one Y value in R.