TAILIEUCHUNG - 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
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã 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.