Tài liệu 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EFG9:@<& H01I  "#$ ' :@ 6 7 ? 5  J > :@ .647  "#$' 67K1K9:':LD !462MNK17OPD: ' Q Khái niệm (tt)  &R2MC"#$S  #MM:T79T!'2R1&> EFG  #MM:T14!  #MM:EFG;KDUV   J89  $TW  X !:@ P%B>7; ?B? 4 2Y (R1)   P4MZ892+!:@%B>/2M':@ %B> ; .(R2)  [ Nội dung chi tiết  :  Các đặc trưng của RBTV  #\M  @  #M R:M  %&  '  ] Bối cảnh  #\M!:@"#$  G'   4  C 7M (  K5 B 2&: "#$ 7 82^2_2_  $TW(R1)  X !:@ P%B>7; ?B? 4 2Y  2^2_2_ ∗ _2_ %B> ∗ >::`:@%B>B':@2Y K ∗ #=: 2Y :@2Y K  #\Mab$,cdef#b  g Bối cảnh (tt)  $TW(R2)   P4MZ8922M':@%B> ;  .  2^2_2_ ∗ _2_ P4MZ892!:@%B> ∗ >::`:@%B>  #\Mab$,c  h Nội dung  @ !:@"#$?2KDKi   ; 8>  FUD 9Tj   ; <X  ;L dj ;V7CD  #DU; 4 ∗ &\4 ∗ ^2T4 ∗ k M+2--/  l Nội dung (tt)  $TW(R1)   ; 8>  X !:@ P%B>7; ?B?4  2Y   ; <X   ∀∈b$,c+ ∃∈ef#b+∃B∈b$,c+ m"f=Bmb$∧ mbf=mf∧ mGnef≤BmGnef///  op Nội dung (tt)  $TW(R2)   ; 8>   P4MZ8922M':@%B> ; .   ; <X  ∀∈b$,c+mbqrG≠∧ ∃∈b$,c+mbqrG=mb$// [...]... hưởng tổng hợp Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 11 Bảng tầm ảnh hưởng một RBTV Tên_RB Thêm Xóa Sửa Quan hệ 1 + − + (Thuộc tính) Quan hệ 2 − + − − + − … Quan hệ n (+) Vi phạm RBTV (−) Không vi phạm RBTV Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 12 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 + -... Biểu diễn: - Bảng tầm ảnh hưởng Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 21 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 22 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: - Biểu diễn: - Bảng tầm ảnh hưởng: Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 23 Ví dụ... 10}  Miền giá trị - Liên tục - Rời rạc Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 15 Ví dụ 3  Thời gian tham gia đề án của một nhân viên không quá 60 giờ - Bối cảnh: - Biểu diễn: - Bảng tầm ảnh hưởng: Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 16 Ví dụ 4  Giới tính của nhân viên là ‘Nam’ hoặc ‘Nu’ - Bối cảnh: - Biểu diễn: - Bảng tầm ảnh hưởng: Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 17 RBTV - Liên... Trường hợp đặc biệt - RB khóa chính - RB duy nhất (unique) Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 18 Ví dụ 5  Tên phòng là duy nhất - Bối cảnh: - Biểu diễn: - Bảng tầm ảnh hưởng: Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 19 Ví dụ 6  Một nhân viên được tham gia tối đa 5 đề án - Bối cảnh: - Biểu diễn: - Bảng tầm ảnh hưởng: Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 20 Ví dụ 7  THIDAU(NGAY, GIO, DOI,... Quan hệ n Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM - + - 13 Nội dung chi tiết  Khái niệm  Các đặc trưng của RBTV  Phân loại - Một quan hệ  Miền giá trị  Liên bộ  Liên thuộc tính - 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 14 RBTV - Miền giá trị  Ràng buộc qui định các... Biểu diễn: - Bảng tầm ảnh hưởng: Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 24 RBTV - Tham chiếu  Giá trị xuất hiện tại các thuộc tính trong một 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 β β 23 9 S E F 7 1 3 2 Bắt buộc phải tồn tại trước  Trường hợp đặc biệt - RB khóa ngoại Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 25 Ví dụ... Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 26 RBTV - Tham chiếu (tt)  Còn gọi là phụ thuộc tồn tại  Thường có bối cảnh là hai quan hệ - Nhưng có trường hợp suy biến thành một quan hệ - Ví dụ (R2)  Người quản lý trực tiếp phải là một nhân viên trong công ty  Bối cảnh:  Biểu diễn:  Bảng tầm ảnh hưởng Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 27 RBTV - Liên bộ, liên quan hệ  Là ràng buộc xảy... 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 28 Ví dụ 11  HOADON(SOHD, MAKH, NGAYHD)  CTHD(SOHD, MAHH, DGIA, SLG)  Mỗi hóa đơn phải có ít nhất một chi tiết hóa đơn - Bối cảnh: - Biểu diễn: - Bảng tầm ảnh hưởng: Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 29 RBTV - Liên thuộc tính, liên quan hệ  Là ràng buộc xãy ra giữa các thuộc tính trên nhiều quan hệ... dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 34 Ví dụ 14  Nhân viên chỉ được phân công vào các đề án do phòng ban của mình phụ trách PHG=PHONG NHANVIEN MANV=MA_NVIEN MANV, MADA MA_NVIEN, SODA DEAN SODA=MADA PHANCONG Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 35 Ví dụ 14 (tt)  Nhân viên chỉ được phân công vào các đề án do phòng ban của mình phụ trách - Bối cảnh: - Biểu diễn: - Bảng tầm ảnh hưởng: Cơ sở dữ liệu. .. - RBTV bảo đảm quan hệ giữa thuộc tính tổng hợp và các thuộc tính nguồn Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 32 Ví dụ 13  PHONGBAN(TENPHG, MAPHG, TRPHG, NG_NHANCHUC, SO_NV)  Số nhân viên của một phòng ban phải bằng tổng số lượng nhân viên thuộc phòng đó - Bối cảnh: - Biểu diễn: - Bảng tầm ảnh hưởng: Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 33 RBTV – Chu trình  Lược đồ CSDL có thể được biểu . Chương 7 Chương 7 Ràng buộc toàn vẹn Ràng buộc toàn vẹn   Nội. 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 + - - - + - + - + + - - + + - + - - - + - + - + 