1 Ràng Buộc Tồn Vẹn
Trong mỗi CSDL luơn tồn tại nhiều mối liên hệ giữa các thuộc tính, giữa các bộ. Sự liên hệ này cĩ thể xảy ra trong một lược đồ quan hệ hoặc trong các lược đồ quan hệ của một cơ sở dữ liệu. Các mối liên hệ này là những điều kiện bất biến mà tất cả các bộ của những quan hệ cĩ liên quan trong CSDL đều phải thỏa mãn ở mọi thời điểm. Những điều kiện bất biến đĩ được gọi là ràng buộc tồn vẹn. Trong thực tế ràng buộc tồn vẹn là các quy tắc quản lý được áp đặt trên các đối tượng của thế giới thực.
Nhiệm vụ của người phân tích thiết kế là phải phát hiện càng đầy đủ và chính xác các ràng buộc tồn vẹn càng tốt và mơ tả chúng một cách chính xác trong hồ sơ phân tích thiết kế - đĩ là một việc làm rất quan trọng và rất cần thiết.
Trong một cơ sở dữ liệu, ràng buộc tồn vẹn được xem như là một cơng cụ để diễn đạt ngữ nghĩa của CSDL. Một CSDL được thiết kế cồng kềnh nhưng nĩ thể hiện được đầy đủ ngữ nghĩa của thực tế vẫn cĩ giá trị cao hơn rất nhiều so với một cách thiết kế gọn nhẹ nhưng nghèo nàn về ngữ nghĩa vì thiếu các ràng buộc tồn vẹn của cơ sở dữ liệu.
Cơng việc kiểm tra ràng buộc tồn vẹn thường được tiến hành vào thời điểm cập nhật dữ liệu ( thêm, sửa, xĩa). Những ràng buộc tồn vẹn phát sinh cần phải được ghi nhận và xử lý một cách tường minh (thường là bởi một hàm chuẩn hoặc một đoạn chương trình).
2 Các Yếu Tố Của Ràng Buộc Tồn Vẹn
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ều kiệ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, thuậ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,t2 ∈ r
t1.MASV ≠ t2.MASV
cuối ∀
ii Bối cả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 hay 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 trên thì bối cảnh là một quan hệ Sv
iii Tầm ảnh hưởng
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 buộ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)
Một bảng tâm ảnh hưởng của một RBTV cĩ dạng sau:
(Tên RBTV) Thêm(T) Sửa(S) Xĩa(X)
r1 + - -
r2
... ... .. ..
... ... ... ...
rn
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 quan 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,…