bài tập lớn môn kiến trúc máy tính và hệ điều hành
Baocao Chuanhoa
1. LÝ THUYẾT CHUẨN HOÁ Nhóm 4 Trần Tấn Từ Lê Quang Chiến Trương Khắc Tùng Quách Xuân Hưng Võ Hoài Trung
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18. Dạng chuẩn BCNF (tiếp) Rõ ràng R 3NF (vì R có 2 khoá: CS và SZ), nhưng R vẫn dư thừa. = r C VN Mỹ Mỹ X Z 84 1 2 99 S Hue HN A B C D A Z 84 84 1 1 2 2 99 Không dư thừa Không dư thừa
19.
20.
21. Người ta đã chứng minh: không tồn tai 1 giải thuật phân tách 1 lược đồ quan hệ thành các lược đồ con thuộc BCNF vừa bảo toàn thông tin vừa bảo toàn phụ thuộc hàm