Các Yếu Tố Của Ràng Buộc Tồn Vẹn

Một phần của tài liệu giáo trình cơ sở dữ liệu toàn tập (Trang 51 - 52)

Mỗi ràng buộc tồn vẹn cĩ 3 yếu tố: điều kiện, bối cảnh và tầm ảnh hưởng.

i Điềukiện

Điều kiện của một ràng buộc tồn vẹn R cĩ thể được biểu diễn bằng ngơn ngữ tự nhiên, t huật giải,

ngơn ngữ đại số tập hợp, đại số quan hệ,… ngồi ra điều kiện của ràng buộc tồn vẹn cũng cĩ thể

được biểu diễn bằng phụ thuộc hàm. Chẳng hạn, với lược đồ quan hệ SV thì cĩ một ràng buộc tồn

vẹn như sau:

Với r là một quan hệ của Sv ta cĩ ràng buộc tồn vẹn sau

t1,t2r

t1.MASVt2.MASV cuối

ii Bốicảnh

Bối cảnh của một ràng buộc tồn vẹn là những quan hệ mà ràng buộc đĩ cĩ hiệu lực ha y nĩi một

cách khác, đĩ là những quan hệ cần phải được kiểm tra ràng buộc tồn vẹn. Bối cảnh của một ràng

buộc tồn vẹn cĩ thể là một hoặc nhiều quan hệ. Chẳng hạn với ràng buộc tồn vẹn tre ân thì bối

cảnh là một quan hệ Sv

BộmơnCSDLTrườngCĐCN4

(Tên RBTV) Thêm(T) Sửa(S) Xĩa(X)

r1 + - -

r2

... ... .. .. ... ... ... ... rn

Giáo trình CƠ SỞ DỮ LIỆU

Trang 33

Trong quá trình phân tích thiết kế một CSDL, người phân tích cần lập bảng tầm ảnh hư ởng cho

một ràng buộc tồn vẹn nhằm xác định thời điểm cần phải tiến hành kiểm tra các ràng b uộc tồn

vẹn đĩ. Các thời điểm cần phải kiểm tra RBTV chính là những thời điểm cập nhật dữ li ệu (thêm

/sửa/ xĩa)

Bảng này chứa tồn các ký hiệu + hoặc –

Chẳng hạn + tại ơ tương ứng với dịng r1, cột thêm thì cĩ nghĩa là khi thêm một bộ vào q uan hệ r1

thì cần phải kiểm tra RBTV

Dấu - Tại ơ tương ứng với dịng r1, cột sửa thì cĩ nghĩa là khi sửa một bộ trên quan hệ r1 thì khơng

cần phải kiểm tra RBTV này,…

Một phần của tài liệu giáo trình cơ sở dữ liệu toàn tập (Trang 51 - 52)

Tải bản đầy đủ (DOCX)

(146 trang)
w