Bài giảng "Cơ sở dữ liệu - Bài 9: Phụ thuộc hàm và dạng chuẩn" cung cấp cho người học các kiến thức: Hệ luật dẫn Amstrong, bao đóng, khóa, thuật toán tìm khóa; các dạng chuẩn. Đây là một tài liệu hữu ích dành cho các bạn sinh viên và những ai quan tâm dùng làm tài liệu học tập và nghiên cứu. | Bài 9: Phụ thuộc hàm và dạng chuẩn Khoa HTTT - Đại học CNTT 1 Nội dung Phụ thuộc hàm Hệ luật dẫn Amstrong Bao đóng Khóa Thuật toán tìm khóa Các dạng chuẩn Dạng chuẩn 1 Dạng chuẩn 2 Dạng chuẩn 3 Dạng chuẩn Boyce Codd Khoa HTTT - Đại học CNTT 2 1. Phụ thuộc hàm (1) X,Y là hai tập thuộc tính trên quan hệ R r1, r2 là 2 bộ bất kỳ trên R Ta nói X xác định Y, ký hiệu X → Y, nếu và chỉ nếu r1[X] = r2[X] thì r1[Y] = r2[Y] X → Y là một phụ thuộc hàm, hay Y phụ thuộc X. X là vế trái của phụ thuộc hàm, Y là vế phải của phụ thuộc hàm. Ví dụ: cho quan hệ sinh viên như sau: SINHVIEN(Tên, Mônhọc, SốĐT, ChuyênNgành, GiảngViên, Điểm) Khoa HTTT - Đại học CNTT 3 1. Phụ thuộc hàm (2) Tên Mônhọc SốĐT ChuyênNgành GiảngViên Điểm Huy CSDL 0913157875 HTTT Hưng 5 Hoàng CSDL 0913154521 HTTT Hưng 10 Huy AV 0913157875 HTTT Thủy 5 Hải 0166397547 MạngMT Lan 10 Tính Toán SXTK HQTCSDL 012145475 CNPM Sang 7 Tính LậpTrình 012145475 CNPM Việt 8 Hoàng LậpTrình 0913154521 HTTT Việt 10 Tên SốĐT ChuyênNgành? Tên Mônhọc Điểm? Mônhọc GiảngViên? Khoa HTTT - Đại học CNTT 4 1. Phụ thuộc hàm (3) Một số tính chất sau: Với mỗi Tên có duy nhất một SốĐT và ChuyênNgành Với mỗi Mônhọc có duy nhất một GiảngViên Với mỗi Tên, Mônhọc có duy nhất một Điểm Ký hiêu: {Tên} → {SốĐT, ChuyênNgành} {Mônhọc} → {GiảngViên} {Tên, Mônhọc} → {Điểm} Khoa HTTT - Đại học .