Discussion :

[moimoi_1]

Bonjour,
je voudrais exprimer en SQL une requete qui permet de savoir si une dépendance fonctionnelle X->Y est satisfaite par la relation r.
Ci-dessous se trouve ce que je veut traduire en SQL.

On dit que r satisfait la dépendance fonctionnelle
X→Y et l'on note r |= X→Y
ssi. ∀t1∈r ∀t2∈r, si t1[X]= t2[X] alors t1[Y] = t2[Y]

Merci de votre aide.

[Fabien Celaia]

Il ne manquerai pas un "opérateur" dans votre ssi ?