6. Các kết quả dự kiến đạt đƣợc
2.2.3. Phán đoán có hàm gộp
Loại phán đoán này có chi phí kiểm tra cao nhất vì chúng đòi hỏi phải tính các hàm gộp. Hàm gộp thƣờng đƣợc dùng là MIN, MAX, SUM và COUNT. Mỗi hàm gộp chứa một phần chiếu và một phần chọn. Để cƣỡng chế các phán đoán này một cách hiệu quả, chúng ta có thể tạo ra các phán đoán biên dịch nhằm cô lập dữ liệu thừa đƣợc lƣu tại mỗi vị ta có chứa quan hệ đi kèm [Bernstein and 1 Blaustein, 1982]. Dữ liệu này đƣợc gọi là các khung nhìn cụ thể (concrete view).
Tóm tắt về vấn đề kiểm soát toàn vẹn phân tán
Vấn đề chính của kiểm soát toàn vẹn phân tán đó là chi phí truyền và chi phí xử lý việc cƣỡng chế thi hành các phán đoán phân tán. Hai vấn đề chính trong khi thiết kế một tiểu hệ thống toàn vẹn phân tán là định nghĩa các phán đoán phân tán và các thuật toán cƣỡng chế nhằm hạ thấp tối đa chi phí kiểm tra toàn vẹn phân tán. Chúng ta đã chứng minh rằng việc kiểm soát ràng buộc phân tán có thể đạt đƣợc bằng cách mở rộng một phƣơng pháp ngăn cản dựa trên quá trình biên dịch các phán đoán toàn vẹn ngữ nghĩa. Đây là phƣơng pháp tổng quát vì tất cả mọi kiểu phán đoán diễn tả bằng logic vị từ bậc nhất đều có thể xử lý đƣợc. Nó cũng tƣơng thích với định nghĩa phân mảnh và hạ thấp tối đa việc truyền thông qua lại giữa các vị trí. Chúng ta có thể có đƣợc một hiệu năng cƣỡng chế toàn vẹn phân tán tốt hơn nếu các mảnh đƣợc định nghĩa một cách cẩn thận. Vì thế đặc tả ràng buộc toàn vẹn phân tán là một vấn đề quan trọng trong quá trình thiết kế CSDL phân tán.