Discussion :

[Abstract_cl]

Bonjour,
comment je peux détecter qu'il s'agit s'une CIF ou DF forte ou faible.
Merci

[TheLeadingEdge]

Bonjour,

C'est une DF forte si un lien existe à tout moment pour l'ensemble des occurences de l'association. (1,1)
C'est une DF faible sinon (0,1)
Une CIF est une DF forte et stable dans le temps.
Par ex. l'assoc. en véhicule et propriétaire est une DF, mais pas 1 CIF. Le véhicule pouvant changer de propriétaire dans le temps.

[Abstract_cl]

Bonjour,

C'est une DF forte si un lien existe à tout moment pour l'ensemble des occurences de l'association. (1,1)
C'est une DF faible sinon (0,1)
Une CIF est une DF forte et stable dans le temps.
Par ex. l'assoc. en véhicule et propriétaire est une DF, mais pas 1 CIF. Le véhicule pouvant changer de propriétaire dans le temps.

Merci beaucoup, c'est bien expliqué
Si c'est possible quelques liens pour des exercice corrigés sur les DF et les CIF.
Merci

[fsmrel]

DF : précisions et variations...

Voici la définition de la dépendance fonctionnelle au sens du Modèle Relationnel de Données (Cf. [Date2006]) :

Soit A et B des sous-ensembles de l’en-tête d’une variable relationnelle R.
R satisfait à la dépendance fonctionnelle (DF) A → B si et seulement si dans chaque relation qui est une valeur légale de R, chaque fois que deux tuples ont la même valeur pour A, ils ont aussi la même valeur pour B (A est appelé le déterminant et B le dépendant).

Adaptation dans un contexte SQL :

Soit A et B des sous-ensembles de l’en-tête (ensemble des noms des colonnes) d’une table R.
R satisfait à la dépendance fonctionnelle (DF) A → B si et seulement si chaque fois que deux lignes de R ont la même valeur pour A, elles ont aussi la même valeur pour B (A est appelé le déterminant et B le dépendant).

Adaptation dans un contexte E/A :

Soit A et B des sous-ensembles des propriétés d’une entité-type (ou d’une association-type) R.
R satisfait à la dépendance fonctionnelle (DF) A → B si et seulement si chaque fois que deux occurrences ont la même valeur pour A, elles ont aussi la même valeur pour B (A est appelé le déterminant et B le dépendant).

Voilà ce qu’est une DF, ni plus, ni moins. Je rappelle que Ted Codd, père du Modèle Relationnel de Données, a défini cette notion en 1971.
Il existe évidemment des définitions fantaisistes, bien plus tardives, du genre de celle que l’on trouve dans [TRC1989]. Ça commence très fort :

"La dépendance fonctionnelle ou DF inter-individus est un cas particulier de relation binaire..."

Yves Tabourier (Cf. [TAB1986], page 89), fait observer que "Cette appellation présente quelque danger, le terme de «dépendance fonctionnelle» étant utilisé dans le formalisme relationnel dans un sens beaucoup plus large" : Je ne le lui fais pas dire !

Yves Tabourier écrit encore dans [Afcet1990], page 49 : "Rappelons que dans la littérature Merise récente ([Rochfeld/Moréjon 88 & 89] et réimpression 89 de [Tardieu/Rochfeld/Colletti 83]), il a été proposé de dédoubler la notion de CIF en "CIF" et "DF", ces dernières désignant les CIF instables : le Groupe de travail 135 a rejeté ce mélange d’aspects statiques et dynamiques, la question de la stabilité étant traitée à part..."

De mon côté, j’estime que la définition donnée par [TRC1989] est propre à jeter le trouble dans les esprits et l’auteur eut mieux fait d’en rester sagement à des "contraintes de cohérence fonctionnelles", comme le laisse à entendre Tabourier.

Références

[Afcet1990] AFCET (Groupe 135). Le formalisme de données MERISE, Extension du pouvoir d'expression). Journée d'étude organisée par le groupe de travail 135 « Conception des systèmes d'information » (Collège AFCET-GID). Jeudi 15 novembre 1990. Paris.

[TAB1986] Y. Tabourier. De l’autre côté de MERISE (Les Éditions d’organisation, 1986).

[TRC1989] H. Tardieu, A. Rochfeld, R. Colletti. La Méthode MERISE, Tome 1 Principes et outils. (Les Éditions d’organisation. 4ème impression, septembre 1989).

[Date2006] C.J. Date. The Relational Database Dictionary (O’Reilly Media Inc., 2006).

[TheLeadingEdge]

Voici la définition de la dépendance fonctionnelle au sens du Modèle Relationnel de Données

En même temps que ma réponse, j'avais pris la précaution de rajouter le tag ''MCD'' au titre de la question .

Mais vous avez raison de le souligner. L'homonymie des termes et leurs fonctions ''cousines'' peuvent perturber.
Effectivement, les définitions que j'ai données ne s'appliquent qu'à 1 MCD.
Pour Tardieu, Rochfeld et Coletti le scope d'une DF dans Merise ne comprend que les individus (entités). Il est sensiblement plus réduit que celui défini par Codd ds ses théories relationnelles. Il me semble que Nanci utilisait quant à lui le terme de ''dépendance binaire fonctionnelle''.