thời gian: RBTV liên bộ, liên quan hệ: là điều kiện giữa các bộ trên nhiều quan hệ khác nhau. II[r]
(1)(2)(3)(4)(5)(6) Đặt vấn đề: Trong sở liệu,
luôn tồn nhiều mối liên hệ, ràng buộc qua lại thuộc tính, với nhau, … Các mối liên hệ, ràng buộc điều kiện bất biến mà tất quan hệ có liên quan sở liệu phải thoả mãn thời điểm Những điều kiện bất biến
đó gọi ràng buộc toàn vẹn
(Integrity Constraint)
(7) Trong thực tế, ràng buộc toàn vẹn thường
là qui tắc, qui phạm áp đặt lên đối tượng giới thực
Ví dụ: Xét quan hệ nhân viên với thể
hiện sau:
Qui định: Giới tính nhân viên thuộc
1 giá trị “Nam” hay “Nữ”
một RBTV
II Các đặc trưng RBTV III Phân loại RBTV
MANV TENNV PHAI DIACHI
001 Nguyễn Minh Nam Dak Lak
(8) RBTV quy định, điều kiện từ thực tế
được cài đặt để đảm bảo liệu lưu trữ CSDL phải thõa mãn quy định
Các điều kiện phải sau
những thao tác (thêm, xóa, sữa) làm thay đổi trạng thái CSDL
(9) Mục đích RBTV:
▪ Nhằm đảm bảo kết dính (coherence)
giữa phận cấu thành nên CSDL hay nói cách khác nhằm bảo đảm tính quán CSDL biễu diễn ngữ nghĩa thực tế CSDL (tính đứng đắn)
▪ Việc kiểm tra RBTV tiến hành
ngay thực thao tác cập nhật CSDL (thêm, xóa, sửa) kiểm tra định kỳ, đột xuất (Tiến hành độc lập với thao tác cập nhật liệu)
(10) Tầm quan trọng RBRV:
Giúp CSDL thể trung thực giới
thực mà CSDL mô tả
Ngăn chặn thao tác gây sai
CSDL
Giúp CSDL ln đắn
Ví dụ: Ngày sinh sinh viên phải nhỏ
hơn ngày nhập học RBTV
(11)(12)1 Nội dung RBTV
Là điều kiện phải thỏa
Được phát biểu ngôn ngữ tự nhiên
ngôn ngữ hình thức (phép tính quan hệ, đại số quan hệ, mã giả,…)
Ngôn ngữ tự nhiên: dễ hiểu không chặt chẽ,
logic
Ngôn ngữ hình thức: chặt chẽ, động đơi lúc
khó hiểu
Ví dụ : Một RBTV phát biểu bằng:
Ngôn ngữ tự nhiên: giới tính nhân viên phải thuộc
trong phái « nam » «nữ » II Các đặc trưng RBTV
(13)2 Bối cảnh RBTV
Là quan hệ mà RBTV có hiệu
lực hay nói cách khác quan hệ cần phải sử dụng để kiểm tra RBTV Bối cảnh RBTV nhiều quan hệ
(14)3 Tầm ảnh hưởng RBTV
Nhằm xác định thời điểm cần phải tiến
hành kiểm tra RBTV, cần lập bảng tầm ảnh hưởng cho RBTV
Tầm ảnh hưởng RBTV biểu diễn
bằng bảng chiều gọi bảng tầm ảnh hưởng
(15) Bảng tầm ảnh hưởng RBTV có dạng như sau:
Kí hiệu:
+ : gây vi phạm RBTV - : gây vi phạm RBTV
+(A) : gây vi phạm RBTV thao tác
thuộc tính A
-(*) : Khơng vi phạm RBTV thao tác không thực
hiện
(16) Ví dụ: xét quan hệ nhân viên với thể
sau với quy định: Giới tính nhân viên thuộc giá trị « Nam » « Nữ »
Nếu thêm dòng phải thực kiểm tra RBTV Nếu xóa dịng khơng cần thực kiểm tra
RBTV
Nếu sửa thuộc tính « PHAI » dòng thực
II Các đặc trưng RBTV III Phân loại RBTV
MANV TENNV PHAI DIACHI
001 Nguyễn Minh Nam Dak Lak
(17) RBTV có miền giá trị: quy định tập giá trị
mà thuộc tính nhận
Ví dụ 1:
Dom(PHAI)={“Nam”, “Nữ”}
Dom(DIEM)= {0, 0.5, 1,…10}
II Các đặc trưng RBTV III Phân loại RBTV
1. RBTV có bối cảnh một quan hệ
(18) Ví dụ 2: Xét lược đồ quan hệ:
NHANVIEN(MANV, TENNV, PHAI, DCHI)
Xét RBTV:
Nội dung:
PHAI NHANVIEN “nam”
“nữ”
∀n NHANVIEN: n.PHAI IN {“Nam”,”Nữ”}∈
Bối cảnh: Quan hệ nhân viên Tầm ảnh hưởng:
II Các đặc trưng RBTV III Phân loại RBTV
1. RBTV có bối cảnh một quan hệ
(19) RBTV liên bộ:
Là điều kiện ràng buộc
một quan hệ
Các RBTV liên thường ràng buộc
về khóa nội (ràng buộc khóa – Primary key)
II Các đặc trưng RBTV III Phân loại RBTV
1. RBTV có bối cảnh một quan hệ
(20) Ví dụ (liên bộ):
Xét RBTV
Nội dung:
Hai khác PHONGBAN khác
nhau MAPHG
∀ p1, p2 PHONGBAN: p1 ≠ p2∈
⇒ p1[MAPHG] ≠ p2[MAPHG]
Bối cảnh: quan hệ PHONGBAN
Bảng tầm ảnh hưởng:
II Các đặc trưng RBTV III Phân loại RBTV
1. RBTV có bối cảnh một quan hệ
(21) RBTV liên thuộc tính:
Là ràng buộc thuộc tính
quan hệ
II Các đặc trưng RBTV III Phân loại RBTV
1. RBTV có bối cảnh một quan hệ
(22) Ví dụ (liên thuộc tính):
Xét lược đồ quan hệ: DEAN (MADA,
TENDA, DAY_BD, DAY_KT)
Xét RBTV:
Nội dung: với đề án ngày bắt đầu dự kiến
phải nhỏ ngày kết thúc
▪ ∀d DEAN, d[DAY_BEGIN] <= d[DAY_END]∈
Bối cảnh: quan hệ DEAN Bảng tầm ảnh hưởng:
II Các đặc trưng RBTV III Phân loại RBTV
1. RBTV có bối cảnh một quan hệ
2. RBTV có bối cảnh nhiều quan hệ
(23) RBTV có giá trị thuộc tính thay đổi theo
thời gian: RBTV liên bộ, liên quan hệ: điều kiện nhiều quan hệ khác
II Các đặc trưng RBTV III Phân loại RBTV
1. RBTV có bối cảnh một quan hệ
(24)(25)(26)(27)