Chương RÀNG BUỘC TOÀN VẸN TRÊN CSDL QUAN HỆ NỘI DUNG I Đònh nghóa – Tầm quan trọng RBTV II Các yếu tố RBTV III Phân lọai RBTV SinhVienZone.com https://fb.com/sinhvienzonevn ĐỊNH NGHĨA z RBTV (Integrity Constraints) nguyên tắc mà tình trạng CSDL phải thỏa z VD: KQ (MASV, MAMH, DIEM) Điểm số thực thuộc [0,10] xác đến 0.5 TẦM QUAN TRỌNG CỦA RBTV z Giúp CSDL thể trung thực giới thực mà CSDL mô tả z Ngăn chặn thao tác gây sai CSDL ) Giúp CSDL đắn SinhVienZone.com https://fb.com/sinhvienzonevn CÁC YẾU TỐ CỦA RBTV Có yếu tố: z Phát biểu: ngôn ngữ tự nhiên thể ngữ nghóa RBTV z Biểu diễn: ngôn ngữ hình thức, dùng thuật tóan (mã giả), tóan học, đại số quan hệ, phép tính quan hệ, để thể z Bối cảnh: Các quan hệ mà ràng buộc có liên quan z Tầm ảnh hưởng: Các thao tác Thêm, Xóa, Sửa quan hệ (là bối cảnh) có khả gây vi phạm ràng buộc hay không (+ có, - không) PHÂN LỌAI RBTV z Bối cảnh RB có bối cảnh quan hệ RB có bối cảnh nhiều quan hệ z Nguồn gốc RB nguyên tắc làm việc: thực tế RB sinh giải pháp tổ chức liệu z Sự hỗ trợ khai báo RBTV Tùy HQT CSDL mà RB có hỗ trợ kiểm tra hay không SinhVienZone.com https://fb.com/sinhvienzonevn PHÂN LỌAI RBTV RB có bối cảnh quan hệ a RB miền giá trò b RB liên thuộc tính c RB liên d RB giá trò thuộc tính theo thời gian RB có bối cảnh nhiều quan hệ a RB khóa ngoại (Tồn tại/ Tham chiếu) b RB liên thuộc tính (liên quan hệ) c RB liên (liên quan hệ) d RB thuộc tính tổng hợp e RB chu trình RB miền giá trò Cho biết giá trò mà thuộc tính nhận lấy VD: KQ (MASV, MAMH, DIEM) z Pb: Điểm ∈ [0,10] xác đến 0.5 z Bd: ∀k∈KQ, k.DIEM ∈ R and 0