Chương 4 của bài giảng trình bày về ràng buộc toàn vẹn trong CSDL. Chương này trình bày 3 nội dung lớn, đó là: Ràng buộc toàn vẹn, các yếu tố của ràng buộc toàn vẹn, phân loại ràng buộc toàn vẹn. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.
Mơn CƠ SỞ DỮ LIỆU Chương 4: Ràng buộc tồn vẹn Nội dung RÀNG BUỘC TOÀN VẸN CÁC YẾU TỐ CỦA RÀNG BUỘC TOÀN VẸN PHÂN LOẠI RÀNG BUỘC TOÀN VẸN Ràng buộc toàn vẹn liên Ràng buộc toàn vẹn phụ thuộc tồn Ràng buộc toàn vẹn miền giá trị Ràng buộc tồn vẹn liên thuộc tính Ràng buộc tồn vẹn liên thuộc tính liên quan hệ Ràng buộc tồn vẹn thuộc tính tổng hợp RÀNG BUỘC TỒN VẸN Mỗi CSDL ln tồn nhiều mối liên hệ thuộc tính, bộ; liên hệ xảy quan hệ lược đồ quan hệ CSDL Các mối liên hệ điều kiện bất biến mà tất quan hệ có liên quan CSDL phải thỏa mãn thời điểm, điều kiện bất biến gọi RBTV (RBTV quy tắc quản lý áp đặt đối tượng giới thực) Nhiệm vụ người phân tích thiết kế phải phát đầy đủ xác ràng buộc tồn vẹn tốt mơ tả chúng cách xác hồ sơ phân tích thiết kế Trong sở liệu, ràng buộc toàn vẹn xem công cụ để diễn đạt ngữ nghĩa CSDL Cơng việc kiểm tra ràng buộc tồn vẹn thường tiến CÁC YẾU TỐ CỦA RBTV Mỗi ràng buộc tồn vẹn có yếu tố: điều kiện, bối cảnh tầm ảnh hưởng Điều kiện ràng buộc tồn vẹn R biểu diễn ngôn ngữ tự nhiên, thuật giải, ngôn ngữ đại số tập hợp, đại số quan hệ,… điều kiện ràng buộc toàn vẹn biểu diễn phụ thuộc hàm Bối cảnh ràng buộc toàn vẹn quan hệ mà ràng buộc có hiệu lực hay nói cách khác, quan hệ cần phải kiểm tra ràng buộc toàn vẹn Bối cảnh ràng buộc tồn vẹn nhiều quan hệ CÁC YẾU TỐ CỦA RBTV Bảng tầm ảnh hưởng: Trong trình phân tích thiết kế CSDL, người phân tích cần lập bảng tầm ảnh hưởng cho ràng buộc toàn vẹn nhằm xác định thời điểm cần phải tiến hành kiểm tra ràng buộc tồn vẹn Các thời điểm cần phải kiểm tra RBTV thời điểm cập nhật liệu (thêm, sửa, xóa) Một bảng tầm ảnh hưởng RBTV có dạng: PHÂN LOẠI RÀNG BUỘC TOÀN VẸN Trong q trình phân tích thiết kế sở liệu, phải phát tất ràng buộc toàn vẹn tiềm ẩn CSDL Phân loại ràng buộc tồn vẹn giúp cho người phân tích có định hướng, tránh bỏ sót RBTV Các ràng buộc tồn vẹn chia làm hai loại sau: Ràng buộc tồn vẹn phạm vi quan hệ bao gồm: Ràng buộc toàn vẹn miền giá trị, Ràng buộc toàn vẹn liên thuộc tính, Ràng buộc tồn vẹn liên Ràng buộc toàn vẹn phạm vi nhiều quan hệ bao gồm: Ràng buộc toàn vẹn phụ thuộc tồn tại, Ràng buộc toàn vẹn liên - liên quan hệ, Ràng buộc tồn vẹn liên thuộc tính - liên quan hệ PHÂN LOẠI RBTV (tt) VD: Cho CSDL C dùng để quản lý việc đặt hàng giao hàng công ty Lược đồ CSDL C gồm lược đồ quan hệ sau: Q1: Khach (MAKH, TENKH, DCKH, DT); Tân từ: Mỗi khách hàng có mã khách hàng (MAKH) nhất, MAKH xác định tên khách hàng (TENKH), địa (DCKH).,một số điện thoại (DT) Q2: Hang(MAHANG,TENHANG,QUYCACH, DVTINH); Tân từ: Mỗi mặt hàng có mã hàng (MAHANG) nhất, MAHANG xác định tên hàng (TENHANG), quy cách hàng (QUYCACH), đơn vị tính (DVTINH) PHÂN LOẠI RBTV (tt) Q3: Dathang(SODH,MAHANG, SLDAT, NGAYDH, MAKH); Tân từ: Mỗi mã số đặt hàng (SODH) xác định ngày đặt hàng (NGAYDH) mã khách hàng tương ứng (MAKH) Biết mã số đặt hàng mã mặt hàng biết số lượng đặt hàng(SLDAT) Mõi khách hàng ngày có nhiều lần đặt hàng Q4: Hoadon(SOHD, NGAYLAP, SODH, TRIGIAHD, NGAYXUAT); Tân từ: Mỗi hóa đơn tổng hợp có mã số SOHD, hóa đơn bán hàng gồm nhiều mặt hàng Mỗi hóa đơn xác định ngày lập hóa đơn (NGAYLAP), ứng với số đặt hàng (SODH) Giả sử hóa đơn bán hàng theo yêu cầu đơn đặt hàng có mã số SODH ngược lại , đơn đặt hàng giải hóa đơn Do điều kiện khách quan cơng ty khơng giao đầy đủ mặt hàng số lượng mặt hàng yêu cầu đơn đặt hàng không giao vượt ngồi u cầu Mỗi hóa đơn xác định trị giá mặt hàng hóa đơn (TRIGIAHD) ngày xuất kho giao hàng cho khách (NGAYXUAT) PHÂN LOẠI RBTV (tt) Q5: Chitiethd (SOHD, MAHANG, GIABAN, SLBAN); Tân từ: Mỗi SOHD, MAHANG xác định giá bán (GIABAN) số lượng bán (SLBAN) mặt hàng hóa đơn Q6: Phieuthu(SOPT, NGAYTHU, MAKH, SOTIEN); Tân từ: Mỗi phiếu thu có số phiếu thu (SOPT) nhất, SOPT xác định ngày thu (NGAYTHU) khách hàng có mã khách hàng MAKH số tiền thu SOTIEN Mỗi khách hàng ngày có nhiều số phiếu 3.1 Ràng buộc toàn vẹn liên Là ràng buộc toàn vẹn quan hệ Ràng buộc toàn vẹn liên cịn gọi ràng buộc tồn vẹn khóa nội Đây loại ràng buộc tồn vẹn phổ biến, có mặt lược đồ quan hệ CSDL thường hệ quản trị CSDL tự động kiểm tra 10 3.2 RBTV phụ thuộc tồn Ràng buộc toàn vẹn phụ thuộc tồn gọi ràng buộc tồn vẹn khóa ngoại Cũng giống ràng buộc tồn vẹn khóa nội, ràng buộc tồn vẹn phụ thuộc tồn phổ biến CSDL 11 3.3 RBTV miền giá trị Ràng buộc tồn vẹn có liên quan đến miền giá trị thuộc tính quan hệ Ràng buộc toàn vẹn miền giá trịthường gặp Một số hệ quản trị CSDL tự động kiểm tra số ràng buộc loại 12 3.4 RBTV liên thuộc tính Ràng buộc tồn vẹn liên thuộc tính mối liên hệ thuộc tính lược đồ quan hệ 13 3.5 RBTV liên thuộc tính liên quan hệ Ràng buộc loại mối liên hệ thuộc tính nhiều lược đồ quan hệ 14 3.6 RBTV thuộc tính tổng hợp Ràng buộc tồn vẹn thuộc tính tổng hợp xác định trường hợp thuộc tính A lược đồ quan hệ Q tính tốn giá trị từ thuộc tính lược đồ quan hệ khác 15 ... xác ràng buộc tồn vẹn tốt mơ tả chúng cách xác hồ sơ phân tích thiết kế Trong sở liệu, ràng buộc toàn vẹn xem công cụ để diễn đạt ngữ nghĩa CSDL Cơng việc kiểm tra ràng buộc tồn vẹn thường tiến... bao gồm: Ràng buộc toàn vẹn phụ thuộc tồn tại, Ràng buộc toàn vẹn liên - liên quan hệ, Ràng buộc tồn vẹn liên thuộc tính - liên quan hệ PHÂN LOẠI RBTV (tt) VD: Cho CSDL C dùng để quản lý việc... bảng tầm ảnh hưởng RBTV có dạng: PHÂN LOẠI RÀNG BUỘC TOÀN VẸN Trong q trình phân tích thiết kế sở liệu, phải phát tất ràng buộc toàn vẹn tiềm ẩn CSDL Phân loại ràng buộc tồn vẹn giúp cho người