4. Ph辿p h畛p Ph辿p h畛p: H畛p c畛a 2 quan h畛 R v S l m畛t quan h畛 Q c坦 c叩c b畛 gi叩 tr畛 b畉ng g畛p c畛a c畉 R v S, nh畛ng gi叩 tr畛 tr湛ng ch畛 gi畛 l畉i 1 b畛. Ta c坦: Q=R S = {t/t R v t S} VD: R(ABC) S(ABC) Q=R S (ABC) a 1 b 1 c 1 a 1 b 1 c 1 a 1 b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3 a 2 b 2 c 2 a 3 b 3 c 3 Gi畉i th鱈ch: B畛 a 1 b 1 c 1 tr湛ng nhau ch畛 gi畛 l畉i 1 b畛 khi h畛p
5. Ph辿p giao Ph辿p giao: Giao c畛a 2 quan h畛 R v S l quan h畛 m畛i c坦 c叩c b畛 gi叩 tr畛 l c叩c b畛 gi畛ng nhau c畛a 2 quan h畛 R v S. G畛i quan h畛 Q l k畉t qu畉 ph辿p giao c畛a 2 quan h畛 R v S ta c坦: Q=R S ={t/t R ^ t S } VD: cho 2 quan h畛 R(ABC) v S(ABC) R(ABC) S(ABC) Q=R S (ABC) a 1 b 1 c 1 a 1 b 1 c 1 a 1 b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3 Gi畉i th鱈ch: ch畛 c坦 1 b畛 a 1 b 1 c 1 c湛ng c坦 畛 2 quan h畛 動畛c gi畛 l畉i
6. Ph辿p T鱈ch 畛-c叩c Ph辿p t鱈ch 畛-c叩c: T鱈ch 畛-c叩c c畛a 2 quan h畛 R v S l quan h畛 Q v畛i m畛i b畛 l t畛 h畛p 1 b畛 trong R v m畛t b畛 trong S. Ta c坦 :Q = R x S = {(x, y) | x R v y S} VD: R(ABC) S(DE) Q=R x S (ABC) a 1 b 1 c 1 d 1 e 1 a 1 b 1 c 1 d 1 e 1 a 2 b 2 c 2 d 2 e 2 a 1 b 1 c 1 d 2 e 2 a 2 b 2 c 2 d 1 e 1 a 2 b 2 c 2 d 2 e 2 Gi畉i th鱈ch: b畛 m畛i l s畛 k畉t h畛p t畛ng b畛 c畛a R v畛i t畛ng b畛 c畛a S.
7. Ph辿p hi畛u Ph辿p hi畛u: Hi畛u c畛a 2 quan h畛 R v畛i S l quan h畛 m畛i v畛i c叩c b畛 gi叩 tr畛 l c叩c b畛 gi叩 tr畛 c畛a R sau khi 達 lo畉i b畛 i c叩c b畛 c坦 m畉t trong quan h畛 S Ta c坦: Q=R-S={t /t R v t S} VD: R(ABC) S(ABC) Q=R S (ABC) a 1 b 1 c 1 a 1 b 1 c 1 a 2 b 2 c 2 a 2 b 2 c 2 a 3 b 3 c 3 Gi畉i th鱈ch: k畉t qu畉 c畛a ph辿p hi畛u l t畉p c叩c b畛 c嘆n l畉 i c畛a R sau khi 達 b畛 i nh畛ng b畛 c畛a S c坦 trong R (a 1 b 1 c 1 )
8. Ph辿p chia (1/2) Ph辿p chia: 動畛c d湛ng 畛 l畉y ra m畛t s畛 b畛 trong quan h畛 R sao cho th畛a v畛i t畉t c畉 c叩c b畛 trong quan h畛 S. Quan h畛 R c坦 X thu畛c t鱈nh, quan h畛 S c坦 Z thu畛c t鱈nh. K畉t qu畉 c畛a ph辿p chia l m畛t quan h畛 Q(Y) v畛i s畛 thu畛c t鱈nh Y = X-Z Ta c坦: Q(Y)= R(X)歎S(Z)= {t /v畛i m畛i b畛 t S S t畛n t畉i t R R} th畛a: t R (Y)=t v t R (X)=t S (X).
9. Ph辿p chia (2/2) VD: Cho 2 quan h畛 R v S c坦 R(ABCD) S(CD) Q(AB)=R歎S a 1 b 1 c 1 d 1 c 1 d 1 a 3 b 3 a 2 b 2 c 2 d 2 c 2 d 2 a 3 b 3 c 1 d 1 a 3 b 3 c 2 d 2 a 4 b 4 c 4 d 4 Gi畉i th鱈ch: B1: x叩c 畛nh c叩c b畛 trong R c坦 ch畛a 2 thu畛c t鱈nh c 1 d 1 v c 2 d 2 B2: t畛 c叩c b畛 動畛c ch畛n ta th畉y c坦 2 b畛 c湛ng c坦 2 thu畛c t鱈nh AB c嘆n l畉i l a 3 b 3 -> K畉t qu畉 c畛a ph辿p chia l a 3 b 3 .
10. Ph辿p chi畉u Ph辿p to叩n quan h畛 Ph辿p chi畉u: 動畛c d湛ng 畛 l畉y ra m畛t vi c畛t c畛a quan h畛 R , k箪 hi畛u A1,A2,...,AK (R). K畉t qu畉 c畛a ph辿p chi畉u l 1 quan h畛 c坦 k thu畛c t鱈nh v c坦 s畛 b畛 鱈t h董n ho畉c b畉ng R. VD: R( A B C ) A,C (R) a 1 b 1 c 1 a 1 c 1 a 1 b 2 c 1 a 1 c 1 a 3 b 3 c 3 a 3 c 3 Gi畉i th鱈ch: ph辿p chi畉u s畉 l畉y nh畛ng d嘆ng c畛a thu畛c t鱈nh A v C tr棚n R
11. Ph辿p ch畛n Ph辿p to叩n quan h畛 Ph辿p ch畛n: 動畛c d湛ng 畛 l畉y ra c叩c b畛 c畛a quan h畛 R th畛a m達n i畛u ki畛n P no 坦, k箪 hi畛u P (R) K畉t qu畉 tr畉 v畛 l m畛t quan h畛 c坦 c湛ng danh s叩ch thu畛c t鱈nh v c坦 s畛 b畛 鱈t h董n ho畉c b畉ng R. VD: R( A B C D ) (So s叩nh) (A=C)^(D> 3 ) (R) 1 b 1 5 5 > 3 1b15 2 b 2 3 3 = 3 ab22 1233 Gi畉i th鱈ch: ph辿p ch畛n ch畛n nh畛ng b畛 c坦 thu畛c t鱈nh A = C v c坦 thu畛c t鱈nh D > 3
12. Ph辿p k畉t Ph辿p k畉t: 動畛c d湛ng 畛 t畛 h畛p 2 b畛 c坦 li棚n quan t畛 2 quan h畛 thnh 1 b畛, th畛a m達n i畛u ki畛n k畉t, k箪 hi畛u R 件 S. K畉t qu畉 l m畛t quan h畛 c坦 s畛 thu畛c t鱈nh l t畛ng thu畛c t鱈nh R v S. M畛i b畛 trong Q l t畛 h畛p c畛a 2 b畛 trong R v S, th畛a m達n m畛t s畛 i畛u ki畛n no 坦. VD: R(A B C) S( D E) R 件 B<D S 4 5 4 < 6 1 45461 3 2 1 > 1 6 1 2 2 = 2 2 Gi畉i th鱈ch:ph辿p k畉t 動畛c th畛c hi畛n 畛 nh畛ng b畛 c坦 thu畛c t鱈nh B c畛a R b辿 h董n thu畛c t鱈nh D c畛a S
13. Ti li畛u tham kh畉o Gi叩o tr狸nh 畉i s畛 quan h畛, ThS Tr畉n Ph動畛c Tu畉n H S動 Ph畉m.