Chương 7: Phép tính quan hệ ppsx

PHÉP TÍNH QUAN HỆ
PHÉP TÍNH QUAN HỆ


Nội dung
Nội dung







 !

Mở đầu
Mở đầu

"#$%&'()%%*%+, -./0
#$%**#1!2

3. #4 &'     # 5  +
6%%2&'(&7%8+,+#9%:#;<%


= >:*?@./0A&< !2B5+,
-%,2!2!:*%C2+A8+,A8
8A2A%A%A

So sánh đại số quan hệ và phép
So sánh đại số quan hệ và phép

tính quan hệ
tính quan hệ

"+8A2AA8+%;DE%?F
95A6+@

+8A2A%A%A:5%;D
E% !F 95<GH

I&EJK8+,LA:G%*%!%%-%,G
%%-E'MN

So sánh đại số quan hệ và phép
So sánh đại số quan hệ và phép
tính quan hệ
tính quan hệ

O182@+@<<%#J
B2:1<G%DM.P0QR
!.SQRO+G%.TU
M'%VW:1)%D:1!,?%X
%YA%*%AG1E'MU
Z'  %1 +2[8% ( :1 ) %X %Y A
%.T\

So sánh đại số quan hệ và phép
So sánh đại số quan hệ và phép
tính quan hệ
tính quan hệ


O182@J

@]!%%-.T2%2^B 6%,(
!.!2;%;%'].T !%;]E'T
A!M\

@5)?#+
_%?%*%&'\

Phép tính quan hệ
Phép tính quan hệ

0!B`*%DA2% 7a+8&%8A2%

"#$%&'+2.0&#9M&J

A8+8A2A%A%Ab

2+8A2A%A%Ab


Phép tính quan hệ bộ - TRC
Phép tính quan hệ bộ - TRC

*%8+,+2%;&J
cd2&2e
+8%f1A8 +A8

I&EJ@-%)5%*%5V%#$%&,+2'
Mggh

{ T | TEACHING(T) AND T.Semester = ‘F2007’}
.R0RijkRlSQOm
nSRR\.888+opjMgghq

./0A!B1( >%r*%D


 FROM
!"#$%&''(WHERE
 FROM
!"#$%&''(WHERE
Cú pháp của condition
Cú pháp của condition
;(A!B+2%*%&J

JA!G !A!1\#$%&'(
:(+%;% ,:5

l28+.3 928+A!2*s2*\ !.A!1
?l !3A!%*%%

\l28+%2\#H<#+G##$%2*
9t
 *%  : +G #$% V A!  : ,G 
2%%2&2
)
Điều kiện phức
Điều kiện phức
(Complex condition)
(Complex condition)


*%:f%#$%K`,&<%*%,#
J

A!B:%D8+,1;A!B:,G


O1B !MA!:%D8+,@BlOM?
BkM !OkB%uA!:%D8+,

O1A!:%D8+,?A!G !A!
1@∀∈ ! ∃∈%uA!
:8+,
'
Lượng từ
Lượng từ

0#$a^8K8AC8+J
∃∈^B∈+2%2+vGr:
#$%,1v

0#$aw* 8+AC8+J
∀∈ 9V∈+?+vGr1#$%
,1v1\

Biến (variable)
Biến (variable)

O11fBA#$a ∀?∃ #$%VA! 1
% 2& +A8\ O#$% A A! 1 < &2 C+88

+A8

