Chương 7: Ràng buộc toàn vẹn pptx

Chương 7 Chương 7 Ràng buộc toàn vẹn Ràng buộc toàn vẹn   Nội dung chi tiết  Khái niệm   !"#$  %&  '( )   * Khái niệm  "#$+,- -./0123 45.6 7   89   :;< = ':.>7; ?@8 :AB.C<DEFGH9:A<& I01J  "#$':A67@5 K?:A.64 7  "#$' 67L1L9:':ME!4 62NOL17PQE:'  R Khái niệm (tt)  &S2ND"#$T  #NN:U79U!'2S1&? FGH  #NN:U14!  #NN:FGH;LEVW   K89  $UX  Y !:A Q%C?7; @C@ 4 2Z (R1)   Q4N[892+!:A%C?/2N':A %C? ; .(R2)  \ Nội dung chi tiết  :  Các đặc trưng của RBTV  #]N  A  #N S:N  %&  '  ^ Bối cảnh  #]N!:A"#$  H'   4  D 7N (  L5 C 2&: "#$ 7 82_2`2`  $UX(R1)  Y !:A Q%C?7; @C@ 4 2Z = 2_2`2` ∗ `2` %C? ∗ ?::a:A%C?C':A2Z L ∗ #>: 2Z :A2Z L = #]Nbc$,defg#c  h Bối cảnh (tt)  $UX(R2)   Q4N[8922N':A%C? ;  . = 2_2`2` ∗ `2` Q4N[892!:A%C? ∗ ?::a:A%C? = #]Nbc$,d  i Nội dung  A !:A"#$@2LELj   ; 8? = GVE 9Uk   ; <Y = ;M ek ;W7DE = #EV; 4 ∗ &]4 ∗ _2U4 ∗ l N+2--/  m Nội dung (tt)  $UX(R1)   ; 8? = Y !:A Q%C?7; @C@4  2Z   ; <Y =  ∀∈c$,d+ ∃∈fg#c+∃C∈c$,d+ n"g=Cnc$∧ ncg=ng∧ nHofg≤CnHofg///  pq MANV HOTEN PHG LUONG p B p R\qqq  9 * \qqqq *  R p\qqq R  * ^qqqq \ !. p qqqq ^ 1 R *\qqq h Q R R\qqq MAPHG TENPHG TRPHG p 6' p *  ?Y  R  G h c$,d c$,d fg#c fg#c Vi phạm ràng buộc toàn vẹn ? [...]... 55 -Bối cảnh: -Bảng tầm ảnh hưởng: Thêm NHANVIEN Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Xóa + - Sửa + (PHAI, TUOIVEHUU) 19 Bảng tầm ảnh hưởng tổng hợp Ràng buộc 1 Ràng buộc 2 T X S T X S Quan hệ 1 + - + + - + Quan hệ 2 - + - Quan hệ 3 - - + Ràng buộc m … … … T X S + - + - + - - - + … Quan hệ n Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM - + - 20 Nội dung chi tiết  Khái niệm  Các đặc trưng của RBTV... - Nhiều quan hệ • Tham chiếu • Liên bộ liên quan hệ • Liên thuộc tính liên quan hệ • Thuộc tính tổng hợp • Chu trình  Cài đặt Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 21 RBTV - Miền giá trị  Ràng buộc qui định các giá trị cho một thuộc tính R B C D α α 1 1 α β 5 7 β  Miền giá trị A β 12 3 β β 23 9 β ∈ 9 ∈ β, γ} {α, {1 10} - Liên tục - Rời rạc Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 22 Ví dụ... ∈ THIDAU ( t ≠ s ∧ t.NGAY = s.NGAY ∧ t.GIO = s.GIO )) - Bảng tầm ảnh hưởng R7 Thêm THIDAU Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM + Xóa + Sửa + (NGAY, GIO, DOI) 29 RBTV - Liên thuộc tính  Là ràng buộc giữa các thuộc tính trong cùng quan hệ R B C D α α 1 1 α β 5 7 β β 12 3 β Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM A β 23 9 30 Ví dụ 8  Một nhân viên không quản lý trực tiếp chính mình - Bối cảnh:... quan hệ nào đó phải tham chiếu đến giá trị khóa chính của một quan hệ khác cho trước R A B C D α α 1 1 α β 5 7 β β 12 3 β β  Trường hợp đặc biệt 23 9 S E F 7 1 3 2 - RB khóa ngoại tồn tại trước Bắt buộc phải Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 33 Ví dụ 10  Mọi thân nhân phải có mối quan hệ gia đình với một nhân viên trong công ty - Bối cảnh: THANNHAN, NHANVIEN - Biểu diễn: ∀t ∈ THANNHAN (... t.MA_NQL ≠ null ∧ • ∃s ∈ NHANVIEN (t.MA_NQL = s.MANV )) Bảng tầm ảnh hưởng R2 Thêm NHANVIEN Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM + Xóa Sửa + + (MANV, MA_NQL) 35 RBTV - Liên bộ, liên quan hệ  Là ràng buộc xãy ra giữa các bộ trên nhiều quan hệ khác nhau R B C D α α 1 1 α β 5 7 β β 12 3 β β 23 9 S A B C α 2 7 α 4 7 β 2 3 γ Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM A 2 10 36 Ví dụ 11  Cho lược đồ CSDL: . Chương 7 Chương 7 Ràng buộc toàn vẹn Ràng buộc toàn vẹn   Nội dung chi tiết  Khái. ảnh hưởng tổng hợp Quan hệ 1 Quan hệ 2 Quan hệ 3 Quan hệ n … T X S T X S T X S… … … Ràng buộc 1 Ràng buộc 2 Ràng buộc m + - - - + - + - + + - - + + - + - - - + - + - + . 6' p *  ?Y  R  G h c$,d c$,d fg#c fg#c Vi phạm ràng buộc toàn vẹn ?  p Nội dung (tt)  $UX(R2)   ; 8? = 