Chapitre 3B

Contrainte dintgrit fonctionnelle
Exemple 1
MICRO nMicro typeMicro modleMicro
0, 1 Connecter 1, n IMPRIMANTE nImp typeImp modleImp rsolutionImp
(1)
nouvelle RG : un micro connu du SI est connect au plus une imprimante Cela ce traduit par la DF : nMicro nImp il existe une Contrainte dIntgrit Fonctionnelle entre les entits MICRO et IMPRIMANTE
Exemple 1 formalisme (a)

CIF
MICRO nMicro typeMicro modleMicro 0, 1 Connecter 1, n
(2)
IMPRIMANTE
nImp typeImp modleImp rsolutionImp
Exemple 1 formalisme (b)
(3)
MICRO nMicro typeMicro modleMicro 0, 1 Connecter 1, n
IMPRIMANTE nImp typeImp modleImp rsolutionImp
Exemple 1 formalisme (c)
(4)
MICRO nMicro typeMicro modleMicro 0, 1 1, n
IMPRIMANTE
nImp typeImp modleImp rsolutionImp
CIF
Plan
Les concepts cls : proprit, entit, relation Cardinalits
Introduction
Contraintes dintgrit fonctionnelle (CIF) Elaboration dun MCD ...
Exemple 2
CHANTIER nChantier nomChantier lieuChantier Raliser montant dateDb dateFin
(1)
ENTREPRISE nomEntr nTlEntr adresseEntr
TRANCHE nTranche libellTranche
nouvelle RG : Une tranche dun chantier est ralise par au plus une entreprise
Exemple 2
(1)
il existe une CIF entre le couple dentits (CHANTIER, TRANCHE) et lentit ENTREPRISE
Peut-on exprimer cela par les cardinalits ? nouvelle RG : Une tranche dun chantier est ralise par au plus une entreprise
DF : nChantier, nTranche nomEntr
Exemple 2
(2)
nChantier, nTranche nomEntr
nChantier nTranche nomEntr montant dateDb dateFin 0023 2 Lemur 25000 01/02/98 31/02/98 0023 2 Lapelle 12000 01/03/98 10/03/98 0023 1 Lemur 40000 20/12/97 28/12/97 0025 3 Lapelle 30000 15/03/97 25/03/97 0026 3 Lapelle 30000 01/04/98 11/04/98
Exemple 2
(3)
1er essai
0,1
nChantier nTranche nomEntr montant dateDb dateFin 0023 2 Lemur 25000 01/02/98 31/02/98 0023 1 Lemur 40000 20/12/97 28/12/97 0025 3 Lapelle 30000 15/03/97 25/03/97 0026 3 Lapelle 30000 01/04/98 11/04/98
Exemple 2
CHANTIER nChantier 0, 1 nomChantier lieuChantier Raliser montant dateDb dateFin
(4)
2me essai
0,n
Exemple 2
CHANTIER nChantier 0, n nomChantier lieuChantier Raliser montant dateDb dateFin
(5)
ENTREPRISE
1, 1
3me essai
nomEntr nTlEntr adresseEntr
0,n
Exemple 2
CHANTIER nChantier 0, n nomChantier lieuChantier Raliser montant dateDb dateFin
(6)
ENTREPRISE
1, n
un nouveau formalisme est donc ncessaire pour exprimer la CIF !
0,n
Conclusion : la DF, nChantier, nTranche nomEntr, ne peut pas sexprimer laide des cardinalits !
Exemple 2 formalisme (a)

CHANTIER nChantier 0, n nomChantier lieuChantier
Raliser montant dateDb dateFin
(7)
ENTREPRISE
1, n
nChantier nTranche
0,n
CIF
nomEntr
Exemple 2 formalisme (b)

CHANTIER nChantier 0, n nomChantier lieuChantier
(8)
ENTREPRISE
1, n
nChantier nTranche
0,n
nomEntr
Exemple 2 ATTENTION : du fait de la DF, nChantier, nTranche nomEntr
(9)
les DF exprimes normalement par la relation porteuse de proprits, nChantier, nTranche, nomEntr montant
nChantier, nTranche, nomEntr dateDb

