Tìm kiếm nâng cao
Loại tài liệu: Tài liệu số - Thesis
Tác giả: Nguyễn, Thị Chung
Nhà Xuất Bản: Đại học Sư phạm Hà Nội
Năm Xuất Bản: 2014
Trình bày một số khái niệm về lý thuyết các phụ thuộc hàm trong CSDL quan hệ truyền thống (các khái niệm phụ thuộc hàm, hệ quy tắc suy diễn Armstrong, thuật toán xác định bao đóng của tập X các thuộc tính, khóa của lược đồ quan hệ, phủ tối tiểu của tập các phụ thuộc hàm). Nghiên cứu, tìm hiểu về các phụ thuộc hàm có điều kiện (CFD): cú pháp, ngữ nghĩa, tính nhất quán, hệ quy tắc suy diễn, bao đóng của tập CFD, phủ tối tiểu của tập CFD, các kĩ thuật phát hiện sự vi phạm CFD. Qua đó thấy rõ được CFD là sự mở rộng của phụ thuộc hàm truyền thống với việc đưa thêm vào bảng mẫu tp