Bonjour,
Je lis actuellement l'excellent article sur la normalisation : http://fsmrel.developpez.com/basesre...normalisation/.
J'ai un peu de mal à saisir ce que veut dire dépendances multivaluées triviales. Par exemple page 4 il est dit :
orSi la relvar ISP viole la 4NF mais est décomposable selon les relvars Maitriser et Affecter, on observera pour leur part que ces deux dernières respectent la 4NF ; c'est vrai en ce qui concerne la relvar Maitriser {IngId, SgbdId} car ses DMV sont toutes triviales, {IngId} ➔➔ {SgbdId} et {SgbdId} ➔➔ {IngId} en particulier.
Pourtant le fait que l'ingénieur avec pour id i1 maitrise le sgbd s1 et que l'ingénieur i2 maîtrise le sgbd s2 n'implique pas pour autant les tuples (i2,s1) et (i1,s2).Soit une variable relationnelle R{X,Y,Z} où X,Y et Z représentent des sous-ensembles d'attributs de l'entête H de R (X et Y ne sont pas nécessairement disjoints). Etant donnés (x,y,z) et (x',y',z') deux n-uplets appartenant à R, la dépendance multivaluée X->->Y est vérifiée si les tuples (x,y',z) et (x,y,z') appartiennent aussi à R.
Je ne comprends pas pourquoi il est dit {IngId} ➔➔ {SgbdId} et {SgbdId} ➔➔ {IngId}.
Si quelqu'un passe par là et a une explication qui pourrait me débloquer...
Merci
Partager