nChantier, nTranche, nomEntr dateFin peuvent se simplifier !
Exemple 2 (10) DF exprimes par un relation munie dune CIF

0, n
Raliser montant dateDb dateFin ENTREPRISE
CHANTIER nChantier nomChantier lieuChantier
1, n
0,n
nChantier
nTranche
libell
nomChantier lieuChantier nomEntr date date montant Db Fin
nTl
adresseEntr
Exemple 2 Identifiant dune relation munie dune CIF

CHANTIER nChantier nomChantier lieuChantier
(11)
0, n
ENTREPRISE
1, n
0,n
lidentifiant normal (nChantier, nTranche, nomEntr) peut se simplfier !
Remarque formalisme (c) pour une relation ternaire (ou naire) creuse
ENTITE_A ENTITE_B
identifiantA
identifiantB
...
...
CIF
identifiantA identifiantB
ENTITE_C
identifiantC
identifiantC
...
Elaboration du MCD
Introduction : le point sur la dmarche le dictionnaire est ralis linventaire des DF est ralis
laborer le MCD = exprimer le maximum de

contraintes pour modliser le SI sans redondance dans un tat toujours cohrent
Elaboration du MCD
Exemple 1
nExercice
(1)
nomAuteur
titre nbPages niveauDif typeExercice
activitPale
proprits qui participent une source de DF
libellType
dure
Elaboration du MCD
Exemple 1
nExercice
(1)
nomAuteur

libellType
activitPale
dure
Elaboration du MCD
Exemple 1
nExercice
(1)
nomAuteur

libellType
activitPale
dure
proprit souligne identifiant dune entit
Elaboration du MCD
Exemple 1
EXERCICE nExercice
(2)
AUTEUR nomAuteur
TYPE typeExercice
NIVEAU niveauExer
Elaboration du MCD
Exemple 1
nExercice
(3)
nomAuteur

libellType
activitPale
les DF entre proprits soulignes
dure
Elaboration du MCD
Exemple 1
nExercice
(3)
nomAuteur

libellType
activitPale
DF entre proprites soulignes dure CIF entre les entits correspondantes
Elaboration du MCD
Exemple 1
EXERCICE nExercice ,1 ,1 Appartenir Graduer
(4)
AUTEUR nomAuteur
TYPE typeExercice
NIVEAU niveauExer
Elaboration du MCD
Exemple 1
nExercice
(5)
nomAuteur

libellType
activitPale
les DFC dont le but nest pas soulign
dure
Elaboration du MCD
Exemple 1
nExercice
(5)
nomAuteur

libellType
activitPale
dure
DFC but non soulign relation n-aire porteuse de proprit(s)
Elaboration du MCD
Exemple 1
EXERCICE nExercice
(6)
AUTEUR nomAuteur
,1 Appartenir
,1
Graduer
TYPE typeExercice Estimer dure
NIVEAU niveauExer
Elaboration du MCD
Exemple 1
nExercice
(7)
nomAuteur

libellType
activitPale
dure
le graphe ne montre pas les relations creuses !
Elaboration du MCD
Exemple 1
EXERCICE nExercice
(8)
AUTEUR nomAuteur
Rdiger
,1
,1 Appartenir
Graduer
TYPE typeExercice Estimer dure
NIVEAU niveauExer
Elaboration du MCD
Exemple 1
nExercice
(9)
nomAuteur

libellType
activitPale
dure
on rpartit les proprits non utilises dans les entits
Elaboration du MCD
Exemple 1
nExercice
(9)
nomAuteur

libellType
activitPale
dure
Elaboration du MCD
Exemple 1
EXERCICE nExercice titre nbPage ,1 Appartenir ,1
(10)
AUTEUR
Rdiger
nomAuteur activitPale
Graduer
TYPE typeExercice libell Estimer dure
NIVEAU niveauExer
Elaboration du MCD
Exemple 1
EXERCICE nExercice titre nbPage 1,n
(10)
AUTEUR
Rdiger
nomAuteur 1 , n activitPale
Reste saupoudrer le tout 1,1 1,1 Graduer dune pince de cardinalits !

