Discussion :

[prikama]

bonsoir

j'ai une relation de la forme

R(A,B,C,D)

et F={B-->C,D--->A}

la relation n'est pas en 2NF seulement en 1NF

je veux la normalisé

là le problème. comment faire sans perte d'information alors que B-->C,D--->A ne sont pas liées
si je décompose en R1(B-->C) et R2(D--->A)
donc si je fais la jointure je ne peux pas avoir la relation R


merci de m'aider

[fsmrel]

Vite fait sur le gaz...


Il suffit d'ajouter R3 = {B, D} à la décomposition (c'est-à-dire la clé de R) :

R = R1 JOIN R2 JOIN R3

Ceci correspond à l'application d'un théorème datant de 1979 et dû à Biskup, Dayal et Bernstein ("Synthesizing independant database schemas").

[prikama]

Vite fait sur le gaz...


Il suffit d'ajouter R3 = {B, D} à la décomposition (c'est-à-dire la clé de R) :

R = R1 JOIN R2 JOIN R3

Ceci correspond à l'application d'un théorème datant de 1979 et dû à Biskup, Dayal et Bernstein ("Synthesizing independant database schemas").

dérnière question

est il possible de trouvé une relation qui ne peux pas être décomposé en relations en BCNF

[fsmrel]

Si un schéma de relation R n'est pas en BCNF, c'est qu'il y traîne au moins une DF non triviale, et par application du théorème de Heath, R est décomposable itérativement en relations en BCNF.

Le problème est que l'on peut perdre des DF en cours de route et il faut alors choisir :

— Préserver les DF mais ne pas décomposer, donc continuer à violer la BCNF ;

— Décomposer et respecter la BCNF mais perdre des DF (c'est-à-dire des règles de gestion des données).

Exemple :

Soit la relvar (variable relationnelle) R {A, B, C} dotée de l’ensemble de DF : F = {{A, B} -> {C}, {C} -> {A}}.

La DF {C} -> {A} détermine un sous-ensemble strict de la clé {A, B} de la relvar R : cette relvar viole donc la BCNF.

En vertu du théorème de Heath, R est décomposable en R1 {C, A} et R2 {C, B},
mais à partir de R1 et R2 on ne sait pas inférer la DF {A, B} -> {C} qui est alors perdue.

[prikama]

merci beaucoup pour vos réponses

[fsmrel]

Si tout est OK, n'oubliez de marquer la discussion comme étant résolue.

Bonne route !