›

Bài giảng Hệ thống thông tin quản lý - Chương 6: Phép tính quan hệ (Ngôn ngữ tân từ)

pdf 46 trang huongle 7230
Download
Bạn đang xem 20 trang mẫu của tài liệu "Bài giảng Hệ thống thông tin quản lý - Chương 6: Phép tính quan hệ (Ngôn ngữ tân từ)", để tải tài liệu gốc về máy bạn click vào nút DOWNLOAD ở trên

Tài liệu đính kèm:

  • pdfbai_giang_he_thong_thong_tin_quan_ly_chuong_6_phep_tinh_quan.pdf

Nội dung text: Bài giảng Hệ thống thông tin quản lý - Chương 6: Phép tính quan hệ (Ngôn ngữ tân từ)

  1. Chɉɇng 6 Phép tính quan hʄ (Ngôn ngͯ tân tͫ)
  2. 1͙i dung chi tiɼt ƒ Giӟi thiӋu ƒ Nhҳc lҥi vӅ lý thuyӃt logic ƒ Phép tính quan hӋ trên bӝ - Tuple Relational Calculus (TRC) ƒ Phép tính quan hӋ trên miӅn - Domain Relational Calculus (DRC) &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 2
  3. 1͙i dung chi tiɼt ƒ Giӟi thiӋu ƒ Nhҳc lҥi vӅ lý thuyӃt logic ƒ Phép tính quan hӋ trên bӝ ƒ Phép tính quan hӋ trên miӅn &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 3
  4. Gi͛i thiʄu Maths Database HOW ? 1970 Relational Algebra Algebra 1972 Relational Logic Calculus WHAT ? &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 4
  5. Gi͛i thiʄu (tt) ƒ Ngôn ngӳ truy vҩn hình thӭc Gӵa trên lý thuyӃt logic do Codd ÿӅ nghӏ Qăm 1972 ƒ 6ӱ Gөng biӇu thӭc logic ÿӇ ÿӏnh nghƭa hình thӭc NӃt quҧ câu truy vҩn - 'ӵa trên lý thuyӃt logic - Phi thӫ Wөc - Rút trích “cái gì” Kѫn là “làm th͗ nào” ƒ Khҧ Qăng diӉQ ÿҥt tѭѫng ÿѭѫng ĈSQH &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 5
  6. Gi͛i thiʄu (tt) ƒ Phân loҥi - Phép tính quan hӋ trên bӝ • BiӃn thiên trên bӝ trong quan hӋ • SQL (Structured Query Language) - Phép tính quan hӋ trên miӅn • BiӃn thiên trên thành phҫn miӅn giá trӏ • QBE (Query By Example) • DataLog (Database Logic) &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 6
  7. 1͙i dung chi tiɼt ƒ Giӟi thiӋu ƒ Nhҳc lҥi vӅ lý thuyӃt logic ƒ Phép tính quan hӋ trên bӝ ƒ Phép tính quan hӋ trên miӅn &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 7
  8. Nhɬc lɞi vɾ lý thuyɼt logic ƒ BiӇu thӭc logic : phát biӇu luôn có giá trӏ ³ÿúng” hay “sai” - Bây giӡ là tháng 8. - 1>5(phát bi͛u h͉ng sai) ƒ Các khái niӋm : - BiӃn : ÿҥi lѭӧng biӃn thiên x,y,z, - Phép toán logic ™ : phͧ ÿʈnh, Ÿ : kéo theo, š : giao, › : h͙i (hͣp) - /ѭӧng tӯ  : tӗn tҥi,  : vӟi mӑi - Công thӭc : các biӇu thӭc xây dӵng dӵa trên biӇu thӭc logic &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 8
  9. Nhɬc lɞi vɾ lý thuyɼt logic ƒ 0ӝt sӕ ví dө YӅ công thӭc logic - P(t), ™P(t) , Q(t) - ™P(t) š Q(t) - t(P(t)) - t(P(t)) &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 9
  10. Phép tính quan hʄ trên b͙ ƒ BiӇu thӭc phép tính quan hӋ trên bӝ có dҥng { t.A | P(t) } - t là biӃn bӝ • Có giá trӏ là mӝt bӝ Fӫa quan hӋ trong CSDL • t.A là giá trӏ Fӫa bӝ t tҥi thuӝc tính A - P là công thӭc có liên quan ÿӃn t • P(t) có giá trӏ ĈÚNG hoһc SAI phө thuӝc vào t - .Ӄt quҧ trҧ YӅ là tұp các bӝ t sao cho P(t) ÿúng &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 10
  11. Ví dͥ 1 ƒ Tìm các giáo viên có lѭѫng trên 2000 { t | GIAOVIEN (t) š t.LUONG > 2000 } P(t) Q(t) Tìm các bͱ t thuͱc quan h͟ giáo viên và thuͱc tính ĺ˿ng có giá trͣ trên 2000 .͗t qu̻ : t là các bͱ thͧa mãn P(t) và Q(t) ÿúng - GIAOVIEN(t) ÿúng • 1Ӄu t là mӝt bӝ Fӫa quan hӋ GIAOVIEN - t.LUONG > 2000 ÿúng • 1Ӄu thuӝc tính LUONG cӫa t có giá trӏ trên 2000 &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 11
  12. Ví dͥ 2 ƒ Tìm mã và hӑ tên giáo viên có lѭѫng trên 2000 { t.MAGV, t.HOTEN | GIAOVIEN (t) š t.LUONG > 2000 } P(t) Q(t) 7ͅp các MAGV và HOTEN cͿa nh·ng bͱ t sao cho t là mͱt th͛ hi͟n cͿa GIAOVIEN và t có giá trͣ Oͳn h˿n 2000 t̹i thuͱc tính LUONG .͗t qu̻ : - Tìm nhӳng bӝ t thuӝc GIAOVIEN có thuӝc tính lѭѫng lӟn hѫn 2000 - /ҩy ra các giá trӏ Wҥi thuӝc tính MAGV và HOTEN &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 12
  13. Ví dͥ 3 ƒ Cho biӃt các giáo viên (MAGV) làm viӋF ӣ Eӝ môn ‘H͟ thͩng thông tin’ t.MANV | GIAOVIEN (t) BOMON(s) š s.TENBM ‘Hʄ th͑ng thông tin’ - /ҩy ra nhӳng bӝ t thuӝc GIAOVIEN - So sánh t vӟi mӝt bӝ s nào ÿy ÿӇ tìm ra nhӳng giáo viên làm viӋF ӣ Eӝ môn ‘HӋ thӕng thông tin’ - &ҩu trúc “tӗn tҥi” cӫa phép toán logic (t)(P(t)) 7͓n tɞi 1 b͙ t sao cho biʀu thͩc P(t) ÿúng &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 13
  14. Ví dͥ 3 ƒ Cho biӃt các giáo viên (MAGV) làm viӋF ӣ Eӝ môn ‘HӋ thӕng thông tin’ { t.MAGV | GIAOVIEN(t) š (s) ( BOMON(s) š s.TENBM ‘Hʄ th͑ng thông tin’ š s.MABM t.MABM ) } GIAOVIEN MAGV HOTEN MABM BOMON Q(s) 1 NguyӉn Hoài An HTTT MABM TENBM 2 Trҫn Trà Hѭѫng MMT HTTT +Ӌ thӕng thông tin MAGV 3 NguyӉn Nam Sѫn CNPM CNPM Công nghӋ phҫn mӅm 1 4 Lý Hoàng Hà HTTT MMT 0ҥng máy tính 4 &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 14
  15. Ví dͥ 4 ƒ Cho biӃt tên các giáo viên (HOTEN) tham gia ÿӅ tài hoһc là trѭӣng bӝ môn { t.HOTEN | GIAOVIEN(t) š ( (s)(THAMGIADT(s) š t.MAGV s.MAGV) › (u)(BOMON(u) š t.MAGV u.TRUONGBM)) } GIAOVIEN THAMGIADT BOMON MAGV HOTEN MAGV MADT MABM TRUONGBM t1 1 NguyӉn Hoài An 1 1 HTTT 1 t2 2 Trҫn Trà Hѭѫng 3 2 CNPM 4 t3 3 NguyӉn Nam Sѫn MMT null t4 4 Lý Hoàng Hà &ѫ Vӣ Gӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 15
  16. Ví dͥ 5 ƒ Cho biӃt tên các giáo viên (HOTEN) vӯa không tham gia ÿӅ tài vӯa không chӫ nhiӋP ÿӅ tài { t.HOTEN | GIAOVIEN(t) š ( ™ (s) (THAMGIADT(s) š t.MAGV s.MAGV) š ™ (u) (DETAI(u) š t.MAGV u.GVCNDT)) } GIAOVIEN THAMGIADT DETAI MAGV HOTEN MAGV MADT MADT GVCNDT 1 NguyӉn Hoài An 1 1 1 1 2 Trҫn Trà Hѭѫng 3 2 2 2 3 NguyӉn Nam Sѫn 3 null 4 Lý Hoàng Hà &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 16
  17. Ví dͥ 6 ƒ 9ӟi mӛi bӝ môn cӫa khoa CNTT, cho biӃt hӑ tên giáo viên là trѭӣng bӝ môn. { s.MABM, t.HOTEN | BOMON(s) š GIAOVIEN(t) š s.MAKHOA = ‘CNTT’ š s.TRUONGBM = t.MAGV } BOMON GIAOVIEN MABM MAKHOA TRUONGBM MAGV HOTEN MABM HTTT CNTT 1 1 NguyӉn Hoài An HTTT CNPM CNTT 4 2 Trҫn Trà Hѭѫng MMT MMT CNTT null 3 NguyӉn Nam Sѫn CNPM 4 Lý Hoàng Hà CNPM MABM HOTEN HTTT NguyӉn Hoài An CNPM Lý Hoàng Hà &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 17
  18. Ví dͥ 7 ƒ Cho biӃt tên các giáo viên nӳ và tên khoa quҧn lý giáo viên này {t.HOTEN, u.TENKHOA | GIAOVIEN(t) š KHOA(u) š t.PHAI ‘Nͯ’ š (s)(BOMON(s) š s.MAKHOA u.MAKHOA š s.MABM t.MABM) } &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 18
  19. Ví dͥ 8 ƒ Tìm các giáo viên (MAGV, HOTEN) tham gia vào tҩt Fҧ các ÿӅ tài - &ҩu trúc “vӟi mӑi” cӫa phép toán logic (t) (P(t)) 0͍i b͙ t phɠi làm cho biʀu thͩc P ÿúng &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 19
  20. Ví dͥ 8 (tt) ƒ Tìm các giáo viên (MAGV, HOTEN) tham gia vào tҩt Fҧ các ÿӅ tài {t.MAGV, t.HOTEN | GIAOVIEN(t) š (s)(DETAI(s) š (u)(THAMGIADT(u) š u.MADT s.MADT š t.MAGV u.MAGV))} GIAOVIEN DETAI THAMGIADT MAGV HOTEN MADT TENDT MAGV MADT t1 1 NguyӉn Hoài An s1 1 u1 1 1 t2 2 Trҫn Trà Hѭѫng s2 2 u2 2 2 t3 3 NguyӉn Nam Sѫn s3 3 u3 4 1 t4 4 Lý Hoàng Hà u4 4 2 u5 4 3 &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 20
  21. Ví dͥ 9 ƒ Tìm các giáo viên (MAGV, HOTEN) tham gia vào tҩt Fҧ các ÿӅ tài do giáo viên mã sӕ 2 làm chӫ nhiӋm - &ҩu trúc “kéo theo” cӫa phép tính logic P Ÿ Q 1ɼu P thì Q &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 21
  22. Ví dͥ 9 (tt) ƒ Tìm các giáo viên (MAGV, HOTEN) tham gia vào tҩt Fҧ các ÿӅ tài do giáo viên mã sӕ 2 làm chӫ nhiӋm { t.MAGV, t.HOTEN | GIAOVIEN(t) š (s)((DETAI(s) š s.GVCNDT = 2) Ÿ (u(THAMGIADT(u) š u.MADT s.MADT š t.MAGV u.MAGV ))) } &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 22
  23. GIAOVIEN DETAI THAMGIADT MAGV HOTEN MADT GVCNDT MAGV MADT t1 1 NguyӉn Hoài An s1 1 2 u1 1 1 t2 2 Trҫn Trà Hѭѫng s2 2 1 u2 1 3 t3 3 NguyӉn Nam Sѫn s3 3 2 u3 2 1 t4 4 Lý Hoàng Hà s4 4 null u4 4 2 s5 5 4 u5 2 3 4 3 4 5 { t.MAGV, t.HOTEN | GIAOVIEN(t) š (s)((DETAI(s) š MAGV 1 s.GVCNDT = 2) Ÿ (u(THAMGIADT(u) š 2 u.MADT s.MADT š &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCMt.MAGV u.MAGV ))) } 23
  24. Ĉʈnh nghśa hình thͩc ƒ 0ӝt công thӭc truy vҩn tәng quát có dҥng { t1.Ai, t2.Aj, tn.Ak | P(t1, t2, , tn) } - t1,t2, ,tnlà các biӃn bӝ - Ai,Aj, ,Ak là các thuӝc tính trong các bӝ t tѭѫng ӭng - P là công thӭc • P là công thӭc nguyên tӕ • HoһF ÿѭӧc hình thành tӯ nhӳng công thӭc nguyên tӕ &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 24
  25. Biɼn b͙ ƒ BiӃn tӵ do (free variable) { t | GIAOVIEN(t) š t.LUONG > 2000 } t là biɼn tͱ do ƒ BiӃn kӃt buӝc (bound variable) { t | GIAOVIEN(t) š (s)(BOMON(s) š s.MABM t.MABM) } Biɼn tͱ do Biɼn kɼt bu͙c &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 25
  26. Công thͩc nguyên t͑ ƒ (i) R(t) - t là biӃn bӝ GIAOVIEN (t) - R là quan hӋ ƒ (ii) t.A T s.B - A là thuӝc tính cӫa biӃn bӝ t t.MAGV = s.MAGV - B là thuӝc tính cӫa biӃn bӝ s - T là các phép so sánh  , ! , d , t , z , ƒ (iii) t.A T c - c là hҵng sӕ s.LUONG > 30000 - A là thuӝc tính cӫa biӃn bӝ t - T là các phép so sánh  , ! , d , t , z , &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 26
  27. Công thͩc nguyên t͑ (tt) ƒ 0ӛi công thӭc nguyên tӕ ÿӅu mang giá trӏ ĈÚNG hoһc SAI - *ӑi là chân trӏ Fӫa công thӭc nguyên tӕ ƒ Công thӭc (i) t  R - Chân trӏ ĈÚNG nӃu t là mӝt bӝ thuӝc R - Chân trӏ SAI nӃu t không thuӝc R R A B C t1 = t1  R có chân trʈĈÚNG D 10 1 D 20 1 t2 = t2  R có chân trʈ SAI &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 27
  28. Công thͩc nguyên t͑ (tt) ƒ Công thӭc (ii) và (iii) t.A T s.B t.A T c - Chân trӏ tùy thuӝc vào viӋc thay thӃ giá trӏ thұt sӵ Fӫa bӝ vào vӏ trí biӃn bӝ R A B C 1ɼu t là b͙ D 10 1 Thì t.B > 5 có chân trʈĈÚNG (10 > 5) D 20 1 &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 28
  29. Công thͩc ƒ Ĉѭӧc hình thành tӯ công thӭc nguyên tӕ thông qua các phép toán logic hoһc các lѭӧng tӯ • Phͧ ÿʈnh ™ P(t) • Toán tͭ giao P(t) š Q(t) • Toán tͭ K͙i P(t) › Q(t) • &ɢu trúc t͓n tɞi (t)(P(t)) • &ɢu trúc v͛i m͍i (t)(P(t)) • Phép toán kéo theo : P(t) Ÿ Q(t) &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 29
  30. Qui tɬc ƒ (1) Mӑi công thӭc nguyên tӕ là công thӭc ƒ (2) NӃu P là công thӭc thì - ™(P) là công thӭc - (P) là công thӭc ƒ (3) NӃu P1 và P2 là các công thӭc thì - P1 › P2 là công thӭc - P1 š P2 là công thӭc - P1 Ÿ P2 là công thӭc &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 30
  31. Qui tɬc (tt) ƒ (4) NӃu P(t) là công thӭc thì - t (P(t)) là công thӭc • Chân trӏ ĈÚNG khi P(t) ĈÚNG vӟi mӑi bӝ t. • Chân trӏ SAI khi có ít nhҩt 1 bӝ t làm cho P(t) SAI - t (P(t)) là công thӭc • Chân trӏ ĈÚNG khi có ít nhҩt 1 bӝ làm cho P(t) ĈÚNG • Chân trӏ SAI khi P(t) SAI vӟi mӑi bӝ t &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 31
  32. Qui tɬc (tt) ƒ (5) NӃu P là công thͩc nguyên t͑ thì - Các biӃn bӝ t trong P là biӃn tӵ do ƒ (6) Công thӭc P=P1šP2 , P=P1›P2 , P=P1ŸP2 - 6ӵ xuҩt hiӋn cӫa biӃn t trong P là tӵ do hay kӃt buӝc phө thuӝc vào viӋc nó là tӵ do hay kӃt buӝc trong P1, P2 &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 32
  33. 0͙t s͑ biɼn ÿ͕i ƒ (i) P1 š P2 = ™ (™P1 › ™P2) ƒ (ii) t (R(t) š (P(t)) = ™t (R(t) š™P(t)) ƒ (iii) t (R(t) š (P(t)) = ™t (R(t) š (P(t)) ƒ (iv) P Ÿ Q=™P›Q &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 33
  34. Công thͩc an toàn ƒ Xét công thӭc { t | ™ (GIAOVIEN(t)) } - Có rҩt nhiӅu bӝ t không thuӝc quan hӋ GIAOVIEN - Thұm chí không có trong CSDL - .Ӄt quҧ trҧ YӅ không xác ÿӏnh ƒ 0ӝt công thӭc P gӑi là an toàn nӃu các giá trӏ trong NӃt quҧ ÿӅu lҩy tӯ miӅn giá trӏ Fӫa P - Dom(P) - 7ұp các giá trӏ ÿѭӧF ÿӅ Fұp trong P &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 34
  35. Công thͩc an toàn (tt) ƒ Ví dө { t | GIAOVIEN(t) š t.LUONG > 30000 } - Dom(GIAOVIEN(t) š t.LUONG > 30000) - Là tұp các giá trӏ trong ÿó • Có giá trӏ trên 3000 tҥi thuӝc tính LUONG • Và các giá trӏ khác tҥi nhӳng thuӝc tính còn lҥi - Công thӭc trên là an toàn &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 35
  36. 1͙i dung chi tiɼt ƒ Giӟi thiӋu ƒ Nhҳc lҥi vӅ lý thuyӃt logic ƒ Phép tính quan hӋ trên bӝ ƒ Phép tính quan hӋ trên miӅn &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 36
  37. Phép tính quan hʄ trên miɾn ƒ BiӇu thӭc phép tính quan hӋ trên miӅn có dҥng { x1, x2, , xn | P(x1, x2, , xn) } - x1,x2, ,xnlà các biӃn miӅn • BiӃn nhұn giá trӏ là mӝt miӅn giá trӏ Fӫa mӝt thuӝc tính - P là công thӭc theo x1,x2, ,xn • 3 ÿѭӧc hình thành tӯ nhӳng công thӭc nguyên tӕ - .Ӄt quҧ trҧ YӅ là tұp các giá trӏ x1,x2, ,xnsao cho khi các giá trӏ ÿѭӧc thay thӃ cho các xi thì P ÿúng &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 37
  38. Ví dͥ 1 ƒ Cho biӃt mã và tên giáo viên có lѭѫng trên 3000 { p, q | (r) (GIAOVIEN(p, q, r, s, t, u, v, x, y, z,m) š r > 3000 )) } GIAOVIEN(MAGV, HOTEN, LUONG, PHAI, NGAYSINH, SONHA, DUONG, QUAN, THANHPHO, GVQLCM, MABM) &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 38
  39. Ví dͥ 2 ƒ Cho biӃt các giáo viên (MAGV) làm viӋF ӣ Eӝ môn ‘HӋ thӕng thông tin’ {p | (m)(GIAOVIEN(p, q, r, s, t, u, v, x, y, z,m) š (a)(b)(BOMON(a, b, c, d, e, f, j) š b = ‘Hʄ th͑ng thông tin’ š a = m )) } GIAOVIEN(MAGV, HOTEN, LUONG, PHAI, NGAYSINH, SONHA, DUONG, QUAN, THANHPHO, GVQLCM, MABM) BOMON(MABM, TENBM, PHONG, DIENTHOAI, TRUONGBM, MAKHOA, NGAYNHANCHUC) &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 39
  40. Ví dͥ 3 ƒ Cho biӃt các giáo viên (MAGV, HOTEN) không có tham gia ÿӅ tài nào {p, q | GIAOVIEN(p, q, r, s, t, u, v, x, y, z, m) š ™(a)(THAMGIADT(a, b, c, d, e) š a = p ) } GIAOVIEN(MAGV, HOTEN, LUONG, PHAI, NGAYSINH, SONHA, DUONG, QUAN, THANHPHO, GVQLCM, MABM) THAMGIADT(MAGV, MADT, STT, PHUCAP, KETQUA) &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 40
  41. Công thͩc nguyên t͑ ƒ (i) R(x1, x2, , xn) - xi là biӃn miӅn - R là quan hӋ có n thuӝc tính ƒ (ii) x T y - x, y là các biӃn miӅn - MiӅn giá trӏ Fӫa x và y phҧi giӕng nhau - T là các phép so sánh  , ! , d , t , z , ƒ (iii) x T c - c là hҵng sӕ - x là biӃn miӅn - T là các phép so sánh  , ! , d , t , z , &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 41
  42. Nhɪn xét ƒ 0ӝt công thӭc nguyên tӕ mang giá trӏ ĈÚNG hoһc SAI vӟi mӝt tұp giá trӏ Fө thӇ Wѭѫng ӭng vӟi các biӃn miӅn - *ӑi là chân trӏ Fӫa công thӭc nguyên tӕ ƒ 0ӝt sӕ qui tҳc và biӃQ ÿәi tѭѫng tӵ Yӟi phép tính quan hӋ trên bӝ &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 42
  43. Công thͩc an toàn ƒ Xét công thӭc { p, r, s | ™ GIAOVIEN(p, q, r, s, t, u, v, x, y, z)} - Các giá trӏ trong kӃt quҧ trҧ YӅ không thuӝc miӅn giá trӏ Fӫa biӇu thӭc - Công thӭc không an toàn &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 43
  44. Công thͩc an toàn (tt) ƒ Xét công thӭc { x | y (R(x, y)) šz (™ R(x, z) š P(x, z)) } Công thͩc 1 Công thͩc 2 - R là quan hӋ có tұp các giá trӏ Kӳu hҥn - &NJng có 1 tұp hӳu hҥn các giá trӏ không thuӝc R - Công thӭc 1: chӍ xem xét các giá trӏ trong R - Công thӭc 2: không thӇ kiӇm tra khi không biӃt tұp giá trӏ Kӳu hҥn cӫa z &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 44
  45. Công thͩc an toàn (tt) ƒ BiӇu thӭc { x1, x2, , xn | P(x1, x2, , xn) } ÿѭӧc gӑi là an toàn nӃu: - Nhӳng giá trӏ xuҩt hiӋn trong các bӝ Fӫa biӇu thӭc phҧi thuӝc vӅ miӅn giá trӏ Fӫa P - /ѭӧng tӯ : biӇu thӭc x (Q(x)) ÿúng khi và chӍ khi xác ÿӏnh ÿѭӧc giá trӏ Fӫa x thuӝc dom(Q) làm cho Q(x) ÿúng - /ѭӧng tӯ : biӇu thӭc x (Q(x)) ÿúng khi và chӍ khi Q(x) ÿúng vӟi mӑi giá trӏ Fӫa x thuӝc dom(Q) &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 45
  46. &ѫ sӣ dӳ liӋu - Khoa CNTT - ĈH KHTN TPHCM 46