Bài giảng cơ sở dữ liệu: 08 - Phụ thuộc hàm

Toàn bộ các bài giảng cơ sở dữ liệu: https://bit.ly/31mLitO Tài liệu và slide: http://database.edu.vn/database/ Giới thiệu: 0:00 Định nghĩa phụ thuộc hàm: 0:16 Ví dụ phụ thuộc hàm 1: 1:54 Ví dụ phụ thuộc hàm 2: 3:48 Phụ thuộc hàm suy diễn được: 4:14 Các qui tắc suy diễn Armstrong đối với các phụ thuộc hàm: 5:59 Chứng minh qui tắc 1 và 2: 8:10 Chứng minh qui tắc 3: 11:39 Chứng minh qui tắc 4: 12:47 Chứng minh qui tắc 5: 13:58 Chứng minh qui tắc 6: 15:05 Tính đúng và đầy đủ của các qui tắc 1, 2, 3: 15:48 Bao đóng của tập thuộc tính: 17:11 Thuật toán tìm bao đóng của tập thuộc tính: 18:06 *** Đính chính ở phút 18:33 "Một tập thuộc tính luôn xác định hàm chính nó theo qui tắc 1 của Armstrong" Ví dụ tìm bao đóng của tập thuộc tính: 20:22 Bao đóng của tập thuộc tính và khóa: 23:55 Ví dụ bao đóng và khóa: 25:58 Thuật toán tìm khóa của lược đồ quan hệ: 27:38 Sự tương đương của các tập phụ thuộc hàm (phụ thuộc hàm tương đương): 30:44 Ví dụ hai tập phụ thuộc hàm tương đương: 32:41 Tập phụ thuộc hàm tối thiểu và phủ tối thiểu: 36:41 Thuật toán tìm phủ tối thiểu cho tập phụ thuộc hàm: 38:07 Ví dụ tìm phủ tối thiểu: 40:45 Tóm tắt các nội dung đã trình bày trong video: 44:16 ID: 2473770f9b1cca52405c1a38478e7145