Appartenir 1,n
1,n TYPE
typeExercice 1 , n libell Estimer dure
NIVEAU 1 , n niveauExer
Elaboration du MCD
Les rgles gales de passage des DF au MCD tape n1 On souligne les proprits
(1)
qui participent des sources de DF

qui sont but de plusieurs DF qui sont isoles (ni source ni but de DF) ces proprits seront les identifiants des entits
Elaboration du MCD
Les rgles gales de passage des DF au MCD tape n1

prop-a
(2)
... ...
prop-b
...
prop-c
...
prop-d
...
Elaboration du MCD

prop-a prop-b
(2)
...
...
prop-c
ENTITE-C prop-c
...
prop-d
...
ENTITE-A prop-a
...
ENTITE-B prop-b
ENTITE-D prop-d
Elaboration du MCD
(3)
On cherche les DFS entre proprits soulignes

prop-e
prop-f
ces DFS se traduiront par des CIF sur des relations binaires
Elaboration du MCD
(3)
On cherche les DFS entre proprits soulignes

prop-e
CIF
ENTITE-E prop-e ... , 1 Relation-R ENTITE-F
prop-f
prop-f
la relation Relation-R est ncessairement creuse
Elaboration du MCD
Les rgles gales de passage des DF au MCD (4) tape n3 on cherche les DFC dont un but est soulign
prop-g prop-h
prop-i
ces DFC se traduiront par des CIF sur des relations n-aires
Elaboration du MCD
Les rgles gales de passage des DF au MCD (4) tape n3 on cherche les DFC dont un but est soulign
ENTITE-G
prop-g Relation-S
ENTITE-H
prop-h
prop-g prop-h
CIF
prop-i
ENTITE-I
la relation nest pas ncessairement creuse !
prop-i
Elaboration du MCD
Les rgles gales de passage des DF au MCD tape n4 on cherche les DFC sans but soulign
(5)
prop-j prop-k prop-l
... ces DFC se traduiront par des relations n-aires porteuses de proprit(s)
Elaboration du MCD
Les rgles gales de passage des DF au MCD tape n4 on cherche les DFC sans but soulign
ENTITE-J ENTITE-K
prop-k Relation-S prop-j
(5)
prop-j prop-k prop-l
...
ENTITE-L prop-l
Elaboration du MCD
(6)
on cherche sil est ncessaire dajouter des relations creuses. (voir relation entre entit EXERCICE et AUTEUR exemple 1)
Elaboration du MCD
Les rgles gales de passage des DF au MCD (7) tape n6 On rpartit les proprits non utilises dans les entits ou ...
prop-m
prop-n prop-p
elles seront les proprits de lentit didentifiant source de la DFS
Elaboration du MCD
Les rgles gales de passage des DF au MCD (7) tape n6 On rpartit les proprits non utilises dans les entits ou ...
prop-m
ENTITE-M prop-m prop-n prop-p
prop-n prop-p
Elaboration du MCD
Les rgles gales de passage des DF au MCD (8) tape n6 On rpartit les proprits non utilises dans les entits ou les relations avec CIF ou ...
prop-p prop-q
prop-r prop-s ...
elles seront les proprits portes par la relation munie de la CIF
Elaboration du MCD
Les rgles gales de passage des DF au MCD (8) tape n6 On rpartit les proprits non utilises dans les entits ou les relations avec CIF ou ...
ENTITE-P prop-p ENTITE-Q Relation-T prop-s ...
CIF
prop-q
prop-p prop-q
prop-r prop-s ...
ENTITE-R prop-r
Elaboration du MCD
Les rgles gales de passage des DF au MCD (9) tape n6 On rpartit les proprits non utilises dans les entits ou les relations avec CIF ou sans
prop-t prop-u prop-v
prop-w prop-x
elles seront les proprits portes par la relation
Elaboration du MCD
Les rgles gales de passage des DF au MCD (9) tape n6 On rpartit les proprits non utilises dans les entits ou les relations avec CIF ou sans
ENTITE-T prop-t Relation-Z prop-w prop-x ENTITE-U prop-u
prop-t prop-u prop-v
prop-w prop-x
ENTITE-V prop-v
Elaboration du MCD
Exemple 2
codeLivre date nAdhrent nom adresse nAuteur titre codeCollect rendu
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
LIVRE codeLivre
DATE date ADHERENT nomAdh
AUTEUR nAuteur
EDITEUR nEditeur
COLLECTION codeCollection
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
LIVRE Ecrire ..., 1 codeLivre
AUTEUR nAuteur
EDITEUR nEditeur
COLLECTION codeCollection ..., 1 Editer
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
Emprunter
AUTEUR nAuteur EDITEUR nEditeur
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
Emprunter
AUTEUR nAuteur EDITEUR nEditeur
Compter
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
LIVRE Ecrire ..., 1 codeLivre titre
DATE date ADHERENT nomAdh nom adresse EDITEUR
Emprunter
AUTEUR nAuteur nomAuteur nEditeur nomEditeur COLLECTION codeCollection ..., 1 nomCollection Editer
Compter
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
DATE date ADHERENT nomAdh nom adresse EDITEUR nEditeur nomEditeur COLLECTION codeCollection ..., 1 nomCollection Editer
AUTEUR nAuteur nomAuteur
Emprunter rendu Compter nbExemp
Elaboration du MCD
Exemple 2
nomAuteur
nomCollect nEditeur
nbExemp
nomEditeur
Elaboration du MCD
Exemple 2
LIVRE Ecrire 0, 1 codeLivre 0,n
DATE date 1,n ADHERENT nomAdh 0,n nom adresse EDITEUR nEditeur nomEditeur
1,n
AUTEUR nAuteur nomAuteur
1,n
Emprunter rendu
Compter nbExemp
0,n COLLECTION codeCollection 1, 1 1 , n nomCollection
1,n
Editer
Chapitre 5 Modle Conceptuel des Donnes

