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 AX đề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={SNA} Khóa chính S ◦ ◦ SNA ◦ S1 đạt chuẩn BCNF S2 (S, I, P) và F2={SIP} Khóa chính: SI ◦ SI ◦ 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={ACDEBI;CEAD}. Hỏi Q có đạt chuẩn BC không?
Giải:
TN={C} TG={ADE}
F = F1tt= {ACDE, ACDB, ACDI, CEA, CED}
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