• Để xác định thời điểm kiểm tra RBTV khi một thao tác cập nhật trên một quan hệ nào đó được thực hiện. ...[r]
(1)Ràng buộc toàn vẹn
(Integrity Constraint)
(2)Nội dung trình bày
Giới thiệu
Các yếu tố RBTV
Phân loại RBTV
(3)Giới thiệu
RBTV
• Các điều kiện trạng thái quan hệ phải thỏa thời điểm
• Xuất phát từ qui tắc quản lý áp đặt lên đối tượng giới thực
Mục đích RBTV
• Đảm bảo tính quán liệu
- Người giám sát phải nhân viên công ty - Dự án phải điều phối phịng cơng ty
• Đảm bảo ngữ nghĩa thực tế CSDL
- Ngày nhận chức > Ngày sinh
- Lương nhân viên < Lương trưởng phịng
RBTV có yếu tố
• Nội dung • Bối cảnh
(4)Nội dung RBTV
Được phát biểu bằng
• Ngôn ngữ tự nhiên.
- Đơn giản, dễ hiểu.
• Ngơn ngữ hình thức
- Đại số quan hệ, phép tính quan hệ, mã giả (pseudo
code).
(5)Ví dụ
RB-1
• Mỗi nhân viên có mã số riêng biệt dùng để phân biệt với
nhân viên khác.
•
t
1, t
2NHANVIEN (t
1t
2t
1.MaNV t
2.MaNV)
RB-2
• Mỗi nhân viên phải làm việc phịng ban.
• NHANVIEN[MaPhong]
PHONGBAN[MaPB]
RB-3
• Mỗi nhân viên phép tham gia không dự án.
•
s THAMGIA (card({t | t THAMGIA t.MaNV = s.MaNV})
3)
RB-4
• Mỗi phịng ban phải có nhân viên
(6)Bối cảnh RBTV
Là quan hệ mà RBTV có hiệu lực.
Bối cảnh quan hệ nhiều quan
hệ.
Ví dụ
•
RB-1
có bối cảnh NHANVIEN.
•
RB-2, RB-4
có bối cảnh NHANVIEN, PHONGBAN.
(7)Bảng tầm ảnh hưởng RBTV (1)
RBTV bị vi phạm thực thao tác cập nhật
trên bối cảnh
• Thêm
• Xóa
• Sửa
Bảng tầm ảnh hưởng dùng để xác định thời điểm cần kiểm
tra RBTV.
-+ Quan hệ k
-+
+ Quan hệ
Sửa Xóa
Thêm Tên RBTV
+ : cần phải kiểm tra RBTV - : không cần kiểm tra RBTV Các quan hệ
(8)(9)Bảng tầm ảnh hưởng RBTV (2)
Bảng tầm ảnh hưởng tổng hợp
• Xây dựng sở bảng tầm ảnh hưởng RBTV.
• Để xác định thời điểm kiểm tra RBTV thao tác cập nhật
một quan hệ thực hiện.
+ T
Tên RBTV r
-X + + S S X T -+
Quan hệ n
-+ Quan hệ
(10)