(MCD)
Plan
Les concepts cls : proprit, entit, relation Cardinalits Contraintes dintgrit fonctionnelle (CIF) Elaboration dun MCD ( partir des DF)
Introduction
Plan

Validation dun MCD Structures types (documents MCD)
Validation dun MCD
Le problme dictionnaire, tudes des DF, MCD sont raliss dictionnaire DF MCD
valider = faire des vrifications systmatiques procder aux corrections mthodiques
Validation dun MCD
Vrification 0 les proprits dune entit sont en dpendance fonctionnelle directe de l identifiant
ETUDIANT nEtudiant nom prnom adresse codeBac libellBac
nEtudiant
nom
adresse prnom codeBac
libellBac
Validation dun MCD
Vrification 0 les proprits dune entit sont en dpendance fonctionnelle directe de l identifiant
ETUDIANT nEtudiant nom prnom adresse codeBac libellBac
1, 1
CI F
BAC
0, n codeBac
libellBac
Validation dun MCD
Vrification 1 les proprits dune entit sont lmentaires (univalues)
CONTRAT nContrat DateExpiration nVhicules
,n
Assurer
,n
VEHICULE nVhicule
Validation dun MCD
Vrification 2 une proprit ne figure quune fois dans le MCD

PROFESSEUR codeProf nomProf gradeProf discipline COURS codeCours niveau dure discipline
codeProf
codeCours
discipline
Validation dun MCD
Vrification 2 une proprit ne figure quune fois dans le MCD

PROFESSEUR codeProf nomProf gradeProf discipline COURS codeCours niveau dure discipline
1, 1
CI F DISCIPLINE
1, 1 , n
CI F
, n discipline
Validation dun MCD
Vrification 3 une CIF ne porte pas de proprit

