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ÀI LIỆU LIÊN QUAN
TỪ KHÓA LIÊN QUAN
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.