Thực hành Hệ thống thông tin - Ràng buộc toàn vẹn và trigger
Các thành phần cơ bản của một ràng buộc toàn vẹn
-
- Phát biểu RBTV bằng ngôn ngữ tự nhiên: là một phát biểu tự nhiên về ràng
buộc toàn vẹn
Bối cảnh: là những quan hệ liên quan đến RBTV. Những quan hệ liên
quan” là khi thực hiện những thao tác cập nhật dữ liệu lên những quan hệ này thì RBTV bị vi phạm.
- Nội dung: là phát biểu lại của RBTV bằng ngôn ngữ hình thức để thể hiện
được sự chặt chẽ. Một số ngôn ngữ hình thức được sử dụng như: phép tính
quan hệ, đại số quan hệ hoặc mã giả.
- Bảng
ảnh hưởng: Là bảng mô tả các sự ảnh hưởng đến RBVT của các
thao tác cập nhật lên các bảng dữ liệu.
Bạn đang xem tài liệu "Thực hành Hệ thống thông tin - Ràng buộc toàn vẹn và trigger", để tải tài liệu gốc về máy hãy click vào nút Download ở trên.
File đính kèm:
thuc_hanh_he_thong_thong_tin_rang_buoc_toan_ven_va_trigger.pdf