On appelle jointure naturelle, l'opération qui s'exprime par
l'expression de l'algèbre relationnelle suivante :
RjoinS = piA,B,C(sigmaB=B'(R × rho
B->
B'
(S)))
On appelle semi-jointure, l'opération qui s'exprime par l'expression
de l'algèbre relationnelle suivante :
R |>to -.45em< S = piA,B(RjoinS)
On connaît les règles de réécriture suivantes :
piX(piY(R)) = piX(R) si Xinclus dans ou égal à Y
piX(R × S) = piX inter R(R) × piX
inter S(S) où R et S sont les
attributs de R et S.
piX(sigmaA=B(R)) = sigmaA=B(piX(R)) si A appartient à X
et B appartient à X.
Montrer rigoureusement par réécriture des expressions algébriques
que la semi-jointure peut également être calculée par l'expression
suivante : (2 points)
R |>to -.45em< S = Rjoin piB(S)
Exprimer la jointure naturelle entre R et S dans le calcul
relationnel? (2 points)
Calculer :
RjoinS (1 point)
R U rhoB -> A,C -> B(S) (1 point)
R - rhoB -> A,C -> B(S) (1 point)
piA(R) - piA((piA(R) × piB(S))-R) (1 point)
1.2 Axiomes d'Armstrong (2 Points)
Montrer que l'union (1 point) et la pseudo-transitivité (1 point)
peuvent s'exprimer en fonction de la réflexivité, de l'augmentation et
de la transitivité.