TAILIEUCHUNG - Bài giảng Lý thuyết cơ sở dữ liệu - Chương 4: Phụ thuộc hàm

Bài giảng Lý thuyết cơ sở dữ liệu - Chương 4: Phụ thuộc hàm cung cấp cho học viên những kiến thức về định nghĩa phụ thuộc hàm; biểu diễn phụ thuộc hàm; hệ tiên đề Amstrong; bao đóng - closure; tập phụ thuộc hàm tương đương; . Mời các bạn cùng tham khảo chi tiết nội dung bài giảng! | CHƯƠNG IV PHỤ THUỘC HÀM I. Giới thiệu Functional Dependency 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 - là công cụ để biểu diễn các ràng buộc logic giữa các thuộc tính của quan hệ 8 9 21 8 06 AM 2 Định nghĩa PTH 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 Nói rằng X xác định hàm Y hay Y phụ thuộc hàm vào X ký hiệu X Y nếu với mọi quan hệ bộ r xác định trên R U và với hai bộ t1 và t2 bất kỳ mà t1 X t2 X thì t1 Y t2 Y Cách đọc khác X xác định duy nhất Y hay X kéo theo Y -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 9 21 8 06 AM 3 Ví dụ HOADON soHD NgayLap TongGiaTri CHITIET_HOADON SoHD MaHang SoLuong DonGia ThanhTien - SoHD NgayLap - SoHD TongGiaTri - SoHD MaHang SoLuong - SoHD MaHang DonGia - SoHD MaHang ThanhTien 8 9 21 8 06 AM 4 Biểu diễn phụ thuộc hàm - Liệt kê các thuộc tính 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 vế phải của tất cả các phụ thuộc hàm Ví dụ MƯỢN Sốthẻ Mãsốsách Tênngườimượn Tênsách Ngàymượn - Với các phụ thuộc hàm FD1 Sốthẻ Tênngườimượn FD2 Mãsốsách Tênsách FD3 Sốthẻ Mãsốsách Ngàymượn Có sơ đồ phụ thuộc hàm như sau Mã số Tên người Tên sách Ngàymượn Sốthẻ sách mượn FD2 FD1 FD3 8 9 21 8 06 AM 9 II. Hệ tiên đề Amstrong Năm 1974 Amstrong đưa ra hệ luật dẫn hay các tính chất của phụ thuộc hàm gọi là hệ tiên đề Amstrong Hệ tiên đề Amstrong gồm các nguyên tắc biến đổi của PTH 8 9 21 8 06 AM 13 Hệ tiên đề Amstrong Cho X Y Z W Í U. Ký hiệu XY XÈY. Ta có các luật sau 1. Luật phản xạ Nếu Y Í X thì X Y VD MaNV HoTen NgaySinh HoTen NgaySinh 2. Luật bổ sung - gia tăng Nếu X Y thì XZ YZ VD Nếu MaNV HoTen thì MaNV NgaySinh HoTen NgaySinh 3. Luật bắc cầu Nếu X Y và Y Z thì X Z VD Nếu có MaNV Hoten MaP và MaP TenPhong DiaChi thì MaNV Hoten TenPhong DiaChi 4. Luật tựa bắc cầu Nếu X Y và WY Z thì XW Z VD MaNV HoTen và HoTen NgaySinh HSL thì MaNV NgaySinh HSL 5. Luật hợp Nếu X

• Cơ sở dữ liệu
• Bài giảng Lý thuyết cơ sở dữ liệu
• Lý thuyết cơ sở dữ liệu
• Phụ thuộc hàm
• Hệ tiên đề Amstrong
• Tập phụ thuộc hàm tương đương
• Phụ thuộc hàm dư thừa
• Mô hình cơ sở dữ liệu quan hệ
• Lược đồ quan hệ
• Lược đồ cơ sở dữ liệu
• Lập trình cơ sở dữ liệu
• Lưu trữ dữ liệu
• Hệ cơ sở dữ liệu
• Bài giảng hệ cơ sở dữ liệu
• Môi trường cơ sở dữ liệu
• Quản trị cơ sở dữ liệu
• Cấu trúc dữ liệu
• Thiết kế cơ sở dữ liệu
• Phát triển cơ sở dữ liệu
• An toàn dữ liệu
• Đặc điểm của cơ sở dữ liệu
• Hệ quản trị cơ sở dữ liệu
• Lược đồ quan niệm
• Truy vấn dữ liệu
• Cơ sở dữ liệu quan hệ
• Quản lý giao dịch phân tán
• Cơ sở dữ liệu phân tán
• Kiến trúc cơ sở dữ liệu
• Kiến thức cơ sở dữ liệu
• Hệ xử lý tập tin
• Cơ sở dữ liệu quan hệ và SQL
• Bài giảng cơ sở dữ liệu quan hệ
• Quản lý dữ liệu người dùng
• Cơ sở dữ liệu người dùng
• Khôi phục cơ sở dữ liệu
• Cơ sở dữ liệu SQL
• Câu lệnh SQL
• Cơ sở dữ liệu Web và XML
• Bài giảng cơ sở dữ liệu Web
• Cơ sở dữ liệu web
• Lập trình web
• Cơ sở dữ liệu
• Bài giảng cơ sở dữ liệu
• Cơ sở dữ liệu tài nguyên đất đai
• Chuẩn hoá cơ sở dữ liệu
• Bài giảng Hệ quản trị cơ sở dữ liệu
• Chuẩn hóa cơ sở dữ liệu
• Mô hình cơ sở dữ liệu
• Mô hình thực thể kết hợp
• Mô hình quan hệ dữ liệu
• Mô hình dữ liệu
• Liên kế dữ liệu
• Tổng quan sơ sở dữ liệu
• Giáo trình cơ sở dữ liệu
• Thực hành cơ sở dữ liệu
• Tài liệu cơ sở dữ liệu
• Data normalization
• Chuẩn hóa lược đồ quan hệ
• Thuật toán kiểm tra dạng chuẩn
• Hệ thống thông tin
• Ngôn ngữ cơ sở dữ liệu
• Mô hình dữ liệu quan hệ