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.