Académique Documents
Professionnel Documents
Culture Documents
Rsum
Dure : 45 minutes. Aucun document autoris. Le barme est donn titre indicatif. Jusqu' deux
points sont accords pour la prsentation. Les rponses doivent imprativement tre donnes sur la feuille.
On donne les rgles d'infrences suivantes pour les dpendances fonctionnelles. On rappelle que le systme
d'Armstrong est compos des rgles Reex., Aug. et Trans.
Y X
Reex.
X Y
X Y
X Z Compo.
X YZ
X Y
Aug.
WX WY
X YZ Decompo.
X Y
X Y
WY Z
X Y
Y Z
PseudoTrans.
Trans.
WX Z
X Z
YW X
ZW X
Essai.
YZ X
2. Une dpendance fonctionnelle triviale est une dpendance de la forme X Y avec Y X . Expliquer
pourquoi on appelle de telles dpendances triviales. (1 pt)
3. Dnir la relation de satisfaction d'une dpendance d'inclusion R[X ] S[Y ] par les instances r et s ,
note r , s |= R[X ] S[Y ] (1 pt)
4. Donner la dnition de la correction (ou adquation) du systme d'Armstrong pour les dpendances
fonctionnelles (1 pt)
1. Remplir le tableau ci-dessous en utilisant les symboles X et pour indiquer pour chacun des systmes
s'il est correct et s'il est complet. (4 pts, -0.5 par erreur)
Systme
Correction
Compltude
2. Justier votre rponse sur la compltude du systme {Reflex., Aug ., PseudoTrans.}. (1.5 pt)
3. Justier votre rponse sur la correction du systme {Reflex., Aug ., Trans., Essai.}. (1.5 pt)
1. Prouver que |= DE C en utilisant uniquement les rgles Reex., Aug. et Trans. (2 pts)
2. Mme question en utilisant l'algorithme de fermeture (donner les tapes du calcul) (2 pts)
IdResp
Etoile
Ramdam
Websem
Art
1
1
3
4
Projets
IdC
NomC
Grade
1
2
3
4
5
6
Fouilhoux
Pesneau
Borne
Slama
Lopes
Frenoux
Pr
ATER
Mcf
Pr
Mcf
Mcf
Chercheurs
NomP
Taux
IdC
Etoile
Etoile
Etoile
Ramdam
Ramdam
Websem
Websem
Websem
Art
Art
Art
0.1
0.2
0.5
0.1
0.3
0.1
0.1
0.4
0.1
0.15
0.4
1
3
4
2
1
1
3
2
4
1
6
Implications
Soit R = {Projets, Chercheurs, Implications} un schma de bases de donnes. Une instance de cette
base est donne titre d'exemple. La relation Chercheurs = {IdC , NomC , Grade} identie un chercheur
par un numro IdC . Chaque chercheur a un nom et un grade (Pr pour les professeurs, Mcf pour les
matres de confrence et ATER pour les Attachs Temporaires d'Enseignement et de Recherche). La relation Projets = {NomP, IdResp} indique pour chaque projet de recherche identi par son nom l'identiant
du chercheur qui en est responsable. Enn, on stocke dans la relation Implications = {NomP, Taux, IdC } le
taux d'implication (exprim en pourcentage du temps de travail) des chercheurs dans les projets.
1. Identier la dpendance, ou ventuellement les dpendances, qui garantit qu'un identiant de chercheur
dtermine uniquement son nom et son grade (1.5 pt)
2. Identier la dpendance, ou ventuellement les dpendances, qui garantit qu'on ne peut tre impliqu
que dans un projet existant (1.5 pt)
3. Identier la dpendance, ou ventuellement les dpendances, qui garantit qu'un chercheur est toujours
impliqu dans un projet dont il est responsable (1.5 pt)
4. Peut-on assurer avec une dpendance fonctionnelle ou d'inclusion que le taux des chercheurs reponsables est suprieur 20% ? Justier. (1.5 pt)
Exprimer sur le schma prcdent les requtes suivantes en algbre, en calcul relationnel de tuples ou en
SQL (au choix).
1. Quels sont les matres de confrences (grade McF ) responsables de projets (2 pts)
2. Quels sont les chercheurs dont la somme des implications dans les projets est suprieure 100% (3
pts)