Illustration du rôle de l'étape 3 de l'algo

• On considère la relation LMSF(liv_num, liv_titre, liv_date, aut_id, aut_nom, aut_prenom, vis_fichier) étudiée en TD auquel on associe le corps suivant :

LMSF
liv_num	liv_titre	liv_date	aut_id	aut_nom	aut_prenom	vis_fichier
10	La vallée magique	1974	2	Hamilton	Edmond	lmsf10.jpg
12	La ville sous globe	1974	2	Hamilton	Edmond	lmsf12.jpg
19	Le pont sur les étoiles	1975	40	Gunn	James E.	lmsf19.jpg
19	Le pont sur les étoiles	1975	69	Williamson	Jack	lmsf19.jpg
6	Les courants de l'espace	1974	30	Asimov	Isaac	lmsf6a.jpg
6	Les courants de l'espace	1974	30	Asimov	Isaac	lmsf6b.jpg
69	Les immortels	1978	40	Gunn	James E.	lmsf69.jpg
112	L'autre présent	1980	44	Shaw	Bob	lmsf112.png

• Que se passe-t-il si on souhaite renseigner le second prénom de James E. Gunn ?
• Quels autres problèmes pose une telle relation ?

Décomposition incomplète (sans appliquer l'étape 3 de l'algorithme de Bernstein)

• À l'issue de la deuxième étape on obtient les relations suivantes :

  • Auteur( aut_id, aut_nom, aut_prenom) FAuteur={aut_id→(aut_nom, aut_prenom)}

    Auteur
    aut_id	aut_nom	aut_prenom
    30	Asimov	Isaac
    40	Gunn	James E.
    2	Hamilton	Edmond
    44	Shaw	Bob
    69	Williamson	Jack

  • Livre(liv_num, liv_titre, liv_datePubli) FLivre = {liv_num→(liv_titre, liv_datePubli)}

    Livre
    liv_num	liv_titre	liv_date
    10	La vallée magique	1974
    12	La ville sous globe	1974
    19	Le pont sur les étoiles	1975
    6	Les courants de l'espace	1974
    69	Les immortels	1978
    112	L'autre présent	1980

  • Couverture(vis_fichier, liv_num) FCouv = {vis_fichier→liv_num}

    Couverture
    vis_fichier	liv_num
    lmsf10.jpg	10
    lmsf12.jpg	12
    lmsf19.jpg	19
    lmsf6a.jpg	6
    lmsf6b.jpg	6
    lmsf69.jpg	69
    lmsf112.png	112

• Construction de la relation LAC issue de la jointure des 3 relations : LAC = Livre ⋈ Auteur ⋈ Couverture
  • Comme les attributs d'auteurs sont indépendants de ceux de Livre et de Couverture :
    LAC = Livre ⋈ Auteur ⋈ Couverture = Auteur x Livre ⋈ Couverture
  • Au final, LAC contient de nombreux enregistrements parasites     

    LAC
    liv_num	liv_titre	liv_date	aut_id	aut_nom	aut_prenom	vis_fichier
    10	La vallée magique	1974	2	Hamilton	Edmond	lmsf10.jpg
    10	La vallée magique	1974	30	Asimov	Isaac	lmsf10.jpg
    10	La vallée magique	1974	40	Gunn	James E.	lmsf10.jpg
    10	La vallée magique	1974	44	Shaw	Bob	lmsf10.jpg
    10	La vallée magique	1974	69	Williamson	Jack	lmsf10.jpg
    12	La ville sous globe	1974	2	Hamilton	Edmond	lmsf12.jpg
    12	La ville sous globe	1974	30	Asimov	Isaac	lmsf12.jpg
    12	La ville sous globe	1974	40	Gunn	James E.	lmsf12.jpg
    12	La ville sous globe	1974	44	Shaw	Bob	lmsf12.jpg
    12	La ville sous globe	1974	69	Williamson	Jack	lmsf12.jpg
    19	Le pont sur les étoiles	1975	40	Gunn	James E.	lmsf19.jpg
    19	Le pont sur les étoiles	1975	69	Williamson	Jack	lmsf19.jpg
    19	Le pont sur les étoiles	1975	30	Asimov	Isaac	lmsf19.jpg
    19	Le pont sur les étoiles	1975	2	Hamilton	Edmond	lmsf19.jpg
    19	Le pont sur les étoiles	1975	44	Shaw	Bob	lmsf19.jpg
    6	Les courants de l'espace	1974	30	Asimov	Isaac	lmsf6a.jpg
    6	Les courants de l'espace	1974	2	Hamilton	Edmond	lmsf6a.jpg
    6	Les courants de l'espace	1974	40	Gunn	James E.	lmsf6a.jpg
    6	Les courants de l'espace	1974	44	Shaw	Bob	lmsf6a.jpg
    6	Les courants de l'espace	1974	69	Williamson	Jack	lmsf6a.jpg
    6	Les courants de l'espace	1974	30	Asimov	Isaac	lmsf6b.jpg
    6	Les courants de l'espace	1974	2	Hamilton	Edmond	lmsf6b.jpg
    6	Les courants de l'espace	1974	40	Gunn	James E.	lmsf6b.jpg
    6	Les courants de l'espace	1974	44	Shaw	Bob	lmsf6b.jpg
    6	Les courants de l'espace	1974	69	Williamson	Jack	lmsf6b.jpg
    69	Les immortels	1978	40	Gunn	James E.	lmsf69.jpg
    69	Les immortels	1978	30	Asimov	Isaac	lmsf69.jpg
    69	Les immortels	1978	2	Hamilton	Edmond	lmsf69.jpg
    69	Les immortels	1978	44	Shaw	Bob	lmsf69.jpg
    69	Les immortels	1978	69	Williamson	Jack	lmsf69.jpg
    112	L'autre présent	1980	44	Shaw	Bob	lmsf112.png
    112	L'autre présent	1980	30	Asimov	Isaac	lmsf112.png
    112	L'autre présent	1980	40	Gunn	James E.	lmsf112.png
    112	L'autre présent	1980	2	Hamilton	Edmond	lmsf112.png
    112	L'autre présent	1980	69	Williamson	Jack	lmsf112.png

Utilisation de la relation FichAut(aut_id, vis_fichier) issue de l'étape 3 de l'algo de Bernstein

FichAut
aut_id	vis_fichier
2	lmsf10.jpg
2	lmsf12.jpg
40	lmsf19.jpg
69	lmsf19.jpg
30	lmsf6a.jpg
30	lmsf6b.jpg
40	lmsf69.jpg
44	lmsf112.png

• Le calcul de LAC ⋈ FichAut supprime tous les enregistrements parasites !
• LMSF = LAC ⋈ FichAut = Livre ⋈ Auteur ⋈ Couverture ⋈ FichaAut