TAILIEUCHUNG - Chương 5: Phụ thuộc hàm và một số ứng dụng

Phụ thuộc hàm (functional dependancy) là một công cụ dùng để biểu diễn một cách hình thức các ràng buộc toàn vẹn. | Môn CƠ SỞ DỮ LIỆU Chương 5: Phụ thuộc hàm và một số ứng dụng Nội dung 1. PHỤ THUỘC HÀM Định Nghĩa Phụ Thuộc Hàm Một số tính chất của phụ thuộc hàm - hệ luật dẫn armstrong 2. BAO ĐÓNG CỦA TẬP PHỤ THUỘC HÀM F & CỦA TẬP THUỘC TÍNH X Bao đóng của tập phụ thuộc hàm F Bao đóng của tập thuộc tính X 3. THUẬT TOÁN TÌM BAO ĐÓNG F+ VÀ X+, BÀI TOÁN THÀNH VIÊN Bài toán thành viên Thuật toán tìm bao đóng của một tập thuộc tính (X) Nội dung (tt) 4. PHỦ TỐI THIỂU CỦA MỘT TẬP PHỤ THUỘC HÀM Tập Phụ Thuộc Hàm Tối Thiểu Tập Phụ Thuộc Hàm Tương Đương Thuật Toán Tìm Phủ Tối Thiểu Của Một Tập Phụ Thuộc Hàm 5. KHÓA CỦA LƯỢC ĐỒ QUAN HỆ - MỘT SỐ THUẬT TOÁN TÌM KHÓA Định Nghĩa Thuật toán tìm một khóa của một lược đồ quan hệ Q Thuật Toán Tìm Tất Cả Các Khóa Của Một Lược Đồ Quan Hệ 6. DẠNG CHUẨN CỦA LƯỢC ĐỒ QUAN HỆ Dạng chuẩn 1, 2, 3 Dạng chuẩn Boyce Codd 1. PHỤ THUỘC HÀM Phụ thuộc hàm (functional dependancy) là một công cụ dùng để biểu diễn một cách hình thức các ràng buộc toàn vẹn. Định Nghĩa Phụ Thuộc Hàm Cho lược đồ quan hệ Q với {A1,A2, ,An} là tập các thuộc tính. X, Y là hai tập con khác rỗng của Q. Ta nói X xác định Y (hay Y phụ thuộc hàm vào X) nếu với r là một quan hệ trên Q và nếu hai bộ t1,t2 bất kỳ thuộc r mà = ==> = . Khi đó ta ký hiệu là X Y Phụ thuộc hàm X X được gọi là phụ thuộc hàm hiển nhiên. người ta thường dùng F để chỉ tập các phụ thuộc hàm định nghĩa trên Q. Vì Q hữu hạn nên F cũng hữu hạn, ta có thể đánh số các phụ thuộc hàm của F là f1, f2, , fm. Quy ước rằng chỉ cần mô tả các phụ thuộc hàm không hiển nhiên trong tập F (các phụ thuộc hàm hiển nhiên được ngầm hiểu là đã có trong F}. 1. PHỤ THUỘC HÀM (tt) Một số tính chất của phụ thuộc hàm - hệ luật dẫn armstrong Để có thể xác định được các phụ thuộc hàm khác từ tập phụ thuộc hàm đã có, ta dùng hệ tiên đề Armstrong (1974), gồm các luật sau: với X,Y,Z,W Q+ Luật phản xạ: X X Luật thêm vào: X Y ==> XZ YZ Luật bắc cầu: X Y, Y Z ==> X Z Luật bắc cầu giả: Cho X Y, WY Z ==>

• Cơ sở dữ liệu
• quản trị dữ liệu
• hệ thống dữ liệu
• bài giảng cơ sở dữ liệu
• phụ thuộc hàm
• ứng dụng
• Hệ quản trị cơ sở dữ liệu
• Đề thi Quản trị cơ sở dữ liệu
• Câu hỏi Quản trị cơ sở dữ liệu
• Tài liệu Quản trị cơ sở dữ liệu
• Bài thi Quản trị cơ sở dữ liệu
• Luyện thi Quản trị cơ sở dữ liệu
• Môn Hệ quản trị cơ sở dữ liệu
• Quản trị cơ sở dữ liệu
• Ôn tập quản trị cơ sở dữ liệu
• Đề thực hành quản trị cơ sở dữ liệu TH2
• Đề thực hành quản trị cơ sở dữ liệu
• Bài tập quản trị cơ sở dữ liệu
• Đề thực hành quản trị cơ sở dữ liệu TH3
• Đề thực hành quản trị cơ sở dữ liệu TH4
• Đề thực hành quản trị cơ sở dữ liệu TH5
• Đề thực hành quản trị cơ sở dữ liệu TH6
• Đề lý thuyết quản trị cơ sở dữ liệu LT1
• Đề lý thuyết quản trị cơ sở dữ liệu
• Đề lý thuyết quản trị cơ sở dữ liệu LT2
• Đề lý thuyết quản trị cơ sở dữ liệu LT3
• Đề lý thuyết quản trị cơ sở dữ liệu LT4
• Đề lý thuyết quản trị cơ sở dữ liệu LT5
• Đề thực hành quản trị cơ sở dữ liệu TH7
• Đề lý thuyết quản trị cơ sở dữ liệu LT6
• Đề thực hành quản trị cơ sở dữ liệu TH8
• Đề lý thuyết quản trị cơ sở dữ liệu LT7
• Đề thực hành quản trị cơ sở dữ liệu TH9
• Đề lý thuyết quản trị cơ sở dữ liệu LT8
• Đề thực hành quản trị cơ sở dữ liệu TH10
• Đề lý thuyết quản trị cơ sở dữ liệu LT9
• Đề thực hành quản trị cơ sở dữ liệu TH11