Bài giảng "Phân tích thiết kế hệ thống thông tin - Chương 7: Lý thuyết chuẩn hóa dữ liệu" cung cấp cho người học các kiến thức: Phụ thuộc hàm, bao đóng, khóa của lược đồ quan hệ, phủ tối thiểu, dạng chuẩn, chuẩn hóa cơ sở dữ liệu, . | Bài giảng Phân tích thiết kế hệ thống thông tin Chương 7 - Lê Nhị Lãm Thúy Chương 7 LÝ THUYẾT CHUẨN HÓA DỮ LIỆU PHÂN TÍCH THIẾT KẾ THỐNG THÔNG TIN Nội dung Xét hóa đơn bán hàng như sau Phụ thuộc hàm. Bao đóng. Khóa của lược đồ quan hệ. Phủ tối thiểu. Dạng chuẩn. Chuẩn hóa cơ sở dữ liệu. Phép tách lược đồ quan hệ. Bài tập 1 Ví dụ Số HD NgàyHD TênKH TênNV TênHH SL DG TT 001 01 02 19 Nuyễn Ngọc Nga Trần Thị Lan Coca 2 001 01 02 19 Nuyễn Ngọc Nga Trần Thị Lan Pepsi 1 001 01 02 19 Nuyễn Ngọc Nga Trần Thị Lan Ken 3 002 01 02 19 Nguyễn Thị An Linh Gạo 1 002 01 02 19 Nguyễn Thị An Linh Đường 2 003 01 02 19 Nguyễn Thị An Linh Sữa 1 Nếu thêm một hóa đơn mới Nếu thêm một kết quả thi của sinh viên mới Phụ thuộc hàm functional dependence-FD Phụ thuộc hàm functional dependence-FD Định nghĩa Một thể hiện của R thỏa phụ thuộc hàm X Ynếu Phụ thuộc hàm là ràng buộc giữa 2 tập thuộc tính của 01 lược t1 t2 R đồ quan hệ R A1 A2 An là lược đồ quan hệ. X Y là hai tập con của tập thuộc tính A1 A2 An . Nếu thì lược đồ vi phạm phụ thuộc Ta nói Y phụ thuộc hàm vào X X Y hàm X Y Với mỗi giá trị tại X trong R xác định duy nhất một giá trị của Y trong R 2 A B C D E Ví dụ 1 2 3 4 5 sai 1 4 3 4 5 1 2 4 4 1 Kí hiệu nào là phụ thuộc hàm MONHOC DIEMTHI I. AB C HOTEN DIEMTHI II. B D MASV DIEMTHI T III. DE A T Phụ thuộc hàm hiển nhiên Hệ luật dẫn Armstrong Phụ thuộc hàm được suy diễn logic từ F Nếu X Y thì X Y . Phụ thuộc hàm X Y được suy diễn logic từ F nếu một quan hệ r Với r là quan hệ bất kỳ F là tập phụ thuộc hàm bất kỳ thỏa mãn tất cả các phụ thuộc hàm của F thì cũng thỏa phụ thuộc hàm X Y. thỏa trên r ta luôn có Ký hiệu F X Y. F các phụ thuộc hàm hiển nhiên Bao đóng của F Bao đóng của F là tập tất cả các phụ thuộc hàm được suy diễn logic từ F. Ký hiệu F Nếu F F thì F là họ đầy đủ của các PTH 3 Thuật toán tìm bao đóng F
