Besoin conseil sur la forme 3NF d'un exemple de relvar

[ctobini]

Bonjour,

Je suis en train de lire 'Introduction aux bases de données' 8ème édition de Chris Date et je voudrais avoir votre avis sur un exemple de BCNF (page 378, Chap. 12 sur la normalisation) :



En-tête: Fournisseur, Nom, Produit, Quantité

D'après le commentaire associé à l'exemple :

- il y a 2 clés candidates: { S#, P# } et { SNAME, P# }

- la relvar SSP est en 3NF mais pas en BCNF

D'après ce que j'ai compris :

La relvar est :

- 1NF car les attributs sont atomiques

- 2NF car les attributs non clés (juste QTY donc) sont en relation irréductible avec les clés

Mais j'ai un soucis avec la 3NF car pour moi il y a transitivité (réciproque) S# <-> SNAME et une relvar contenant des DF transitives ne peut être 3NF. A moins que la transitivité ne concerne pas les clés ?

Pouvez-vous m'éclairer là-dessus car du coup j'ai un blocage pour la BCNF ?

En vous remerciant,

C. Tobini

[fsmrel]

Bonsoir C. Tobini,

Je vois que l’on s’intéresse au sujet !

La définition donnée par Chris Date de la 3NF fait l’hypothèse d’une clé candidate unique (page 372 de l’ouvrage que vous citez). Cette limitation me gêne et je préfère celle qui a été donnée par Ted Codd dans l’ouvrage (datant de 1971) cité par Date en bas de la page 378 :

A relation R is in third normal form if it is in second normal form and every non-prime attribute of R is non-transitively dependent on each candidate key of R.

non-prime attribute signifie : attribut n’appartenant à aucune clé candidate.

Donc, la traduction donne ceci :

Une relation R est en troisième forme normale si elle est en deuxième forme normale et si chaque attribut n’appartenant pas à une clé candidate ne dépend transitivement d’aucune clé candidate de R.

Les choses deviennent donc plus claires : si un attribut participe à une clé candidate, il n’est pas concerné par les dépendances transitives, en tant que dépendant.

La relvar SSP est bien en 3NF.

Je vous conseille vivement d’étudier la définition de la 3NF et celle de la BCNF données par Carlo Zaniolo, de façon très rigoureuse (cf. page 385). Là vous n’aurez plus aucun problème d’interprétation.

Il ne faudra pas que j'oublie de demander un jour à Chris Date pourquoi il a fait un tel choix de définition de 3NF (et 2NF, mutatis mutandis).

En attendant, bon courage !

[ctobini]

Bonjour fsmrel et merci de votre intervention,

Je m'intéresse au sujet effectivement, c'est très intéressant et assez fastidieux que d'assimiler la théorie par petits bouts. Le problème étant essentiellement le peu de réels exemples disponibles sur le net, expliqués scolairement

Merci de votre confirmation pour la 3NF, je vais de ce pas me référer à la définition Carlo Zaniolo, comme vous me le conseillez.

Bonne journée et bon week-end,

C. Tobini

[fsmrel]

Bonsoir C. Tobini,

Vive C. Zaniolo !
Une fois assimilée la BCNF, vous pourrez jeter un coup d’œil à la 4NF...
J’ai pondu quelques paragraphes, pour répondre à une question de Sat478.

http://www.developpez.net/forums/sho...d.php?t=358397

Je ne sais pas trop si j’ai été clair, si donc vous aviez le temps, merci de me donner votre avis (Y a pas le feu...)

Bon courage à vous,

Fsmrel