THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ (Relational Database Designing) THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ (Relational Database Designing) Phần III – RÀNG BUỘC TOÀN VẸN (entegrity constraint) Ràng buộc toàn vẹn –[.]
THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ (Relational Database Designing) Phần III – RÀNG BUỘC TOÀN VẸN (entegrity constraint) Khái niệm Ràng buộc toàn vẹn Ràng buộc toàn vẹn – Khái niệm • Là điều kiện bất biến mà tất quan hệ có liên quan(đến ràng buộc) phải thỏa thời điểm Ràng buộc tồn vẹn quan trọng qui định ràng buộc liệu nhập/xuất CSDL • Ràng buộc tồn vẹn thường mơ tả Tân từ (xem phần I), nhà thiết kế CSDL tìm phát trình phân tích CSDL Các yếu tố Ràng buộc tồn vẹn (p.1) Các yếu tố Ràng buộc toàn vẹn Điều kiện : điều kiện ràng buộc (nội dung Ràng buộc tồn vẹn), thường mơ tả ngơn ngữ đặc tả hình thức Ví dụ : Ràng buộc R1 : t1, t2 SINHVIEN, t1.MaSV t2.MaSV Ràng buộc R2 : t1 SINHVIEN, t2 DANGKY_HOCPHAN, t2.MAHP = ‘CSDL’ t2.MaSV = t1.MaSV Ý nghĩa ràng buộc R2: sinh viên phải đăng ký học phần CSDL Các yếu tố Ràng buộc toàn vẹn (p.2) Các yếu tố Ràng buộc toàn vẹn (t.t) Bối cảnh : (lược đồ) quan hệ có liên quan đến ràng buộc tồn vẹn Như ví dụ yếu tố Điều kiện, ràng buộc R1 có bối cảnh quan hệ SINHVIEN, ràng buộc R2 có bối cảnh quan hệ SINHVIEN DANGKY_HOCPHAN Các yếu tố Ràng buộc toàn vẹn (p.3) Các yếu tố Ràng buộc toàn vẹn (t.t) Tầm ảnh hưởng : thao tác cập nhật liệu (thêm / xóa / sửa) – có tác động lên quan hệ bối cảnh ràng buộc toàn vẹn – cần phải kiểm tra lại điều kiện ràng buộc Ta thường xác định yếu tố Tầm ảnh hưởng cách xây dựng Bảng Tầm ảnh hưởng ràng buộc toàn vẹn Các yếu tố Ràng buộc toàn vẹn (p.4) Bảng tầm ảnh hưởng … • • Thêm + + + + - Xóa + + + + - Sửa + + + + - , , … , quan hệ bối cảnh RBTV Tại dịng i, cột j dấu + thao tác j xảy cần kiểm tra lại điều kiện RBTV liên quan đến thao tác; dấu - : ngược lại Các yếu tố Ràng buộc toàn vẹn (p.5) Bảng tầm ảnh hưởng – Ví dụ Trong ràng buộc toàn vẹn slide R1 SINHVIEN Thêm + Xóa - Sửa +(MASV) Giải thích : Thao tác Thêm : Thêm vào quan hệ SINHVIEN (tức thêm SV mới), phải kiểm tra MaSV có bị trùng bảng chưa Thao tác Xóa : Xóa (xóa SV) quan hệ SINHVIEN khơng cần phải kiểm tra ràng buộc MaSV Thao tác Sửa : Khi sửa thông tin tồn quan hệ SINHVIEN, yêu cầu kiểm tra ràng buộc bắt buộc thao tác Sửa xảy thuộc tính MaSV (sửa MaSV) Các yếu tố Ràng buộc toàn vẹn (p.6) Bảng tầm ảnh hưởng – Ví dụ R2 SINHVIEN DANGKY_HOCPHAN Thêm + - Xóa + Sửa +(MASV) + Phân loại Ràng buộc toàn vẹn (p.1) Phân loại Ràng buộc toàn vẹn • Ràng buộc có bối cảnh quan hệ : – – – • RBTV miền giá trị RBTV liên thuộc tính RBTV liên Ràng buộc có bối cảnh nhiều quan hệ : – – – RBTV phụ thuộc tồn RBTV liên - liên quan hệ RBTV liên thuộc tính – liên quan hệ Phân loại Ràng buộc toàn vẹn (p.2) RBTV liên • Là ràng buộc quan hệ • Một loại RBTV liên phổ biến ràng buộc tồn vẹn khóa : quan hệ, không trùng khóa • Bảng tầm ảnh hưởng chung : R Thêm + Xóa - Sửa + Phân loại Ràng buộc tồn vẹn (p.3) RBTV miền giá trị • Là điều kiện áp đặt miền giá trị thuộc tính • Ví dụ : thuộc tính DIEMTB quan hệ SINHVIEN phải khoảng [0,10] • Bảng tầm ảnh hưởng chung : R Thêm + Xóa - Sửa + Phân loại Ràng buộc tồn vẹn (p.4) RBTV liên thuộc tính • Là điều kiện ràng buộc thuộc tính (lược đồ) quan hệ • Ví dụ : quan hệ SINHVIEN, thuộc tính NGAYSINH phải ln ln nhận giá trị nhỏ thuộc tính NGAYVAODOAN : t SINHVIEN, t.NGAYSINH < t.NGAYVAODOAN • Bảng tầm ảnh hưởng chung : R Thêm Xóa Sửa + + Phân loại Ràng buộc toàn vẹn (p.5) RBTV phụ thuộc tồn • Phổ biến ràng buộc khóa ngoại : t DANGKY_HOCPHAN, t1 SINHVIEN : t.MASV = t1.MASV t2 HOCPHAN : t.MAHP = t2.MAHP • Bảng tầm ảnh hưởng chung : R1 chứa khóa ngoại, R2 chứa khóa Quan hệ Thêm Xóa Sửa + + + + Phân loại Ràng buộc tồn vẹn (p.6) RBTV liên thuộc tính - liên quan hệ • Là điều kiện ràng buộc thuộc tính nhiều (lược đồ) quan hệ • Ví dụ : Cho lược đồ CSDL Quản Lý Bán Hàng với quan hệ DatHang, HoaDonXuat, ta có RBTV : t1 DatHang, t2 HoaDonXuat : t1.MaHD = t2.MaHD t1.NgayDatHang