2. Thiết kế cơ sở dữ liệu phân tán
2.2.3. Các qui tắc phân mảnh ñ úng ñắ n
Có ba qui tắc trong khi phân mảnh ñảm bảo cơ sở dữ liệu sẽ không thay ñổi
ngữ nghĩa khi phân mảnh.
1) Tính ñầy ñủ (completeness): Cho quan hệ r bất kỳ. Giả sử r ñược phân rã thành các mảnh. Khi ñó tính ñầy ñủ yêu cầu mỗi mục dữ liệu trong r cũng phải
ñược lưu trữ trong một hoặc vài mảnh nào ñó.
2) Tính tái thiết (reconstruction): Cho quan hệ r bất kỳ. Giả sử r ñược phân rã thành các mảnh r1, ..., rn. Khi ñó tính tái thiết yêu cầu “hợp” các phân mảnh của quan hệ r trả lại ñầy ñủ dữ liệu ban ñầu của quan hệ r. Khái niệm “hợp” ở
ñây là toán tử quan hệ ∆ sao cho
n
r = ∆ri
Toán tử ∆ thay ñổi tuỳ theo từng loại phân mảnh.
Khả năng tái thiết một quan hệ từ các mảnh của nó cũng phải ñảm bảo rằng các ràng buộc ñịnh nghĩa theo phụ thuộc dữ liệu sẽñược bảo toàn.
3) Tính tách biệt (disjointness): Cho quan hệ r bất kỳ. Giả sử r ñược phân rã thành các mảnh r1, ..., rn. Khi ñó tính tách biệt yêu cầu một mục dữ liệu d nào
ñó một khi ñã xuất hiện trong mảnh ri thì sẽ không xuất hiện trong mảnh rk
khác. Tiêu chuẩn này ñảm bảo các mảnh ngang sẽ tách biệt nhau. Còn trong phân
mảnh dọc thì các thuộc tính khoá chính phải ñược lặp lại trong mỗi mảnh, vì vậy
tính tách biệt chỉ áp dụng với các thuộc tính không khoá.