Bài giảng "Cơ sở dữ liệu - Chương 6: Phụ thuộc hàm và các dạng chuẩn" cung cấp cho người học các kiến thức: Các khái niệm cơ bản về phụ thuộc hàm, hệ tiên đề Amstrong và các bổ đề, bao đóng, thuật toán xác định khóa của một quan hệ, . | ĐẠI HỌC CÔNG NGHỆ THÔNG TIN KHOA HỆ THỐNG THÔNG TIN Chương 6 Phụ thuộc hàm và Các dạng chuẩn GV: ThS. Nguyễn Đình Loan Phương Nội dung 1. Phụ thuộc hàm 2. Các dạng chuẩn 2 1. Phụ thuộc hàm Các khái niệm cơ bản về phụ thuộc hàm Hệ tiên đề Amstrong và các bổ đề Bao đóng Thuật toán xác định khóa của một quan hệ 3 Các khái niệm cơ bản Phụ thuộc hàm (PTH) trên quan hệ R biểu diễn mối liên hệ giữa các tập thuộc tính trong R Định nghĩa: Nếu A, B là hai tập thuộc tính của R, B phụ thuộc hàm trên A, nếu mỗi giá trị tại A trong R xác định duy nhất một giá trị của B trong R. Ký hiệu A→B A xác định B B phụ thuộc (hàm) vào A Ví dụ: MaNV → TenNV; MaNV, MaDA → TGian PTH được phát biểu dựa trên Ngữ nghĩa của môi trường ứng dụng Qui tắc 4 Các khái niệm cơ bản (tt) Định nghĩa hình thức: Cho quan hệ R(A, B, C) có PTH A B nếu: t1, t2 R: = thì = Nghĩa là: ứng với 1 giá trị của A thì có một giá trị duy nhất của B A là vế trái của PTH, B là vế phải của .
