Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 20 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
20
Dung lượng
0,94 MB
Nội dung
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 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 quán liệu Bảo đảm CSDL 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 q 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) 26/11/2015 Khái niệm (3) Khái niệm (4) 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 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 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 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 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 26/11/2015 PHÂN LOẠI RÀNG BUỘC TỒ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 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