Bonsoir,
Vous écrivez R1*R2, mais le symbole « * » (étoile) représente vraisemblablement le symbole de l’intersection. En effet, le théorème en cause est le suivant :
Si D = (R1, R2) est une décomposition de R, et F est ensemble de dépendances fonctionnelles, alors D a une décomposition sans perte par rapport à F si et seulement si :
(R1 ∩ R2) → (R1 — R2) ou (R1 ∩ R2) → (R2 — R1)
Dans votre exemple R1 peut être remplacé par {A, B} et R2 par {C, D}.
(R1 ∩ R2) représente l’ensemble des attributs (en fait l'ensemble des noms d'attributs, chaque nom d'attribut étant un élément de cet ensemble) qui sont communs à R1 et à R2, or R1 et R2 n’ont aucun attribut en commun, donc (R1 ∩ R2) est l’ensemble vide, Ø.
(R1 — R2) représente le sous-ensemble des attributs de R1 qui n’appartiennent pas à R2 : comme R1 n’a aucun attribut en commun avec R2, donc (R1 — R2) = {A, B}.
De même, (R2 — R1) = {D, E}.
La DF : Ø → (R1 — R2) n’est vérifiée puisque la paire {A, B} peut prendre un nombre quelconque de valeurs.
Même principe pour la DF : Ø → (R2 — R1).
La décomposition ne préserve pas l'information car, en vertu de ce qui précède, la jointure de R1 et R2 n'est pas égale à R.
Vous pourrez en savoir plus en consultant l’annexe E.7 de l’article qui va bien.
Partager