XA!1<&2+2*(
LX.ZgxN,%;((&y!C(X) )
*(+G:5r%u:5%21:
*B*+7%2=

Biến (variable)
Biến (variable)

XA!1%#$%7A#$+2*(
L8+88K&8X%X .ZgxN(&y
!
∃
X
∈
S (C(X)), với S là tập hợp tất cả sinh viên
*(+G%;(#$%**+7PRzjl0.R
-:{B4(!2;%D&8

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

31%32& +A8#$%&'(**%*%
+2B#$%&'+2%2&2

31<&2j+88 +A8#$%&'%2%*%#$%+)
v+, -#$%&'+2+8


|B*+7#$%,1%21.@:}
+vG+82>%CA8

X%;1.A!1<&2+2:

{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

cRdkP.RRlO∀.∈.PRO∃
∈lO.Q\.&Q&o.\Q&lO\+2&8o
R\+2&8e

~~~
0:G-%)%*%5V%!V GV%

Ví dụ 2
Ví dụ 2

0:GG%D-%)*2#]&,5mBMZ~~
c\O8dkjR klO∃∈RlSQOm\Q&o
\+2CQ&lO\+2&8opmBMZqe

`A./0#Hf
.R0R\O8
jkkjR k?RlSQOm

nSRR\Q&o\+2CQ&lO\+2&8opmBMZq

Ví dụ 3
Ví dụ 3

@]-%)%*% G]V%%'B5MAFv
V%:{:*%
c\.&Q&dlO.QlO∃B∈
lO.Q\.&Q&oB\.&Q&lO
\+2&8oB\+2&8lO\.888+≠
B\.888+e

Một số lưu ý khi dùng lượng từ
Một số lưu ý khi dùng lượng từ

*%A#$a^∃:%;(2* 7%2
I&EJ
∃∈lO.Q∃∈RlSQOm\\
∃T∈RlSQOm∃R∈lO.Q\\


Một số lưu ý khi dùng lượng từ
Một số lưu ý khi dùng lượng từ

*%A#$aw*∀ !^∃):52* 7%2
#$%

I&EJ
∀∈RlSQOm∃R∈lO.Q\\
Lj2+ 8 8+, RlSQOm A8 8+8   lO.Q

A8%88.+8N
|*% 9
∃R∈lO.Q∀∈RlSQOm•
L8+8   lO.Q A8 %  C2+ AA
RlSQOmA8.+8N
)
Phép tính quan hệ miền
Phép tính quan hệ miền
Domain relational calculus (DRC)
Domain relational calculus (DRC)

0! %H v %2 5  +, - +<%  # .
l%%8?Q3/3R?32+A&+&2K

#H<#?%X:*%A!s&E
1  2 +A8 , %2 1  A8
+A8
'
Domain variable
Domain variable

31}6*+7a*+7&2%DB
%!2;\

I &EJ   RlSQOm %; %  +2CQ& 9
*+7%f%*%Q&$A\O11&A!1
@;}%;*+7a%f%*%Q$A!,\

DRC query
DRC query


|1)%D8+,%uA!B !%;&%
J
c=B?•?=d2&2e

I&EJ !8+,#H#HJ
c&?2&8dRlSQOm&?2&8?jMgghe
cdRlSQOmlO\.888+opjMgghqe
 8+, H ) H? A2 +a #$%  2 *
\.888+opjMgghq

*+ 

DRC và TRC
DRC và TRC

 !#H<\O€?:•6
\

*%,_% 1<&2 !1%%D#H
<#

*%1%+8 +A8%X#$%A!<&2
+2(f%:

2%*%t%2K-+2F
+8%

Điều kiện cơ bản
Điều kiện cơ bản

Atomic condition
Atomic condition

r * %D 2% 2&2  : %H ) %D
/PR‚J

=B?•?= 9  A! G   ! =B?•? = A!
1

=28+‚ 928+A!2*s2*?= !‚A!1


= 28+ %2J #H < # +G # 2 * 9
t%2

Điều kiện phức
Điều kiện phức

*%%2&2f%#$%K`,&<,#J

A!:%D8+,1;A!B2%%2&2

QCB !MA!:%D8+,@BlOM?B
kM !OkB%uA!:%D8+,

O1A!:%D8+,?A!G%D !=
A!1@∀=∈\l !∃=∈\l%uA!
:%D8+,