CONTRAT nContrat montantPrime ASSURE
1,1
Concerner dateSouscription
1 , n rfAssur
nomAssur
nContrat rfAssur nContrat , rfAssur dateSouscription
Validation dun MCD
Vrification 3 une CIF ne porte pas de proprit

CONTRAT
nContrat 1,1 montantPrime dateSouscription Concerner dateSouscription
ASSURE
1 , n rfAssur
nomAssur
Validation dun MCD
Vrification 4 pas de cardinalits ( , 1) sur une relation nonbinaire

COLIS nColis poidsColis dateColis 1,1 Livrer 0,n
CLIENT rfClient nomClient adresse
DEPOT codeDpt adrDpt
1,n
Validation dun MCD
Vrification 4 pas de cardinalits ( , 1) sur une relation nonCOLIS binaire

CLIENT rfClient nomClient adresse nColis poidsColis dateColis 1,1 1,n Livrer 0,n DEPOT codeDpt adrDpt
listes occurences de la relation Livrer
nColis 10023 20014 10023 30012
rfClient RG021 RG021 RG021 FT007
codeDpt Dijon1 nColis Beaune nColis Dijon2 Dijon1
rfClient codeDpt
Validation dun MCD

COLIS nColis poidsColis dateColis 1,1 Livrer 0,n
1,n
Validation dun MCD

COLIS nColis poidsColis dateColis 1,1 1,1 CI F 1,n CI F 0,n
Validation dun MCD
Vrification 5 pas dentit superflue dans une relation de dimension 3 !

ENTREPRISE rfEntreprise adrEntreprise IMMEUBLE codeImmeuble adrImmeuble nbEtage 1,n Raliser montant CI F TRAVAUX codeTravaux libellTravaux
0,n
0,n
Validation dun MCD
Vrification 5 pas dentit superflue dans une relation de dimension 3 ! ENTREPRISE

rfEntreprise adrEntreprise IMMEUBLE codeImmeuble adrImmeuble 0,n nbEtage 1,n Raliser montant
CI F
TRAVAUX
0,n
codeTravaux libellTravaux
codeImmeuble, codeTrav, rfEntr montant
codeTrav rfEntr
Validation dun MCD

ENTREPRISE rfEntreprise adrEntreprise IMMEUBLE codeImmeuble adrImmeuble nbEtage 1,n Raliser montant CI F TRAVAUX codeTravaux libellTravaux
0,n
0,n
Validation dun MCD
on coupe la patte reliant la relation lentit but de la CIF

IMMEUBLE codeImmeuble adrImmeuble nbEtage
ENTREPRISE rfEntreprise adrEntreprise CI F TRAVAUX codeTravaux libellTravaux
1 , n
0,n Raliser montant 0,n
Validation dun MCD
on coupe la patte reliant la relation lentit but de la CIF

IMMEUBLE codeImmeuble adrImmeuble nbEtage
ENTREPRISE rfEntreprise adrEntreprise 1,n CI F 1,1 TRAVAUX Raliser montant codeTravaux libellTravaux
0,n
0,n
Structures types
Remarque mthodologigue la dmarche DF MCD nest pas impose par MERISE, cest une mthode pour arriver au MCD on peut laborer le MCD plus directement MAIS
cela ncessite une bonne matrise de la notion de DF ! !
Structures types
Structure FICHE exemples

Inscription : 97235 Formulaire Inscription Nom : Dupont Jean numro : 97235 Adresse : 3, rue Basse Nom : Dupont Jean Commune : 21000 Dijon Adresse : 3, rue Basse Bac : STT Mention : AB Commune : 21000 Dijon Anne : 1996 Bac : STT Mention : AB Date : 1996
NOTICE ARTICLE NOTICE : SX003 rfrence ARTICLE rfrence condensateur dsignation: :SX003 dsignation : prix HT : 12,50 condensateur prix HT MN12 catgorie: :12,50 catgorie : MN12
Structures types
Structure FICHE exemples

