Académique Documents
Professionnel Documents
Culture Documents
Corrigésérie 01 Fin
Corrigésérie 01 Fin
Exercice02
(a) "Un bureau peut contenir plusieurs postes téléphoniques"
Cette contrainte n'est pas vérifiée car Bureau contient la dépendance fonctionnelle
Num Bureau → NumTelephone donc à un bureau est associé un et un seul numéro de téléphone.
Pour que la contrainte soit vérifiée, il faudrait supprimer cette dépendance fonctionnelle.
(b) "Il y a une et une seule personne par Bureau"
Cette contrainte est vérifiée car Occupant contient la dépendance fonctionnelle NumBureau →
PersonneID, donc à un numéro de bureau est associée une et une seule personne.
(c) "Un bureau contient un seul ordinateur"
Cette contrainte n'est pas vérifiée car il y a juste l'information qu'un ordinateur est dans un seul
bureau (NumPC → NumBureau) mais pas l'inverse. Pour que la contrainte soit vérifiée, il faudrait
ajouter la dépendance fonctionnelle Num Bureau → NumPC.
Exercice03
Par réflexivité, on a A → A.
Par additivité : K → L et A → A donnent KA → LA.
Par transitivité, KA → LA et LA → M donnent KA → M.
Exercice 04
Le graphe ADF comporte un circuit comprenant les attributs {CODE, NUMCONTRAT, TITRE}. Les
identifiants sont {CODE}, {NUM-CONTRAT} et {TITRE}. Chacun des déterminants est un
identifiant. La relation PROJET est donc normalisée.
Université de Bejaia
Département d’Informatique BDDA
M1 RS/ASR (2022/2023)
Corrigé Série TD1
Exercice 05
1. Les DFs
numens-> nomens, prenomens, adressens
numeleve -> nomeleve, prenomeleve, adresseeleve
numens, numeleve,numlivre -> datesortie , dateretour
numeleve,numlivre -> datesortie, dateretour
Dr. N. Bouadem