CHƢƠN V. THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ
Ở MỨC KHÁI NIỆM
TS. Nguyễn Thị Kim Ngân
Nội dung
Dư thừa và dị thường dữ liệu
Phụ thuộc hàm
Hệ tiên đề Armstrong
Bao đóng của tập thuộc tính
Phủ của một tập PTH
Xác định khóa của lược đồ quan hệ
Chuẩn hóa lược đồ quan hệ
Các phép tách lược đồ quan hệ
Chuyển đổi mô hình thực thể liên kết sang mô hình quan hệ
Các phép tách lược đồ quan hệ
Định nghĩa phép tách lược đồ quan hệ
Phép tách kết nối không tổn thất về BCNF
Phép tách bảo toàn phụ thuộc về 3NF
Các phép tách lược đồ quan hệ
Định nghĩa phép tách lược đồ quan hệ
Phép tách kết nối không tổn thất về chuẩn BCNF
Phép tách bảo toàn phụ thuộc về chuẩn 3NF
Định nghĩa phép tách lược đồ quan hệ
Cho lược đồ quan hệ R=<U, F>
U1, U2, …, Uk là các tập con của U sao cho U1 U2 … Uk=U
Fi= Ui(F)={{XY| XY F+, XYUi}, i=1,..,k
Phép tách lược đồ R là việc thay thế R=<U, F> bằng các lược đồ
con R1 =<U1 , F1>, R2 =<U2 , F2>, …, Rk=<Uk, Fk>
Kí hiệu phép tách: =(R1, R2, …, Rk) hoặc =(U1, U2, …, Uk)