rfArticle nInscription
catg dsign prixHT
nom mention bac adresse commune anne INSCRIPTION nInscription ...
ARTICLE rfArticle
Structures types
Structure hirarchise ou PERE-FILS exemple 1

Organisation Force de Vente / Rgion : NordEst1 Organisation Force de CA anne n-1: NordEst1 potentiel clientle : 350 Vente / Rgion :2500 potentiel clientle : 350 CA anne n-1: 2500 Secteur responsable taille quipe Secteur responsable taille 3 quipe Colmar Durand Colmar Durand 3 MetzA Martin 2 MetzA Martin 2 MetzB Dupont 2 MetzB Dupont 2 Nancy Dupont compose de secteurs 3 une rgion est Nancy Dupont 3
un secteur appartient une rgion
Structures types
Structure hirarchise ou PERE-FILS exemple 2

RECAPITULATIF CATEGORIE RECAPITULATIF CATEGORIE catgorie : ENF entre-froide catgorie : EnF entre-froide n Plat libell cotHT/pers n Plat | 0012 | 0034 | 0016 0012 ufs mayonnaise 17,50 nom | uf mayo | Salade verte | Salade pays 0034 Salade verte 9,90 cot/p |catgorie est 17,50 13,20 | compose de plats | 9,90 une 0016 Salade paysanne 13,20
un plat appartient une catgorie
Structures types
Structure hirarchise ou PERE-FILS Dpendances Fonctionnelles nomSecteur nPlat nomPlat cot/p codeRgion codeCatgorie
respon taille -sable quipe
potentiel CA
nomCatgorie
Structures types
potentiel CA
nomCatgorie
Structures types
potentiel CA
nomCatgorie
Structures types
Structure hirarchise ou PERE-FILS MCD

SECTEUR nomSecteur responsable taille quipe PLAT nPlat nomPlat cot/p ... , n REGION codeRgion potentiel CA
... , 1
CI F
... , 1
CI F ... , n CATEGORIE codeCatgorie nomCatgorie
Structures types
Structure TABLEAU exemple 1

BULLETIN TRIMESTRIEL Organisation Force de Vente / Rgion : NordEst1 Num : 350 clientleDurand CA anne n-1: 2500 potentiel Nom : : 350 Prnom : Jean Secteur responsable taille quipe Math Fr HG LV1 LV2 Phy Eps Colmar Durand 3 12 10 3 08 10 17 MetzA Martin 2 MetzB Dupont 2 Nancy Dupont 3 Moyenne gale/20 : par lve et par matire, 10
on a au plus une note
Structures types
Structure TABLEAU exemple 2

STATISTIQUES CLIENTS CA mensuel 1er semestre
Client
A012X A013X A015X
Jan
Fv
Mar
Avr
Mai
Jui
0,00 1,00 1
1,20 0,30 1,08 0,97 0,35 2,20 2,30 1,60 2,20 1,75 0,70 par client et 1,20 mois, 1,30 1,60 par 0,80
on a au plus un CA
Structures types
Structure TABLEAU Dpendances Fonctionnelles numElve nom prnom note CA matire codeClient mois
Structures types
Structure TABLEAU MCD

ELEVE numElve nom prnom CLIENT codeClient MATIERE ... , n Evaluer note ... , n matire
MOIS ... , n Raliser CA ... , n mois
Structures types
ATTENTION : les documents peuvent tre composites (1) structure BULLETIN TRIMESTRIEL TABLEAU
BULLETIN TRIMESTRIEL Num : 350 Nom : Durand Prnom : Jean Num : 350 Nom : Durand Prnom : Jean classe : 1STTA prof pal : : 27 classe : 1STTA effectif Lesage Math Fr Math Fr HG LV1 LV2 Phy Eps HG LV1 LV2 Phy Eps 12 08 10 12 10 10 3 3 08 10 17 17
structure PERE-FILS
Moyenne galeale/20 10 Moyenne g /20 : : 10
Structures types
ATTENTION : les documents peuvent tre composites numElve matire
(2)
nom prnom
classe note TABLEAU PERE-FILS
prof pal
Structures types
ATTENTION : les documents peuvent tre composites

