Scribd Logo
Importer

Bienvenue sur Scribd !

  • Exo 5

    Transféré par

    منجد أمين
    3 vues4 pages

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Signaler ce document

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    3 vues4 pages

    Exo 5

    Transféré par

    منجد أمين

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    sur 4

    Exercice 5 :

    1\ déterminer toutes les DFs :


    Num_permis → nomA ,adresA ,dateN ,date_ renouvellement
    NumC , NomCommission → lieuC , dateC , heureC , motif , dateA ,
    montant, dateP , NomP , verdict, NumP
    NumC , NomCommission → NomCommission
    NomCommission , DateA , numP → verdict
    NomCommission , DateA , numP → numC

    2\ Algorithme de synthèse :

    Etape 1 : trouver une couverture minimale

    1.1 singleton à droite

    NumP → nomA
    NumP → AdresA
    NumP → dateN
    NumP→ date_renouvellement

    NumC , NomCommission → lieuC


    NumC , NomCommission → dateC
    NumC , NomCommission → heureC
    NumC , NomCommission → motif
    NumC , NomCommission → dateA
    NumC , NomCommission → Montant
    NumC , NomCommission → dateP
    NumC , NomCommission → NomP
    NumC , NomCommission → Verdict
    NumC , NomCommission → NumP
    NumC , NomCommission → NomCommission
    NomCommission , DateA , numP → verdic
    NomCommission , DateA , numP → numC

    1.2 irréductibilité à gauche :


    Il n’y a pas d’irréductibilité à gauche.

    1.3 enlever les DFs redondant :


    NumC , NomCommission → NomCommission
    Un sous-ensemble qui determine un sous-ensemble.

    NomCommission , DateA , numP → numC


    Par augmentation :
    NomCommission , DateA , numP → numC , NomCommission
    NumC , NomCommission → Verdict
    Par transitivité :
    NomCommission , DateA , num → Verdict
    Donc on peut enlever :
    NomCommission , DateA , numP → verdict
    Etape 2 : regroupement :

    NumP → nomA
    NumP → AdresA
    NumP → dateN
    NumP→ date_renouvellement

    NumC , NomCommission → lieuC


    NumC , NomCommission → dateC
    NumC , NomCommission → heureC
    NumC , NomCommission → motif
    NumC , NomCommission → dateA
    NumC , NomCommission → Montant
    NumC , NomCommission → dateP
    NumC , NomCommission → NomP
    NumC , NomCommission → Verdict
    NumC , NomCommission → NumP
    NumC , NomCommission → NomCommission

    NomCommission , DateA , numP → numC

    Etape 3 : construire les relations :


    Automobilistes (Num_permis nomA ,adresA ,dateN ,date_
    renouvellement)

    Contravention (NumC , NomCommission lieuC , dateC , heureC , motif


    , dateA , montant, dateP , NomP , verdict, NumP)
    Historique_verdict (NomCommission , DateA , numP numC)

    Etape 4 : les cas spéciaux


    N'existent pas.

    Etape 5 : ajouter des relations (cas spéciaux)


    N'existe pas

    Vous aimerez peut-être aussi