Chương 6 Phép toán quan hệ

Chương 6
Chương 6
Phép tóan quan hệ
Phép tóan quan hệ

Nội dung
Nội dung







 !"

#
Mở đầu
Mở đầu

$ %&'()*+'','-.
!/012%&',,%3"4

50%6() %7
-8''4()*(9': -%;'<
%=>'

?!@<,AB012C(>!"4
7-.!/'.4"4"<,'
D4-C: C:
:C4C'C'C 

E
So sánh đại số quan hệ và
So sánh đại số quan hệ và
phép tính quan hệ
phép tính quan hệ

$ -:C4CC:-'=F
G'AH!;7C8-B

-:C4C'C'C <7'=
FG'!"H!;7>IJ

K(GLM:  NC<I','"''/
'.I''/G) #O
P
So sánh đại số quan hệ và
So sánh đại số quan hệ và
phép tính quan hệ
phép tính quan hệ

Q3:4 L-B>>'IR
% L
S 4<3>I'F#0T2UV!"
0WUVQ-I'0XY
#S )'Z[<3+'F<3".A'\
']C','CI3G)#Y
ES )'3-4^:'*<3+'\']C
'0XS
_
So sánh đại số quan hệ và

So sánh đại số quan hệ và
phép tính quan hệ
phép tính quan hệ

Q3:4BL

B`"''/0X 4'4a!8'.*
"0"4='=')`0X!"'=`G)XC"
#S

:'C'C D4-4 (: '-!:bC::
C:-'4: -: '-!:
c
Phép tính quan hệ
Phép tính quan hệ

2"d,'FC4'!9e-:(':C4'

$%&'()-402(%;#(L

C:-:C4C'C'C f

4-:C4C'C'C f

g
Phép tính quan hệ bộ - TRC
Phép tính quan hệ bộ - TRC

,': -4'=(L
hi4(4j

-:'k3C:!-C:

K(GLB/'+7','7Z'%&'
(.-4)#llg
hiVmWUQnmQS0:: :-opq#llgrj
0V2VsqtVmWUQn
uWVVS0:: :-opq#llgr
012C"3*!@'v,'F
w
-:
Cú pháp của condition
Cú pháp của condition
=*-4','( L

LC"I!"C"3S%&'
()*<*-'='!.<7

m4:-05!;4:-C"4,x 4 ,S!"
0C"3Am!"5C"',''

Sm4:-'4 S%J>%-I%%&'
4 ,!;y 
,'<-I%&'ZC"<.I
4''4(4
z
Điều kiện phức
Điều kiện phức
(Complex condition)
(Complex condition)


,'<k'%&'Md.(>','
.% L

C"<'F: 3=C"<.I


Q3!"#C"<'F: BmQ#A
t#!"Qt'{C"<'F:

Q3C"<'F: AC"I!"C"
3B∀∈!"∃∈'{C"<
:
l
Lượng từ
Lượng từ

2%&ea:M :CD:-L
∃∈a∈- 4'4-|I
v <%&'.3|

2%&e},!:- CD:-L
∀∈!;Z∈-A-|Iv3
%&'.3|3S

Biến (variable)
Biến (variable)

Q33k C%&e∀A∃ %&'Z
C"3'4(!-C:SQ%&'CC"3
>(4D-::!-C:


XC"3>(4-4,* 
NX 0El_O.'=**(~"C(X) )
,*-I<7v'{<7 
'43<,,-9'4?
#
Biến (variable)
Biến (variable)

XC"3'%&'9C%&-4,*

N:-::M   (:X 'X  0El_O
*(~"
∃
X
∈
S (C(X)), với S là tập hợp
tất cả sinh viên

,*-I'=*%&',,-9
TV•qm20V/<€6*"4
='F( :
E
So sánh biến buộc và biến tự do
So sánh biến buộc và biến tự do
trong TRC
trong TRC

53'54(!-C:%&'()*,,
','-4%&'()-4'4(4


53>(4q-::!-C:%&'()'4','
%&'-+!|-.!/%&'()-4-:

•,-9%&'.3'430B< ‚-|
I-:4@'DC :

\'=30C"3>(4-4<
P
{S | Student(S) AND (∃ T ∈Transcript
(S.Id = T.StudId AND T.CrsCode =
‘CS305’))}
{S | Student(S) AND (∃ T ∈Transcript
(S.Id = T.StudId AND T.CrsCode =
‘CS305’))}
Ví dụ 1
Ví dụ 1

hVitT0VVmQ∀0∈0TVQ∃
∈mQ0US0(U(o0SU(mQS- 4(:o
VS- 4(:j

ƒƒƒ
2<I/'+','7Z'"Z !I
Z'
_
Ví dụ 2
Ví dụ 2

2<II'F/'+,4 %`(.7

n#Eƒƒ
hSQ:itqV00tmQ∃∈VmWUQn
SU(oS-4DU(mQS- 4(:opn#Erj

dC012%Jk
0V2VSQ:
qttqV00tAVmWUQn
uWVVSU(oS-4DU(mQS- 4(:opn#Er
c
Ví dụ 3
Ví dụ 3

B` /'+',' !I`Z'')
7#CH|Z'<€<,'
hS0(U(imQ0UmQ∃∈
mQ0US0(U(oS0(U(mQ
S- 4(:oS- 4(:mQS0:: :-≠
S0:: :-j
g
Một số lưu ý khi dùng lượng từ
Một số lưu ý khi dùng lượng từ

,'C%&ea∃<'=*4,!9'4

K(GL
∃∈mQ0U∃∈VmWUQnSS
∃T∈VmWUQn∃R∈mQ0USS

w
Một số lưu ý khi dùng lượng từ

Một số lưu ý khi dùng lượng từ

,'C%&e},∀!"a∃)<74,
!9'4%&'

K(GL
∀∈VmWUQn∃R∈mQ0USS
Nq4-:!: VmWUQnC::-: mQ0U
C: ' ::0 -:O
•,'!;
∃R∈mQ0U∀∈VmWUQn„
N:-: mQ0UC: 'D4-CC
VmWUQnC: 0 -:O
z
Một số lưu ý khi dùng lượng từ
Một số lưu ý khi dùng lượng từ

,'C%&e%J>%<:•:(A()
*M,'9!'F3

K(GL∀∈TmQ∃T∈#K
53M/#CH(%;C%&e<,'
AI%&'M:%#3-)I'
C8!"%J%J!;*k' L
∀∈TmQ∃S∈#K0
#l
Ví dụ 4
Ví dụ 4

2<I/'+ !I`Z'7Z'"Z

,4 %`e(.7=
hS0(U(i∀T ∈VmWUQn∃T1 ∈VmWUQn
mQ0UmQS-4DU(oS-4DUmQ
S- 4(:oS- 4(:mQS0:: :-o
S0:: :-j
#
Dùng view trong TRC
Dùng view trong TRC

2<I/'+ !I`Z'7"
%&'(.|/'+',',4 %0

,'L
hS0(U(i∀T ∈VmWUQn∃T1 ∈VmWUQn
mQ0UmQ
Qt∃∈tqV00tS:U(op0rmQSU(oS-4DU(
tS-4DU(oS-4DUmQS- 4(:o
S- 4(:mQS0:: :-oS0:: :-j
##
Dùng view trong TRC
Dùng view trong TRC

2<I/'+ !I`Z'7"
%&'(.|/'+',',4 %0

,'#L

4!:b% L
0tqohS-4DU(itqV00tmQS:U(op0rj


4:
hS0(U(i∀P∈0tq∃T1∈VmWUQn
mQ0UmQS-4DU(oS-4DU(mQS- 4(:
oS- 4(:mQS0:: :-oS0:: :-j
#E
Truy vấn SQL và truy vấn TRC
Truy vấn SQL và truy vấn TRC

  ,'012`(>!"4 *
M,'9…<,-','-.!/012

5*k' '{<7->','J-.
!/!"'{<7†-&!;012'4
'/S

K'(9'-.!/012'= : "*k'
<7(~("

$ <7+C"%J*(9'
-.!/012"VC *<*-M:='=v
.I'H4&<7S
#P
Truy vấn SQL và truy vấn TRC
Truy vấn SQL và truy vấn TRC

@'()7+y3m<7'.
y9…4,Z'%=v'4'+
<,'"!"%6C8-B(~*J

012: C'=‡`9…

y3mƒ
#_