tailieunhanh - Bài giảng môn Cơ sở dữ liệu: Chương 9 - Thiết kế cơ sở dữ liệu quan hệ

Bài giảng môn Cơ sở dữ liệu: Chương 9 - Thiết kế cơ sở dữ liệu quan hệ bao gồm những nội dung về phụ thuộc hàm; bao đóng của tập PTH; kiểm tra PTH suy diễn; xác định khóa của lược đồ; tìm một khóa của lược đồ; xác định khóa cho quan hệ. | THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ Phụ thuộc hàm Định nghĩa Xét lược đồ quan hệ gồm n thuộc tính - R U U Ai PTH giữa hai tập thuộc tính X Y c U - Ký hiệu X Y đọc X xác định hàm Y hay Y phụ thuộc hàm X - Vr R V t1 t2 e r nếu t1 X t2 X thì t1 Y t2 Y . - X là vế trái và Y là vế phải của PTH. Ví dụ r R A B 1 4 1 5 3 7 0 r không thỏa A B nhưng thỏa B A NHANVIEN_PHONGBAN TenNV MaNV NgSinh Diachi MaPB TenPB TrPhong MaNV TenNV MaNV MaPB MaPB TenPB TrPho Bao đóng của tập PTH Định nghĩa Trên lược đồ quan hệ R F là tập các PTH cho X Y là một PTH. - Ta nói rằng tập PTH F suy diễn logic X Y ký hiệu F X Y nếu bất kỳ quan hệ r của R thỏa các phụ thuộc trong F thì cũng thỏa X Y. Định nghĩa Bao đóng của tập PTH Closure of FD F là tập các phụ thuộc hàm được suy diễn logic từ F ký hiệu là F nghĩa là F X Y F X Y

TỪ KHÓA LIÊN QUAN