Tiến trình đọc và viết trong hệ thống được kiểm soát và giới hạn để thoả mãn nguyên tắc No Read - Up và No Write - Down.
Để chắc chắn thoả mãn chính sách bắt buộc, những ràng buộc khác được đặt vào sự phân chia của các thành phần trong hệ đa mức và điều chỉnh đa thể hiện.
(1) Toàn vẹn thực thế
Giả sử AK là khóa thấy được của quan hệ R. Quan hệ đa mức R thoả mãn tính toàn vẹn của thực thể khi và chỉ khi đối với tất cả các thể hiện Ri của R và t ∈ Ri
Ví dụ về quan hệ đa mức
Name CName Departmen
t CDepartmen t Salary CSalary TC Bob S Dept1 S 10K S S Ann S Dept2 S 20K TS TS Sam TS Dept2 TS 30K TS TS
Có thể mô tả như sau:
(1) Ai∈ AK => t[Ai ] ≠ null (2) Ai, Aj∈ AK => t[Ci ]= t[Cj ] (3) Ai∈ AK t[Ci ] >= t[CAK ]
Đặc tính là sự mở rộng của tính toàn vẹn thực thể của quan hệ chuẩn để giải quyết sự phân chia an ninh.
- Yêu cầu đầu tiên xuất phát trực tiếp từ mô hình quan hệ chuẩn và không có bộ nào trong Rc có giá trị null cho bất kỳ thuộc tính nào trong khóa thấy được.
- Yêu cầu thứ hai khẳng định rằng tất cả các khóa chính là hoặc ẩn hoàn toàn hoặc là toàn vẹn null tại lớp truy nhập c.
- Cuối cùng, yêu cầu thứ ba phát biểu rằng trong bất kỳ bộ nào, thuộc tính không khóa phải được chế ngự bởi khóa chính.
Những yêu cầu này đảm bảo rằng những thuộc tính không null sẽ không bao giờ bị kết hợp cùng khóa chính null.
Trong hệ đa mức, những giá trị null có thể có hai nghĩa. Giá trị null trong trường hợp giả định có thể tương ứng với giá trị null thực hoặc tương ứng với các biến tại sự phân chia cao hơn là lớp phân chia của trường hợp đó.
(2) Toàn vẹn null
Quan hệ đa mức R thoả mãn tính toàn vẹn null nếu và chỉ nếu đối với mỗi thể hiện Rc của R tất cả các điều kiện phải được thoả mãn:
(1) Mỗi t ∈ Ri t[Ai] = null => t[Ci]=t[CAK]
(2) Ri là sự kết hợp tùy ý với ý nghĩa là nó không bao gồm hai bộ riêng biệt gộp thành một bộ khác.
Đặc tính này yêu cầu các giá trị null trong bộ được phân chia tại cấp độ tương đương thuộc tính khóa của bộ và giá trị null được gộp bởi giá trị không null độc lập phân chia giá trị không null này.
(3) Toàn vẹn bên trong thể hiện
Quan hệ đa mức R thoả mãn tính toàn vẹn trong mỗi thể hiện nếu và chỉ nếu mọi giá trị c’ < c thì Rc=σ (Rc,c’).
(4) Thuộc tính toàn vẹn Polyinstantialion
Quan hệ đa mức R thoả mãn tính toàn vẹn Polyinstantialion nếu và chỉ nếu mọi quan hệ Rc’ và mọi thuộc tính Ai đều thỏa mãn: AK, CAK, Ci →Ai.