Bài giảng Cơ sở dữ liệu: Chương 5 - Trịnh Xuân

Chương 5: Phụ thuộc hàm. Phụ thuộc hàm là khái niệm được xây dựng để mô tả các ràng buộc logic trong CSDL. Trong chương này chúng ta sẽ tìm hiểu một số nội dung chính sau: Hệ tiên đề Amstrong, bao đóng - closure, tập phụ thuộc hàm tương đương, phụ thuộc hàm dư thừa. Mời các bạn tham khảo.
Nội dung trích xuất từ tài liệu:
Bài giảng Cơ sở dữ liệu: Chương 5 - Trịnh Xuân I. Giới thiệu *Định nghĩa PTH ! Functional Dependency ! Cho quan hệ R(U), trong đó U = {A1, A2,…An} là tập thuộc tính. Cho X,Y là tập thuộc tính con thuộc U ! Phụ thuộc hàm là khái niệm được xây dựng để mô tả các ràng buộc logic ! Nói rằng X xác định hàm Y hay Y phụ thuộc hàm vào X và ký CHƯƠNG VII: hiệu X →Y nếu với mọi quan hệ (bộ) r xác định trên R(U) và với trong CSDL hai bộ t1 và t2 bất kỳ mà t1[X] = t2[X] thì t1[Y] = t2[Y]PHỤ THUỘC HÀM -  là công cụ để biểu diễn các ràng buộc logic ! Cách đọc: X xác định duy nhất Y (hay X kéo theo Y) giữa các thuộc tính của quan hệ - X gọi là vế trái của PTH, Y là vế phải acủa PTH ! Ký hiệu: F:= { f : Lj → Rj | Lj, Rj Ω } là tập các phụ thuộc hàm trên các thuộc tính Ω 8/4/16 07:04 2 8/4/16 07:04 3 II. Hệ tiên đề Amstrong !  Biểu diễn phụ thuộc hàm:!  Ví dụ: HOADON (soHD, MaHang, TongGiaTri) -  Dùng đường nối mũi tên từ các thuộc tính vế trái đến các thuộc tính !  Năm 1974, Amstrong đưa ra hệ luật dẫn hay các -  SoHD -> MaHang vế phải của tất cả các phụ thuộc hàm tính chất của phụ thuộc hàm, gọi là hệ tiên đề -  SoHD -> TongGiaTri !  Ví dụ: Amstrong MƯỢN( Sốthẻ, Mãsốsách, Tênngườimượn, Tênsách, Ngàymượn ) !  Hệ tiên đề Amstrong gồmcác nguyên tắc biến đổi của!  Ví dụ: CHITIET_HOADON (SoHD, MaHang, SoLuong, -  Với các phụ thuộc hàm: PTH DonGia, ThanhTien) FD1: Sốthẻ → Tênngườimượn FD2: Mãsốsách → Tênsách !  Định nghĩa: -  SoHD , MaHang -> SoLuong FD3: Sốthẻ, Mãsốsách → Ngàymượn -  F là tập pth trên quan hệ R(U) và A→B là một pth với A, -  SoHD , MaHang -> DonGia !  Có sơ đồ phụ thuộc hàm như sau: B⊂U. -  SoHD , MaHang -> ThanhTien Sốthẻ Mã số Tên người Tên sách Ngàymượn -  Nói rằng, pth A→B được suy diễn logic từ F nếu với mỗi sách mượn quan hệ r xác định trên R thỏa các phụ thuộc hàm trong F FD2 thì cũng thỏa phụ thuộc hàm A→B. FD1 ...