cơ sở dữ liệu thái bảo trân chương 5 ràng buộc toàn vẹn sinhvienzone com

26/11/2015 Chương 5: Ràng buộc toàn vẹn Thời lượng: tiết Nội dung Khái niệm Ràng buộc toàn vẹn (RBTV) Các đặc trưng RBTV Phân loại RBTV Cài đặt RBTV SinhVienZone.com https://fb.com/sinhvienzonevn 26/11/2015 Khái niệm (1)  RBTV (Integrity Constraints) xuất phát từ qui định hay điều kiện     Trong thực tế Trong mơ hình liệu: Các thao tác làm thay đổi liệu không nên thực cách tùy tiện đưa CSDL đến tình trạng ‘xấu’ RBTV điều kiện định nghĩa hay nhiều quan hệ khác Các RBTV điều kiện bất biến mà thể quan hệ phải thỏa thời điểm Khái niệm (2)        Tại cần phải có RBTV? Bảo đảm tính kết dính thành phần cấu tạo nên CSDL Bảo đảm tính qn liệu Bảo đảm CSDL ln biểu diễn ngữ nghĩa thực tế Ví dụ: Mức lương người nhân viên không vượt trưởng phòng (R1) Người quản lý trực tiếp (của nhân viên) phải nhân viên công ty (R2) SinhVienZone.com https://fb.com/sinhvienzonevn 26/11/2015 Khái niệm (3) Khái niệm (4) SinhVienZone.com https://fb.com/sinhvienzonevn 26/11/2015 Các đặc trưng RBTV (1)  Bối cảnh  Nội dung  Bảng tầm ảnh hưởng CÁC ĐẶC TRƯNG CỦA RBTV (2) Bối cảnh: quan hệ có khả làm cho RBTV bị vi phạm Nội dung: phát biểu ngơn ngữ hình thức (phép tính quan hệ, đại số quan hệ, mã giả,…) Tầm ảnh hưởng: bảng chiều, xác định thao tác ảnh hưởng (+) thao tác không ảnh hưởng (-) lên quan hệ nằm bối cảnh SinhVienZone.com https://fb.com/sinhvienzonevn 26/11/2015 RBTV: Bối cảnh (1)   Bối cảnh RBTV: Là quan hệ có khả bị vi phạm RBTV thực phép cập nhật Ví dụ: R1: Mức lương người nhân viên không vượt trưởng phòng  Các phép cập nhật:  Cập nhật lương cho nhân viên  Thêm nhân viên vào phòng ban  Bổ nhiệm trưởng phòng cho phòng ban  Bối cảnh: NHANVIEN, PHONGBAN RBTV: Bối cảnh (2) Ví dụ: R2: Người quản lý trực tiếp phải nhân viên công ty  Các phép cập nhật  Cập nhật người quản lý trực tiếp nhân viên  Thêm nhân viên  Bối cảnh: NHANVIEN 10 SinhVienZone.com https://fb.com/sinhvienzonevn 26/11/2015 RBTV: Nội dung (1)    Nội dung RBTV phát biểu bằng: Ngôn ngữ tự nhiên  Dễ hiểu thiếu tính chặt chẽ Ngơn ngữ hình thức  Cơ đọng, chặt chẽ đơi lúc khó hiểu  Biểu diễn thơng qua  Đại số quan hệ  Phép tính quan hệ  Mã giả (pseudo code) 11 RBTV: Nội dung (2) Ví dụ (R1)   Ngơn ngữ tự nhiên Mức lương người nhân viên không vượt trưởng phòng Ngơn ngữ hình thức 12 SinhVienZone.com https://fb.com/sinhvienzonevn 26/11/2015 RBTV: Nội dung (3) Ví dụ (R2)  Ngôn ngữ tự nhiên  Người quản lý trực tiếp phải nhân viên công ty  Ngôn ngữ hình thức 13 RBTV – BẢNG TẦM ẢNH HƯỞNG (1)  Xác định thao tác cập nhật cần phải kiểm tra RBTV thực quan hệ bối cảnh  Có loại: Bảng tầm ảnh hưởng cho RBTV Bảng tầm ảnh hưởng tổng hợp 14 SinhVienZone.com https://fb.com/sinhvienzonevn 26/11/2015 RBTV – BẢNG TẦM ẢNH HƯỞNG (2) Bảng tầm ảnh hưởng RBTV có dạng sau: Tên_RB Thêm Xóa Sửa Quan hệ + + - (*) - - +(A) ……… Quan hệ n Ký hiệu + : Có thể gây vi phạm RBTV Ký hiệu : Không thể gây vi phạm RBTV Ký hiệu +(A) : Có thể gây vi phạm RBTV thao tác thuộc tính A Ký hiệu –(*) : Khơng thể gây vi phạm RBTV thao tác không thực 15 RBTV – BẢNG TẦM ẢNH HƯỞNG (3)  Bảng tầm ảnh hưởng tổng hợp 16 SinhVienZone.com https://fb.com/sinhvienzonevn 26/11/2015 PHÂN LOẠI RÀNG BUỘC TOÀN VẸN 3.1 RBTV có bối cảnh quan hệ Ràng buộc miền giá trị Ràng buộc liên Ràng buộc liên thuộc tính 3.2 RBTV có bối cảnh nhiều quan hệ Ràng buộc liên thuộc tính liên quan hệ Ràng buộc khóa ngoại (tham chiếu) Ràng buộc liên liên quan hệ Ràng buộc thuộc tính tổng hợp (Count, Sum) Ràng buộc có chu trình 3.3 Phụ thuộc hàm (functional dependency) 17 3.1 RBTV – TRÊN BỐI CẢNH LÀ QUAN HỆ (1)  Ràng buộc toàn vẹn miền giá trị  Xét lược đồ quan hệ  NHANVIEN (MANV, HONV, TENLOT, TENNV, NGSINH, PHAI, DCHI, MA_NQL, PHONG, MLUONG) Câu hỏi 1: Phái nhân viên ‘Nam’ ‘Nữ’  Nội dung: n  NHANVIEN(n.PHAI IN {‘Nam’,’Nữ’})  Bối cảnh: quan hệ NHANVIEN  Bảng tầm ảnh hưởng (TAH): NHANVIEN Thêm Xóa Sửa + - +(PHAI) 18 SinhVienZone.com https://fb.com/sinhvienzonevn 26/11/2015 3.1 RBTV – TRÊN BỐI CẢNH LÀ QUAN HỆ (2)  Ràng buộc tồn vẹn liên thuộc tính: ràng buộc thuộc tính quan hệ Xét lược đồ quan hệ: DEAN (MADA, TENDA, DDIEM_DA, PHONG, NGBD_DK, NGKT_DK) Câu hỏi 2: Với đề án, ngày bắt đầu dự kiến (NGBD_DK) phải nhỏ ngày kết thúc dự kiến (NGKT_DK) 19 3.1 RBTV – TRÊN BỐI CẢNH LÀ QUAN HỆ (3)  Nội dung: d  DEAN(d.NGBD_DK