Phân tác hR thành

Một phần của tài liệu Cơ sở dự liệu 1 (Trang 71 - 75)

M: kí hiệu cho người quản lý (Manager)

Phân tác hR thành

 2 lược đồ con

 R1 (CZ) Khóa: CZ ◦ ◦ R1 đạt chuẩn BCNF  R2 (SZ) Khóa là SZ ◦ ◦ R2 đạt chuẩn BCNF 142

Vào: lược đồ quan hệ R, tập phụ thuộc hàm F Ra: khẳng định R đạt BCNF hay không đạt BCNF. Ra: khẳng định R đạt BCNF hay không đạt BCNF.

Bước

1: Tìm tất cả khóa của R Bước

2: Từ F tạo tập PTH tương đương F1ttcó vế phải một thuộc tính

Bước

3: Nếu mọi phụ thuộc hàm X A F1ttvới AX đều có X là siêu khóa thì R đạt BCNF ngược lại R không đạt BCNF

sds 72143 143  S1(S, N, A) và F1={SNA} Khóa chính S ◦ ◦ SNA ◦ S1 đạt chuẩn BCNFS2 (S, I, P) và F2={SIP} Khóa chính: SISI ◦ P ◦ S2 đạt chuẩn BCNF Vậy S1, S2 đạt chuẩn BCNF 144

Cho lược đồ quan hệ Q(A,B,C,D,E,I) Tập PTH F={ACDEBI;CEAD}. Hỏi Q có đạt chuẩn BC không?

Giải:

TN={C} TG={ADE}

F = F1tt= {ACDE, ACDB, ACDI, CEA, CED}

sds 73145 145

Vào: lược đồ quan hệ R, tập PTH hàm F Ra: khẳng định R đạt chuẩn gì?

Bước

1: Tìm tất cả khóa của R Bước

2: Kiểm tra BCNF nếu đúng thì R đạt BCNF, kết thúc thuật toán. Ngược lại qua bước 2.

Bước

3: Kiểm tra 3NF nếu đúng thì R đạt 3NF, kết thúc thuật toán. Ngược lại qua bước 4.

Bước

4: Kiểm tra 2NF nếu đúng thì R đạt 2NF, kết thúc thuật toán. Ngược lại R đạt 1NF.

146

Chuẩn

 2NF

Giản ước sự dư thừa dữ liệu ◦

Tránh dị thường khi cập nhật dữ liệu do sự dư thừa dữ liệu gây ◦

ra Chuẩn

 3NF

Tránh sự dị thường khi thêm và xóa các bộ trong quan hệ ◦

Chuẩn BCNF

Tránh sự dị thường khi thêm và xóa các bộ trong quan hệ ◦

Chặt chẽ và mạnh hơn chuẩn

sds 74

147 148

2.5.1

 . Phép tách lược đồ quan hệ

2.5.2

 . Thuật toán kiểm tra phép tách - kết nối bảo toàn

thông tin2.5.3 2.5.3

 . Phép tách - kết nối bảo toàn thông tin

Tách không mất mát về chuẩn BCNF

Tách bảo toàn PTH về chuẩn

sds 75149 149

Khái niệm 

Phép tách các lược đồ quan hệ là quá trình phân tách các lược đồ quan hệ R

thành các lược đồ con nhỏ hơn dựa trên một quy tắc cho trước Hay nói cách khác:Thay thế một lược đồ quan hệ R(A

◦ 1,A2,…,An) bằng một

tập các lược đồ con {R1,R2,…,Rk} trong đó Ri⊆ R và R= R1∪R2 ∪…. ∪ Rk .

Mục đích 

Sử dụng phép tách để đưa các lược đồ về các dạng chuẩn

Loại bỏ dư thừa và hạn chế dị thường

Tăng hiệu quả lưu trữ, tìm kiếm, truy vấn

Yêu cầu phép tách 

Bảo toàn thuộc tính, ràng buộc

Bảo toàn dữ liệu

150

Một phần của tài liệu Cơ sở dự liệu 1 (Trang 71 - 75)

Tải bản đầy đủ (PDF)

(156 trang)