Bài 7 Ràng buộc toàn vẹn ĐẠI HỌC CÔNG NGHỆ THÔNG TIN KHOA HỆ THỐNG THÔNG TIN Chương 5 Ràng buộc toàn vẹn GV ThS Nguyễn Đình Loan Phương 2 Nội dung 1 Các khái niệm về ràng buộc toàn vẹn (RBTV) 2 Các đặ[.]
ĐẠI HỌC CÔNG NGHỆ THÔNG TIN KHOA HỆ THỐNG THÔNG TIN Chương Ràng buộc toàn vẹn GV: ThS Nguyễn Đình Loan Phương Nội dung Các khái niệm ràng buộc toàn vẹn (RBTV) Các đặc trưng RBTV Phân loại RBTV Khái niệm ◆ 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 (tt) ◆ Mục tiêu ◼ 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ế Nội dung Các 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ác đặc trưng RBTV ◆ Bối cảnh ◆ Nội dung ◆ Bảng tầm ảnh hưởng 2.1 Bối cảnh ◆ Bối cảnh RBTV quan hệ có khả bị vi phạm RBTV thực thao tác cập nhật liệu (thêm, xóa, sửa) ◆ Ví dụ: Mức lương người nhân viên khơng vượt q 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 2.1 Bối cảnh (tt) ◆ Ví dụ: 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 2.2 Nội dung ◆ Mô tả chặt chẽ ý nghĩa RBTV ◆ Nội dung RBTV phát biểu ◼ 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ệ Ngôn ngữ tân từ Mã giả (pseudo code) 2.2 Nội dung (tt) ◆ Ví dụ ◼ Ngôn ngữ tự nhiên ◼ ◼ Mức lương người nhân viên khơng vượt q trưởng phịng Ngơn ngữ hình thức t NHANVIEN, u PHONGBAN, v NHANVIEN : u.TRPHG = v.MANV u.MAPHG = t.PHG t.LUONG v.LUONG ◆ Ví dụ ◼ 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 t NHANVIEN, t.MA_NQL null s NHANVIEN: t.MA_NQL = s.MANV 10 ... sinh trước 1/1/1970 nhân viên phải có lương tối thiểu 50 000 ◼ ◼ Bối cảnh: NHANVIEN Nội dung: n NHANVIEN : n.NGSINH < ‘1/1/1970’ n.LUONG >= 50 000 ◼ Bảng tầm ảnh hưởng R3 Thêm Xóa Sửa NHANVIEN... bộ, liên quan hệ RBTV liên thuộc tính, liên quan hệ RBTV thuộc tính tổng hợp RBTV diện chu trình 15 3.1 RBTV miền giá trị ◆ Ràng buộc qui định giá trị cho thuộc tính ◼ Liên quan tới giá trị thuộc