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 />
4.5.2 Nhận biết dạng chuẩn 3NF & BCNF<br />
a) Nhận biết một lược đồ quan hệ là dạng chuẩn 3NF:<br />
Xác định tập các thuộc tính không khóa Y.<br />
Kiểm tra xem có tồn tại phụ thuộc X → Y∈ F + , Y ⊄ X và X + ≠ Ω.<br />
b) Nhận biết một lược đồ quan hệ là dạng chuẩn BCNF<br />
Xác định các tập các thuộc tính X sao cho X + ≠ Ω.<br />
Kiểm tra xem có tồn tại phụ thuộc X → Y∈ F + , Y ⊄ X.<br />
Ví dụ<br />
a) Cho Ω = {A, B, C, D, E, G, H} và F = {C → AB, D → E, B → G}.<br />
Khoá của lược đồ K = {H, C, D}.<br />
Tập các thuộc tính không khoá: NK = {A, B, E, G}.<br />
Vế phải của các phụ thuộc C → AB, D → E và B → G là các thuộc tính không<br />
khoá, và C + ≠ Ω, D + ≠ Ω và B + ≠ Ω .<br />
Lược đồ là dạng chuẩn 3NF<br />
b) Cho Ω = {A, B, C, D} và F = {AB → C, C → ABD}.<br />
Tập có bao đóng khác Ω : X = A, X = B, X = D, X = AD, X = BD.<br />
Không tồn tại X → Y ∈ F + + , Y ⊄ X , suy ra BCNF.<br />
c) Cho Ω = {A, B, C, D, E, G, H} và F = {A → BC, D → E, H → G}.<br />
Tồn tại D → E ∈ F + , D + ≠ Ω, suy ra lược đồ không BCNF.<br />
Tồn tại lược đồ quan hệ không là dạng chuẩn 3NF thì cũng không là chuẩn Boyce Codd.<br />
4.6 Thuật toán tách lược đồ quan hệ không tổn thất thông tin<br />
4..6.1 Phép tách về các lược đồ dạng chuẩn 3NF có bảo toàn phụ thuộc<br />
Input: Cho s = < Ω , F > là một lược đồ quan hệ, trong đó<br />
Ω = {A1, A2, ..., An} tập các thuộc tính và<br />
F = { f : Lj → Rj ⏐ Lj, Rj ⊆ Ω } tập các phụ thuộc hàm.<br />
Không mất tính tổng quát, giả sử tâp F là phủ cực tiểu.<br />
Output: Một phép tách bảo toàn phụ thuộc sao cho mỗi một lược đồ quan hệ chiếu có<br />
dạng chuẩn 3NF tương ứng với tập phụ thuộc chiếu của F trên nó.<br />
Phương pháp:<br />
Nếu có những thuộc tính của Ω không có mặt trong các vế phải và trái của các phụ<br />
thuộc hàm, thì tập các thuộc tính này sẽ tạo ra một lược đồ quan hệ chiếu. Loại bỏ<br />
tất cả những thuộc tính này ra khỏi Ω trong quá trình thực hiện thuật toán.<br />
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ả các<br />
thuộc tính của Ω, khi đó kết quả phép tách chính là lược đồ quan hệ s.<br />
Ngược lại, Ωi ={XA} là một thành phần của phép tách.<br />
4.6.2 Thuật toán tách bảo toàn phụ thuộc và không tổn thất thông tin về các lược đồ<br />
dạng chuẩn 3NF<br />
Input: Cho s = < Ω , F > là một lược đồ quan hệ . Trong đó<br />
88
Change language