際際滷

際際滷Share a Scribd company logo
www.elarion.com C S畛 D畛 Li畛U [email_address] Never stop improving quality Ph畉n 2: 畉i s畛 quan h畛
Gi畛i thi畛u 畉i s畛 quan h畛  Gi畛i thi畛u: L ng担n ng畛 bi畛u di畛n c但u truy v畉n d動畛i d畉ng m畛t bi畛u th畛c Bao g畛m c叩c ph辿p to叩n 動畛c 叩p d畛ng tr棚n c叩c th畛 hi畛n c畛a quan h畛 K畉t qu畉 c畛a 1 bi畛u th畛c l 1 th畛 hi畛n c畛a quan h畛  ngh挑a: C董 s畛 h狸nh th畛c cho c叩c ph辿p to叩n c畛a m担 h狸nh quan h畛 N畛n t畉ng cho c叩c ng担n ng畛 truy v畉n c董 s畛 d畛 li畛u C董 s畛 畛 ci 畉t v t畛i 動u c叩c truy v畉n trong c叩c HQT CSDL quan h畛
C叩c ph辿p to叩n 畉i s畛 quan h畛 C坦 2 nh坦m ph辿p to叩n: Ph辿p to叩n t畉p h畛p Ph辿p h畛p Ph辿p giao Ph辿p t鱈ch 畛c叩c Ph辿p tr畛 Ph辿p chia Ph辿p to叩n quan h畛 Ph辿p chi畉u Ph辿p ch畛n Ph辿p k畉t
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
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
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.
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 )
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).
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 .
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
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
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
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.

More Related Content

Phan2

  • 1. www.elarion.com C S畛 D畛 Li畛U [email_address] Never stop improving quality Ph畉n 2: 畉i s畛 quan h畛
  • 2. Gi畛i thi畛u 畉i s畛 quan h畛 Gi畛i thi畛u: L ng担n ng畛 bi畛u di畛n c但u truy v畉n d動畛i d畉ng m畛t bi畛u th畛c Bao g畛m c叩c ph辿p to叩n 動畛c 叩p d畛ng tr棚n c叩c th畛 hi畛n c畛a quan h畛 K畉t qu畉 c畛a 1 bi畛u th畛c l 1 th畛 hi畛n c畛a quan h畛 ngh挑a: C董 s畛 h狸nh th畛c cho c叩c ph辿p to叩n c畛a m担 h狸nh quan h畛 N畛n t畉ng cho c叩c ng担n ng畛 truy v畉n c董 s畛 d畛 li畛u C董 s畛 畛 ci 畉t v t畛i 動u c叩c truy v畉n trong c叩c HQT CSDL quan h畛
  • 3. C叩c ph辿p to叩n 畉i s畛 quan h畛 C坦 2 nh坦m ph辿p to叩n: Ph辿p to叩n t畉p h畛p Ph辿p h畛p Ph辿p giao Ph辿p t鱈ch 畛c叩c Ph辿p tr畛 Ph辿p chia Ph辿p to叩n quan h畛 Ph辿p chi畉u Ph辿p ch畛n Ph辿p k畉t
  • 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.