Académique Documents
Professionnel Documents
Culture Documents
Alge Bre Relation Nelle Graph I Que
Alge Bre Relation Nelle Graph I Que
doc
Algbre
Et
Calcul Relationnel
Afpa St Brieuc 17/06/2014 Pae !1
Le modle relationnel 234433386.doc
LALGBRE RELATIONNELLE:
OPERATIONS DE BASE
Lalgbre relationnelle a "t" in#ent"e par $. Co comme une collection d%op"ration&
formelle& 'ui ai&&ent &ur de& relation& et produi&ent de& relation& en r"&ultat& ()odd7*+.
*n peut con&id"rer 'ue l%al,re relationnelle e&t au- relation& ce 'u%e&t l%arit.m"ti'ue
au- entier&. )ette al,re/ 'ui con&titue un en&em,le d%op"ration& "l"mentaire& a&&oci"e&
au modle relationnel/ e&t &an& doute une de& force& e&&entielle& du modle. )odd a
initialement introduit .uit op"ration&/ dont certaine& peu#ent 0tre compo&"e& 1 partir
d%autre&. 2an& cette &ection/ nou& allon& introduire &i- op"ration& 'ui permettent de
d"duire le& autre& et 'ui &ont appel"e& ici op"ration& de ,a&e. 3ou& introduiron& en&uite
'uel'ue& op"ration& additionnelle& 'ui &ont parfoi& utili&"e&. 2e& auteur& ont propo&"
d%autre& op"ration& 'ui peu#ent tou4our& &e d"duire de& op"ration& de ,a&e (2elo,el83.
5aier83+.
Le& op"ration& de ,a&e peu#ent 0tre cla&&"e& en deu- t6pe&! le& op"ration& en&em,li&te&
traditionnelle& 7une relation "tant un en&em,le de tuple&/ elle peut 0tre trait"e comme tel8
et le& op"ration& &p"cifi'ue&.
Le& op"ration& en&em,li&te& &ont de& op"ration& ,inaire&/ c%e&t919dire 'u%1 partir de deu-
relation& elle& en con&trui&ent une troi&ime. )e &ont l%union/ la i!!"rence et le #rouit
cart"$ien.
Le& op"ration& &p"cifi'ue& &ont le& op"ration& unaire& de #ro%ection et re$triction 'ui/ 1
partir d%une relation/ en con&trui&ent une autre/ et l%op"ration ,inaire de 4ointure. 3ou&
allon& d"finir toute& ce& op"ration& plu& pr"ci&"ment
Afpa St Brieuc 17/06/2014 Pae !2
Le modle relationnel 234433386.doc
&' LES OP(RATIONS ENSE)BLISTES
&'&'*NION
Lunion e&t l%op"ration cla&&i'ue de la t."orie de& en&em,le& adapt"e au- relation& de
m0me &c."ma.
Notion : *nion +*nion,
Opration portant sur deux relations de mme schma RELATION1 et RELAT10N2
consistant construire une relation de mme schma RELAT10N! a"ant pour tuples ceux
appartenant RELATION1 ou RELATION2 ou aux deux relations#
Plu&ieur& notation& ont "t" introduite&pour cette op"ration &elon le& auteur& !
:$LA;<*31 = :$LA;<*32
=3<*3 7:$LA;<*31/ :$LA;<*328
APP$32 7:$LA;<*31/ :$LA;<*328
La notation rap.i'ue repr"&ent"e fiure 1 e&t au&&i utili&"e. A titre d%e-emple/ l%union de&
relation& ><3S 1 et ><3S 2 e&t repr"&ent"e fiure 2. 7relation ><3S8
$i%ure 1& reprsentation %raphi'ue de l(union
Afpa St Brieuc 17/06/2014 Pae !3
RSULTAT
RELATION 1 RELATION 2
=
Le modle relationnel 234433386.doc
-in$ & Cru )ill R"gion Couleur
)?$3AS 1@83 B$A=A*LA<S :*=B$
;*CAD 1@80 ALSA)$ BLA3)
;A>$L 1@86 :?*3$ :*S$
-in$ . Cru )ill R"gion Couleur
;*CAD 1@80 ALSA)$ BLA3)
)?ABL<S1@8E B*=:B*B3$ :*=B$
-in$ Cru )ill R"gion Couleur
)?$3AS 1@83 B$A=A*LA<S :*=B$
;*CAD 1@80 ALSA)$ BLA3)
;A>$L 1@86 :?*3$ :*S$
)?ABL<S1@8E B*=:B*B3$ :*=B$
$i%ure 2 ) Exemple dunion
Afpa St Brieuc 17/06/2014 Pae !4
Le modle relationnel 234433386.doc
&'.'DI//ERENCE
La diffrence e&t "alement l%op"ration cla&&i'ue de la t."orie de& en&em,le& adapt"e au-
relation& de m0me &c."ma.
Notion : Di!!"rence +Di!!erence,
Opration portant sur deux relations de mme schma RELATION1 et REL#AT10N2 consistant
construire une relation de mme schma RELAT10N! a"ant pour tuples ceux appartenant
RELATION1 et nappartement pas la RELATION2
La diff"rence e&t un op"rateur non commutatif ! l%ordre de& relation& op"rande& e&t donc
important. Plu&ieur& notation& ont "t" introduite& pour cette op"ration &elon le& auteur&
:$LA;<*31 9 :$LA;<*32
2<FF$:$3)$ 7:$LA;<*31/ :$LA;<*328
5<3=S 7:$LA;<*31/ :$LA;<*328
La notation rap.i'ue repr"&ent"e fiure 3 e&t au&&i utili&"e. G titre d%e-emple/ la diff"rence de&
relation& ><3S 1 9 ><3S 2 e&t repr"&ent"e fiure 4 7><3S8
$i%ure !& Reprsentation %raphi'ue de la di**rence
-in$ & Cru )ill R"gion Couleur
)?$3AS 1@83 B$A=A*LA<S :*=B$
;*CAD 1@80 ALSA)$ BLA3)
;A>$L 1@86 :?*3$ :*S$
-in$ . Cru )ill R"gion Couleur
;*CAD 1@80 ALSA)$ BLA3)
)?ABL<S1@8E B*=:B*B3$ :*=B$
-in$ Cru )ill R"gion Couleur
)?$3AS 1@83 B$A=A*LA<S :*=B$
;A>$L 1@86 :?*3$ :*S$
$i%ure + ) Exemple de di**rence
Afpa St Brieuc 17/06/2014 Pae !E
:$S=L;A;
:$LA;<*3 1 :$LA;<*3 2
9
Le modle relationnel 234433386.doc
&'0' PROD*IT CART(SIEN
Le produit cartsien e&t l%op"ration en&em,li&te 'ue nou& a#on& rappel"e ci9de&&u& pour d"finir
le concept de relation. $lle e&t adapt"e au- relation&. )ette foi&/ le& deu- relation& n%ont pa&
n"ce&&it" d%a#oir le m0me &c."ma.
Notion : Prouit cart"$ien +Carte$ian #rouct,
Opration portant sur deux relations RELATION1 et RELATION2 consistant construire une
relation RELATION! a"ant pour schma la concatnation de ceux des relations oprandes et
pour tuples toutes les com,inaisons des tuples des relations oprandes#
2e& notation& po&&i,le& pour cette op"ration &ont!
:$LA;<*31 H :$LA;<*32
P:*2=); 7:$LA;<*31/ :$LA;<*328
;<5$S 7:$LA;<*32/ :$LA;<*328
La notation rap.i'ue repr"&ent"e fiure E e&t au&&i utili&"e. G titre d%e-emple/ la relation ><3S
repr"&ent"e fiure 6 e&t le produit cart"&ien de& deu- relation& ):=S et A33$$S de la m0me
fiure.
$i%ure - & Exemple de produit cartsien
Afpa St Brieuc 17/06/2014 Pae !6
:$S=L;A;
:$LA;<*31 :$LA;<*32
H
Le modle relationnel 234433386.doc
-in$ & Cru R"gion Couleur
)?$3AS B$A=A*LA<S :*=B$
;*CAD ALSA)$ BLA3)
;A>$L :?*3$ :*S$
1
Ann"e )ill
1@80
1@8E
-in$ Cru R"gion Couleur )ill
)?$3AS B$A=A*LA<S :*=B$ 1@80
;*CAD ALSA)$ BLA3) 1@80
;A>$L :?*3$ :*S$ 1@80
)?$3AS B$A=A*LA<S :*=B$ 1@8E
;*CAD ALSA)$ BLA3) 1@8E
;A>$L :?*3$ :*S$ 1@8E
$i%ure . ) Exemple du produit cartesien
Afpa St Brieuc 17/06/2014 Pae !7
Le modle relationnel 234433386.doc
.' LES OP(RATIONS SP(CI/I2*ES
.'&' PRO3ECTION
La projection e&t une op"ration &p"cifi'ue au- relation& 'ui permet de &upprimer de& attri,ut&
d%une relation. Son nom pro#ient du fait 'u%elle permet de pa&&er d%une relation n9aire 1 une
relation p9aire a#ec pIn donc d%un e&pace 1 n dimen&ion& 1 un e&pace 1 moin& de dimen&ion&.
Notion 4 Pro%ection +Pro%ection,
Opration sur une relation RELATION 1 consistant composer une relation RELATION2 en
enle/ant la relation initiale tous les attri,uts non mentionns en oprandes 0aussi ,ien au
ni/eau du schma 'ue des tuples1 et en liminant les tuples en dou,le 'ui sont conser/s une
seule *ois#
Le& notation& &ui#ante& &ont utili&"e& pour cette op"ration/ en d"&inant par Attri,uti/ Attri,ut4/
Attri,utm le& attri,ut& de pro4ection!
Attri,uti/ Attri,ut2/ ... Attri,utm 7:$LA;<*318
:$LA;<*3 1 (Attri,uti/ Attri,ut2/ ... Attri,utm +
P:*A$); 7:$LA;<*3 1/ Attri,uti/ Attri,ut2/ ... Attri,utm8
La notation rap.i'ue repr"&ent"e fiure 7 e&t au&&i utili&"e. Le trapJe .oriJontal &inifie 'ue
l%on r"duit le nom,re de colonne& de la relation ! partant du nom,re repr"&ent" par la ,a&e/ on
pa&&e au nom,re repr"&ent" par l%anti9,a&e. La fiure 8 donne un e-emple de pro4ection d%une
relation ><3S comportant au&&i l%attri,ut K=AL<;$ &ur le& attri,ut& ):= et :$B<*3.
$i%ure 3 & Reprsentation %raphi'ue de la pro2ection
Afpa St Brieuc 17/06/2014 Pae !8
:$S=L;A;
A1/A2/..An
:$LA;<*3
Le modle relationnel 234433386.doc
-in$ & Cru )ill R"gion 2ualit"
>*L3AD 1@83 B*=:B*B3$ A
>*L3AD 1@7@ B*=:B*B3$ B
)?$3AS 1@83 B$A=A*LA<S A
A=L<$3AS 1@86 B$A=A*LA<S )
Pro4ect 7:$LA;<*3 1/ )ru/ :"ion8
Pro%+-in$, Cru R"gion
>*L3AD B*=:B*B3$
)?$3AS B$A=A*LA<S
A=L<$3AS B$A=A*LA<S
$i%ure 4 & Exemple de pro2ection
.'.' RESTRICTION
La restriction e&t au&&i une op"ration &p"cifi'ue unaire 'ui produit une nou#elle relation en
enle#ant de& tuple& 1 la relation op"rande &elon un critre.
Notion : Re$triction +Re$triction,
Opration sur une relation RELATION i produisant une relation RELATION2 de mme schma
mais comportant les seuls tuples 'ui /ri*ient la condition prcise en ar%ument#
Le& condition& po&&i,le& &ont du t6pe!
IAttri,utL I*p"rateurL I>aleurL
oM l%op"rateur e&t un op"rateur de comparai&on c.oi&i parmi NO5 I/ I/ L5 L5 P. L%attri,ut doit
appartenir 1 la relation &ur la'uelle &%appli'ue le critre. Par e-emple/ pour la relation ><3S/
):= 6 Q).a,li&R e&t une condition de re&triction po&&i,le. 2$B:$L 12 e&t une autre condition
po&&i,le. <l e&t au&&i po&&i,le d%utili&er de& compo&ition& loi'ue& de critre& &imple&/ c%e&t919
dire de& QetR et QouR de condition& "l"mentaire&. *n pourra par e-emple utili&" le critre ):= 6
Q).a,li&R et 2$B:$L 12/ ou encore le critre ):= 6 Q).a,li&R ou 2$B:$ 6 12. ;oute
compo&ition de critre& #alide& par con4onction et di&4onction 7de& parent.&e& peu#ent 0tre
utili&"e& pour pr"ci&er le& priorit"&8 e&t #alide. 3oton& 'ue le& compo&ition& loi'ue& peu#ent
au&&i 0tre o,tenue& par union et inter&ection 7#oir ci9de&&ou&8 de relation& re&treinte&.
Le& notation& &ui#ante& &ont utili&"e& pour la re&triction!
condition 7:$LA;<*318
:$LA;<*3 1 ()ondition+
:$S;:<); 7:$LA;<*31/ )ondition8
ain&i 'ue la notation rap.i'ue repr"&ent"e fiure @. Le trapJe #ertical &inifie 'ue l%on r"duit
le nom,re de tuple& de la relation ! partant du nom,re repr"&ent" par le cSt" auc.e on pa&&e au
nom,re repr"&ent" par le cSt" droit. La fiure 10 repr"&ente la re&triction d%une relation ><3S
Afpa St Brieuc 17/06/2014 Pae !@
Le modle relationnel 234433386.doc
enric.ie d%un attri,ut K=AL<;$ par la condition millL1@83
$i%ure 6& Reprsentation %raphi'ue de la restriction
-in$ Cru )ill R"gion 2ualit"
>*L3AD 1@83 B*=:B*B3$ A
>*L3AD 1@7@ B*=:B*B3$ B
)?$3AS 1@83 B$A=A*LA<S A
A=L<$3AS 1@86 B$A=A*LA<S )
:$S;:<); 7:$LA;<*31/ cru L 1@838
-in$ Cru )ill R"gion 2ualit"
A=L<$3AS 1@86 B$A=A*LA<S )
$i%ure 10& Exemple de restriction
Afpa St Brieuc 17/06/2014 Pae !10
:$S=L;A;
Ai * >aleur
:$LA;<*3
Le modle relationnel 234433386.doc
.'0' 3OINT*RE
La jointure e&t une de& op"ration& e&&entielle& de l%al,re relationnelle/ &an& doute la plu&
difficile 1 r"ali&er dan& le& &6&tme&. La 4ointure permet de compo&er deu- relation& 1 l%aide
d%un critre de 4ointure. $lle peut 0tre #ue comme une e-ten&ion du produit cart"&ien a#ec une
condition permettant de comparer de& attri,ut&. 3ou& la d"finiron& comme &uit!
Notion : 3ointure +3oin,
Opration consistant rapprocher selon une condition5 les tuples de deux relations
RELATION1 et RELATION2 a*in de *ormer une troisi7me relation RELATION! 'ui contient
lensem,le de tous les tuples o,tenus en concatnant un tuple de RELATION1 et un tuple de
RELATION2 /ri*iant la condition de rapprochement#
La 4ointure de deu- relation& produit donc une troi&ime relation 'ui contient toute& le&
com,inai&on& de tuple& de& deu- relation& initiale& 'ui &ati&font la condition &p"cifi"e. La
condition doit ,ien &Tr permettre le rapproc.ement de& deu- relation&/ et donc 0tre du t6pe!
IAttri,ut 1L Iop"rateurL IAttri,ut2L
oM Attri,ut1 appartient 1 :$LA;<*31 et Attri,ut2 1 :$LA;<*32.
Selon le t6pe d%op"rateur/ on di&tinue!
U l%"'ui94ointure dan& le ca& oM l%op"rateur e&t 65 'ui e&t une #"rita,le compo&ition de relation&
au &en& mat."mati'ue du terme
U l%in"'ui94ointure dan& le& autre& ca&/ c%e&t919dire a#ec un de& op"rateur& I/ I/ L/ L
2an& le ca& d%"'ui94ointure/ le& deu- attri,ut& "au- apparai&&ent c.acun dan& le r"&ultat! il 6 a
donc duplication d%une m0me #aleur dan& c.a'ue tuple. Afin d%"liminer cette redondance/ on
d"finit la 4ointure naturelle comme &uit!
Notion : 3ointure naturelle +Natural 3oin,
Opration consistant rapprocher selon une condition les tuples de deux relations
RELATION1 et RELATION2 a*in de *ormer une troisi7me relation RELATION! dont les
attri,uts sont lunion des attri,uts RELATION1 et de RELATION2 dont les tuples sont o,tenus
en composant un tuple de RELATION1 et un T89LE de RELATION2 a"ant mme /aleurs pour
les attri,uts de mme nom#
Afpa St Brieuc 17/06/2014 Pae !11
Le modle relationnel 234433386.doc
L%op"ration de 4ointure e&t repr"&ent"e par l%une de& notation& &ui#ante&/ la condition "tant
&implement omi&e dan& le ca& de 4ointure naturelle 7c%e&t alor& l%"alit" de& attri,ut& de m0me
nom8!
:$LA;<*3 1 :$LA;<*32
)ondition
A*<3 7:$LA;<*31/ :$LA;<*32/ )ondition8
La fiure 11 donne la repr"&entation rap.i'ue de l%op"ration de 4ointure alor& 'ue la fiure 12
illu&tre cette op"ration en effectuant la 4ointure naturelle de& deu- relation& ><3S et
L*)AL<SA;<*3. L%in"'ui94ointure de ce& deu- relation& &elon la condition K=AL<;$ 7
K=AL<;$ 5*D$33$ e&t repr"&ent"e fiure 13. *n &uppo&e l1 'ue le& 'ualit"& &ont cod"e& par
ordre d"croi&&ant A/ B/ )/ 2/ $.
$i%ure 11 ) reprsentation %raphi'ue de la :ointure
-in$ Cru )ill 2ualit"
>*L3AD 1@83 A
>*L3AD 1@7@ B
)?ABL<S 1@83 A
A=L<$3AS 1@86 )
Aointure
Locali&ation )ru :"ion Kual5o6
>*L3AD B*=:B*B3$ A
)?ABL<S B*=:B*B3$ A
)?ABL<S )AL<F*:3<$ B
-inReg Cru )ill R"gion 2ualit" )o8enne
>*L3AD 1@83 B*=:B*B3$ A
>*L3AD 1@7@ B*=:B*B3$ B
)?ABL<S 1@83 B*=:B*B3$ A
)?ABL<S 1@83 )AL<F*:3<$ A
$i%ure 12& :ointure naturelle des relation ;IN< et LO=ALI<ATION
Afpa St Brieuc 17/06/2014 Pae !12
:$S=L;A;
Ai B4
:$LA;<*3 1 :$LA;<*3 2
Le modle relationnel 234433386.doc
-in$ Cru )ill 2ualit"
>*L3AD 1@83 A
>*L3AD 1@7@ B
)?$3AS 1@83 A
A=L<$3AS 1@86 )
Aoint 7Kualit" Kual5o68
Locali&ation )ru :"ion Kual5o6
>*L3AD B*=:B*B3$ A
)?ABL<S B*=:B*B3$ A
)?ABL<S )AL<F*:3<$ B
-inReg Cru )ill 2ualit" Cru R"gion 2ual)o8
>*L3AD1@83 A )?ABL<S )AL<F*:3<$ B
>*L3AD1@7@ B >*L3AD B*=:B*B3$ A
>*L3AD 1@7@ B )?ABL<S B*=:B*B3$ A
)?ABL<S1@7@ A )?ABL<S )AL<F*:3<$ B
A=L<$3AS 1@86 ) >*L3AD B*=:B*B3$ A
A=L<$3AS 1@86 ) )?ABL<S B*=:B*B3$ A
A=L<$3AS 1@86 ) )?ABL<S )AL<F*:3<$ B
$i%ure 1!& In'ui>2ointure des relation ;IN< et LO=ALI<ATION
La 4ointure n%e&t pa& tou4our& con&id"r"e comme une op"ration de ,a&e de l%al,re
relationnelle. $n effet/ &i l%on "tend la d"finition de la re&triction de manire 1 con&id"rer de&
condition& multiattri,ut& du t6pe IAttri,ut 1L I*p"rateurL IAttri,ut2L/ alor& la 4ointure peut
0tre o,tenue par un produit cart"&ien &ui#i d%une re&triction du r"&ultat comme &uit!
A*<3 7:$LA;<*31/ :$LA;<*32/ )ondition8 6
:$S;:<); 77:$LA;<*31 H :$LA;<*328/ )ondition8
)ompte tenu de l%importance de la 4ointure/ nou& a#on& pr"f"r" ici d"finir la 4ointure comme une
op"ration de ,a&e.
Afpa St Brieuc 17/06/2014 Pae !13
Le modle relationnel 234433386.doc
LALGBRE RELATIONNELLE:
OP(RATIONS D(RI-(ES
Le& op"ration& pr"&ent"e& ci9de&&ou& &ont parfoi& utili&"e& pour manipuler de& relation&. $lle&
peu#ent en "n"ral 0tre o,tenue& par com,inai&on de& op"ration& pr"c"dente&. 2an& certain& ca&
7)ompl"ment/ Aointure e-terne8/ leur e-pre&&ion 1 partir de& op"ration& de ,a&e n"ce&&ite la
manipulation de relation& con&tante& 1 tuple& pr"9d"fini&/ telle& 'ue la relation o,tenue par le
produit cart"&ien de& domaine&/ ou encore celle compo&"e d%un &eul tuple 1 #aleur& toute&
nulle&.
9'&' INTERSECTION
Lintersection e&t l%op"ration cla&&i'ue de la t."orie de& en&em,le& adapt"e au- relation& de
m0me &c."ma.
Notion : Inter$ection +Inter$ection,
Opration sur deux relations de mme schma RELATIONet RELATION2 consistant
construire une relation de mme schma RELATION! a"ant pour tuples ceux appartenant la
*ois RELATION1 et RELATION2
Plu&ieur& notation& ont "t" introduite& pour cette op"ration &elon le& auteur&
:$LA;<*31 :$LA;<*32
<3;$:S$); 7:$LA;<*31/ :$LA;<*328
A32 7:$LA;<*31/ :$LA;<*328
La notation rap.i'ue repr"&ent"e fiure 14 e&t au&&i utili&"e.
Afpa St Brieuc 17/06/2014 Pae !14
:VS=L;A;
Le modle relationnel 234433386.doc
Afpa St Brieuc 17/06/2014 Pae !1E
$i%ure 1+ & Reprsentation %raphi'ue de lintersection
:$LA;<*31 :$LA;<*32
Le modle relationnel 234433386.doc
L%inter&ection e&t une op"ration redondante a#ec le& op"ration& de ,a&e en ce &en& 'u%il e&t
po&&i,le de l%o,tenir 1 partir de la diff"rence 1 l%aide d%une de& formule& &ui#ante&!
:$LA;<*31 :$LA;<*32 6 :$LA;<*31 9 7:$LA;<*31 9 :$LA;<*328
:$LA;<*31 :$LA;<*32 6 :$LA;<*32 9 7:$LA;<*32 9 :$LA;<*318
9'. DI-ISION
La division permet de rec.erc.er dan& une relation le& &ou&9tuple& 'ui &ont compl"t"& par tou& ceu- d%une autre
relation. $lle permet ain&i d%"la,orer la r"pon&e 1 de& 'ue&tion& de la forme Q'uel 'ue &oit -/ trou#er 6R de
manire &imple.
2e manire formelle/ d"&inon& par ai une #aleur 'uelcon'ue de lWattri,ut Ai.
=n tuple e&t alor& une &uite de #aleur& Ia1/a2/a3/X..L.=tili&ant ce& notation&/ le 'uotient de 2 par d e&t d"fini
par !
K O NIa1/ a2/ XapL tel 'ue 'uel'ue &oit IapY1/ XanL de d/ Ia1/ a2/Xap/ apY1/X/ anL appartient 1 2P
Le& notation& po&&i,le& pour la di#i&ion &ont !
2 d
2<><S<*3 72/d8
ain&i 'ue la repr"&entation rap.i'ue donn"e fiure1E.
=n e-emple de la di#i&ion e&t donn" fiure 16.
Afpa St Brieuc 17/06/2014 Pae !16
Notion: Di:i$ion +Di:i$ion,
Opration consistant construire le 'uotient de la relation ? 0A 15 A2### Ap5 Ap@ 15 ... An1 par la
relation d0Ap@ 15 ... An1 comme la relation A0A 15 A2### Ap1 dont les tuples sont ceux 'ui
concatns tout tuple de d donnent un tuple de ?#
:$S=L;A;
:$LA;<*31 :$LA;<*32