ELEVE numElve nom prnom
... , 1
(3)
MATIERE ... , n Evaluer note ... , n matire
CI F
CLASSE ... , n classe prof pal
TABLEAU PERE-FILS
Structures types
ATTENTION : les documents peuvent tre trompeurs !

nSalle capacit
(1)
A3 30
EQUIPEMENT SALLES BC1 BC2 BC3 A1 A2

25 25 40 45 20
structure FICHE
1
0 X
tab noir
tab blanc retro vido
2
2 X X
0
1 X
2
1
un tableau
1
0
1
structure TABLEAU X

Chapitre 3B

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Chapitre 3B

Transféré par

Droits d'auteur :

Formats disponibles

Contrainte dintgrit fonctionnelle

Contrainte dintgrit fonctionnelle

Exemple 1 formalisme (a)

Contrainte dintgrit fonctionnelle

Exemple 1 formalisme (b)

MICRO nMicro typeMicro modleMicro 0, 1 Connecter 1, n

IMPRIMANTE nImp typeImp modleImp rsolutionImp

Contrainte dintgrit fonctionnelle

Exemple 1 formalisme (c)

MICRO nMicro typeMicro modleMicro 0, 1 1, n

Les concepts cls : proprit, entit, relation Cardinalits

Contraintes dintgrit fonctionnelle (CIF) Elaboration dun MCD ...

Contrainte dintgrit fonctionnelle

TRANCHE nTranche libellTranche

Contrainte dintgrit fonctionnelle

TRANCHE nTranche libellTranche

Contrainte dintgrit fonctionnelle

nChantier, nTranche nomEntr

TRANCHE nTranche libellTranche

Contrainte dintgrit fonctionnelle

Contrainte dintgrit fonctionnelle

Contrainte dintgrit fonctionnelle

nomEntr nTlEntr adresseEntr

Contrainte dintgrit fonctionnelle

nomEntr nTlEntr adresseEntr

un nouveau formalisme est donc ncessaire pour exprimer la CIF !

Contrainte dintgrit fonctionnelle

Exemple 2 formalisme (a)

nomEntr nTlEntr adresseEntr

TRANCHE nTranche libellTranche

Contrainte dintgrit fonctionnelle

Exemple 2 formalisme (b)

nomEntr nTlEntr adresseEntr

Contrainte dintgrit fonctionnelle

Exemple 2 ATTENTION : du fait de la DF, nChantier, nTranche nomEntr

nChantier, nTranche, nomEntr dateDb

Contrainte dintgrit fonctionnelle

Exemple 2 (10) DF exprimes par un relation munie dune CIF

CHANTIER nChantier nomChantier lieuChantier

nomEntr nTlEntr adresseEntr

Contrainte dintgrit fonctionnelle

Exemple 2 Identifiant dune relation munie dune CIF

Raliser montant dateDb dateFin

nomEntr nTlEntr adresseEntr

lidentifiant normal (nChantier, nTranche, nomEntr) peut se simplfier !

Contrainte dintgrit fonctionnelle

laborer le MCD = exprimer le maximum de

titre nbPages niveauDif typeExercice

proprits qui participent une source de DF

titre nbPages niveauDif typeExercice

titre nbPages niveauDif typeExercice

proprit souligne identifiant dune entit

titre nbPages niveauDif typeExercice

les DF entre proprits soulignes

titre nbPages niveauDif typeExercice

DF entre proprites soulignes dure CIF entre les entits correspondantes

titre nbPages niveauDif typeExercice

les DFC dont le but nest pas soulign

titre nbPages niveauDif typeExercice

DFC but non soulign relation n-aire porteuse de proprit(s)

TYPE typeExercice Estimer dure

titre nbPages niveauDif typeExercice

le graphe ne montre pas les relations creuses !

TYPE typeExercice Estimer dure