Lif10  Fondements des bases de donnes

Contrle continu 1  24 fvrier 2014

Licence informatique  printemps 20132014
Nom :
Prnom :
Groupe :

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

Exercice 1 : questions de cours (4 pts)

1. Dnir la notion de fermeture d'un ensemble d'attributs en utilisant un ensemble de dpendances

fonctionnelles, note X + (1 pt)

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)

Exercice 2 : correction et compltude (7 pts)

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

{Reflex., Aug ., Trans.}

{Reflex., Trans., Compo., Decompo.}
{Reflex., Aug ., PseudoTrans.}
{Reflex., Aug ., Trans., Essai.}

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)

Exercice 3 : infrence de dpendances (6 pts)

On considre l'ensemble de dpendances suivant :

= {E B, BD A, DF CD, AD F , CE A, AB C }

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)

3. Prouver que 6|= AD B par la mthode de votre choix (2 pts)

Exercice 4 : modlisation (6 pts)

NomP

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)

Exercice 5 : requtes (5 pts)

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)