ĐĐịịnh nghnh nghĩĩa:a: Cho quan h
Cho quan hệệ r xr xáác đc địịnh trên tnh trên tậập thup thuộộc tc tíính U={A1,..., An} vnh U={A1,..., An} vàà quan h
quan hệệ s xs xáác đc địịnh trên tnh trên tậập thup thuộộc tc tíính V={nh V={B1,..., B1,..., Bm}, tBm}, trong rong đ
đóó m < nm < n Ph
Phéép chia quan hp chia quan hệệ r cho quan hr cho quan hệệ s, ký his, ký hiệệu r u r s, ls, làà ttậập hp hợợp p t
tấất ct cảả ccáác bc bộộ t sao cho vt sao cho vớới mi mọọi bi bộộ v v s ths thìì t ght ghéép vp vớới v si v sẽẽ thu
thuộộc rc r
Ph
Phéép chiap chia
V
Víí ddụụ: : Cho quan hCho quan hệệ r vr vớới ci cáác thuc thuộộc tc tíính A, B, C, D vnh A, B, C, D vàà s vs vớới ci cáác c
thu
thuộộc tc tíính C, D. Tnh C, D. Tììm km kếết qut quảả phphéép chia cp chia củủa r cho s.a r cho s.
r r ss rr ss A B C D A B C D C DC D A BA B a b c d a b c d c dc d a ba b a b e f a b e f e fe f e de d b c b c e fe f b c b c e d e d c dc d e d e d e fe f
C
Cáác chương trc chương trìình đnh đạại si sốố quan hquan hệệ
VVìì ttấất ct cảả ccáác phc phéép top toáán đn đạại si sốố đ đềều nhu nhậận quan hn quan hệệ llààm đm đốối i bi
biếến vn vàà sinh ra csinh ra cáác quan hc quan hệệ kkếết qut quảả, ch, chúúng ta cng ta cóó ththểể llồồng ng gh
ghéép cp cáác phc phéép top toáán nn nàày by bằằng cng cáác dc dấấu ngou ngoặặc đơn vc đơn vàà sinh sinh
ra c
C
Cáác chương trc chương trìình đnh đạại si sốố quan hquan hệệ
VVíí ddụụ: Cho quan h: Cho quan hệệ::
EMP
EMP(ENO(ENO, ENAME, TITLE), ENAME, TITLE)
PAY
PAY(TITLE(TITLE, SAL), SAL)
PROJ
PROJ((PNOPNO, PNAME), PNAME)
ASG
ASG((ENO, PNO, RESP, DUR)ENO, PNO, RESP, DUR)
a. T
a. Tììm tên tm tên tấất ct cảả nhân viên đang l nhân viên đang lààm vim việệc cho dc cho dựự áán CAD/CAMn CAD/CAM
ENAMEENAME((((((PNAME=PNAME=’’CAD/CAMCAD/CAM’’(PROJ)) (PROJ)) >< AS>< ASG)>< G)>< EMP)EMP)
b.
b. Tăng lương cTăng lương cáác lc lậập trp trìình viên (programmer) lên 25000 USD nh viên (programmer) lên 25000 USD
(PAY
3.4.2. Ph
3.4.2. Phéép tp tíính quan hnh quan hệệ
XXáác đc địịnh knh kếết qut quảả, thay v, thay vìì xxáác đc địịnh xem phnh xem phảải li lààm thm thếế nnàào đo đểể thu đư
thu đượợc kc kếết qut quảả
Ngôn ngNgôn ngữữ phphéép tp tíính quan hnh quan hệệ đư đượợc chia lc chia lààm 2 nhm 2 nhóóm:m:
PhPhéép tp tíính quan hnh quan hệệ bbộộ (tuple relational calculus)(tuple relational calculus)
Ph