Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chương I: Khái niệm cơ bản về các hệ cơ <strong>sở</strong> <strong>dữ</strong> <strong>liệu</strong><br />
Ω = {A1, A2, ..., An} tập các thuộc tính và<br />
F phủ cực tiểu các phụ thuộc hàm.<br />
K là khoá của lược đồ quan hệ.<br />
Output: Phép tách ϕ [Ω1 , Ω2 , .. , Ωp ] bảo toàn phụ thuộc và không tổn thất thông tin sao<br />
cho mỗi một lược đồ quan hệ chiếu có dạng chuẩn 3NF tương ứng với tập phụ<br />
thuộc chiếu của F trên nó.<br />
Phương pháp:<br />
1. Xác định các thuộc tính của Ω không có mặt trong các vế phải và trái của các<br />
phụ thuộc hàm. Ký hiệu tập các thuộc tính này là A.<br />
Tạo ra lược đồ quan hệ chiếu trên tập các thuộc tính A.<br />
Loại bỏ tất cả những thuộc tính A ra khỏi Ω trong quá trình thực hiện<br />
thuật toán: Ω = Ω - {A}.<br />
2. Nếu tồn tại phụ thuộc X → A ∈ F sao cho vế phải và trái của nó chứa tất cả<br />
các thuộc tính của Ω, khi đó kết quả phép tách ϕ[X,A].<br />
3. Với mọi X → A ∈ F trong đó thuộc tính A là thuộc tính đơn (F là phủ cực tiểu).<br />
ΩI = {XA}, với X → A, i=1÷ p.<br />
4. Nếu có một số phụ thuộc cùng vế trái: X→A1∈F, X→A2∈F, ., X→Ak∈ F thì có<br />
thể hợp lại thành dạng: Ωj = {XA1 A2...An}, với X → Ai, i=1÷ k.<br />
5. Nếu các thuộc tính của khoá K không xuất hiện trong các tập Ωj được tao bởi<br />
các bước trên khi đó một thành của phép tách sẽ được định nghĩa bởi khoá K.<br />
6. Phép tách ϕ [Ω1 , Ω2 , .. , Ωp ] bảo toàn phụ thuộc và không tổn thất thông tin.<br />
Mỗi một lược đồ quan hệ chiếu có dạng chuẩn 3NF tương ứng với tập phụ thuộc<br />
chiếu của F trên nó.<br />
Ví dụ Cho Ω = {X, Y, Z, W, Q} và phủ cực tiểu<br />
F = {X→Y, XZ→W, YW→Q}<br />
Xác định một phép tách ϕ -3NF bảo toàn phụ thuộc và không tổn thất thông tin.<br />
1. XZ là khoá: (XZ) + = Ω = {X, Y, Z, W, Q}<br />
2. Thực hiện phép tách:<br />
Không tồn tại các thuộc tính mà các thuộc tính đó không xuất hiện trong<br />
các vế của phụ thuộc hàm.<br />
Không tồn tại phụ thuộc hàm chứa các thuộc tính còn lại của Ω .<br />
X→Y : Ω1= {XY}.<br />
XZ→W : Ω2= {X, Z, W}.<br />
YW→Q : Ω3= {Y, W, Q}.<br />
Khoá XZ ⊆ Ω2= {X, Z, W}<br />
3. Vậy phép tách ϕ [XY, XZW, YWQ ].<br />
4. Kiểm tra tổn thất thông tin:<br />
89