TAILIEUCHUNG - PHỤ THUỘC HÀM VÀ XÁC ĐỊNH KHÓA CỦA QUAN HỆ

Định nghĩa: Cho r(A,B,C) , với r là quan hệ và A,B,C là thuộc tính Phụ thuộc hàm A → B ( đọc là A xác định B) được định nghĩa là: ∀ t, t’ ∈ r nếu = t’.A thì = t’.B Ý nghĩa : Nếu hai bộ có cùng trị A thì có cùng trị B. tiên đề cho phụ thuộc hàm Cho lược đồ quan hệ r(U), F là tập các phụ thuộc hàm được định nghĩa trên quan hệ r, U là tập thuộc tính. Phụ thuộc hàm A → B Ta có. | PHỤ THUỘC HÀM VÀ XÁC ĐỊNH KHÓA CỦA QUAN HỆ 1. Định nghĩa Cho r A B C với r là quan hệ và A B C là thuộc tính Phụ thuộc hàm A B đọc là A xác định B được định nghĩa là V t t e r nếu t .A thì t .B Ý nghĩa Nếu hai bộ có cùng trị A thì có cùng trị B. 2. Hệ tiên đề cho phụ thuộc hàm Cho lược đồ quan hệ r U F là tập các phụ thuộc hàm được định nghĩa trên quan hệ r U là tập thuộc tính. Phụ thuộc hàm A B Ta có A B được suy logic từ F nếu quan hệ r trên U thỏa các phụ thuộc hàm trong F thì cũng thỏa phụ thuộc hàm A B. Ví dụ F A B B 4 C Ta có phụ thuộc hàm A C là phụ thuộc hàm được suy từ F. 3. Bao đóng Bao đóng của F ký hiệu là F là tập tất cả các phụ thuộc hàm được suy từ F F được định nghĩa F f F f 4. Hệ tiên đề Amstrong Từ F suy ra F dựa trên hệ tiên đề Amstrong. Hệ tiên đề Amstrong bao gồm al phản xạ Nếu Y c X thì X Y a2 tăng trưởng Nếu Z o U và X Y thì XZ YZ Ký hiệu XZ là X o Z a3 bắt cầu Nếu X Y và Y Z thì X Z a4 bắt cầu giả Nếu X Y và WY Z thì XW Z a5 Luật hợp nếu X Y và X Z thì X YZ a6 Luật phân rã Nếu X Y và Z c Y thì X Z Trong sáu luật trên thì a4 a5 a6 suy được từ a1 a2 a3. Chứng minh a5 có thể suy được từ a2 và a3 Nếu X Y và X Z thì X YZ Thật vậy Từ phụ thuộc hàm X Y dùng a2 luật tăng trưởng ta có X XY Từ X Z dùng a2 luật tăng trưởng ta có XY ZY Dùng a3 luật bắt cầu từ X XY và XY ZY ta có X ZY Luật bắt cầu giả Nếu X Y va WY Z thì XW Z Thật vây từ X Y dùng a2 luật tăng trưởng thêm W ta có WX 4 WY Ngoài ra ta đã có WY Z nên theo tính bắt cầu ta có WX Z Hệ tiên đề Amstrong là đúng và đủ. Đúng Cho R F Neu X Y là phụ thuộc hàm được suy từ F nhờ hệ tiên đề Amstrong thì X Y cũng đúng trên R. Đủ Nếu X Y không thỏa trên R thì X Y không thể được suy từ F. 5. Thuật toán tính bao đóng Cho X c U ký hiệu X ỉ Ac U X A e F Thuật toán Vào Tập thuộc tính X và tập phụ thuộc hàm F Ra Bao đóng X đối với F closure X F Begin Olddep 0 Newdep X While Newdep Olddep do begin Olddep Newdep For each pth W Z e F do If Newdep o W then Newdep Newdep o Z End if End for End while Return .

• Cơ sở dữ liệu
• hệ tiên đề
• phụ thuộc hàm
• tiên đề amstrong
• thuật toán tính bao đóng
• khóa của quan hề
• Hệ thống Quản trị tiên tiến
• Quản trị tiên tiến
• Tổ chức kinh tế
• Phát triển bền vững
• Tìm hiểu hệ thống Quản trị tiên tiến
• Vấn đề phát triển bền vững kinh tế
• Hội thảo khoa học Toán học
• Đường bậc ba
• Hình học sơ cấp
• Hệ tiên đề Hilbert
• Hệ tiên đề Wayne
• Hệ tiên đề Pogorelov
• Bài giảng Luận lý Toán học
• Luận lý toán học
• Tiên đề hình học Euclide
• Tính chất của hệ tiên đề
• Tập hợp số
• Luận án Tiến sĩ Lịch sử
• Quan hệ Nga và Nhật Bản
• Vấn đề Triều Tiên
• Vấn đề Mãn Châu
• Lịch sử quan hệ Nga và Nhật
• Lịch sử thế giới
• Hai đường thẳng song song
• Tiên đề Ơ Clit
• Quan hệ tính vuông góc
• Quan hệ song song
• Đường thẳng song song
• Tính chất hai đường thẳng song song
• quản lý kinh tế
• phương thức quản lý
• luận văn
• HỆ THỐNG TIÊN TỆ
• HỆ THỐNG BRETTON WOOD
• rủi ro lạm phát
• Đề thi giữa học kì 1
• Đề thi giữa học kì 1 môn Lịch sử lớp 10
• Đề kiểm tra giữa học kì 1 Sử 10
• Đề thi trường THPT Tiên Du 1
• Quan hệ bóc lột
• Đời sống người nguyên thủy
• Luận văn Thạc sĩ
• Luận văn Thạc sĩ Toán học
• Mô hình carte
• Hình học Euclid
• Phương pháp toán sơ cấp
• Bài giảng Cơ học kỹ thuật
• Cơ học kỹ thuật
• Động lực học chất điểm
• Hệ tiên đề Newton
• Phương trình vi phân chuyển động chất điểm
• Ba tiên đề Newton
• Hệ quy chiếu quán tính
• tiên đề cơ học lượng tử
• chuyển động cơ cổ điển
• biến số động lực
• tính hệ số phân tích
• toán tử tọa độ
• xung lượng
• Cơ lý thuyết
• Bài giảng Cơ lý thuyết
• Hệ tiên đề tĩnh học
• Phản lực liên kết
• Tiên đề giải phóng liên kết
• Đặt bài toán tĩnh học
• Bài giảng Cơ học ứng dụng
• Cơ học ứng dụng
• Mô hình liên kết
• Phản lực liên kết dây
• Bài giảng Cơ học lý thuyết
• Cơ học lý thuyết
• Tĩnh học
• Vật rắn tuyệt đối
• Lực phân bố tam giác
• rừng Cát Tiên
• thuỷ điện
• môi trường
• hệ sinh thái
• bài báo cáo thực tập
• mẫu báo cáo
• Vấn đề ưu tiên can thiệp
• Phương pháp xác định ưu tiên can thiệp
• Hệ thống thang điểm cơ bản
• Quản lý y tế
• Bài giảng quản lý y tế
• Y tế công cộng
• Hệ thống thông tin
• Hệ tiên đề Armstrong
• Thuật toán tìm khóa tối tiểu
• Quản lý dân cư
• Mã số định danh cá nhân
• Bài giảng Hệ cơ sở dữ liệu
• Hệ cơ sở dữ liệu
• Cơ sở dữ liệu
• Dư thừa dữ liệu
• Hệ tiên đề trong Amstrong
• Hệ tiên đề Amstrong
• Bài giảng Cơ sở dữ liệu quan hệ
• Cơ sở dữ liệu quan hệ
• Phủ tối thiểu
• Dị thường dữ liệu
• Thiết kế cơ sở dữ liệu
• hệ lực
• cơ ứng dụng
• ôn tập cơ học
• bài tập cơ ứng dụng
• đề thi khoa xây dựng
• Giải hệ phương trình
• Trắc nghiệm Toán lớp 9
• Đề thi học kỳ 1 Toán 9
• Đề thi học kỳ Toán 9
• Đề thi học kỳ lớp 9
• Đề thi học kỳ
• quản trị dữ liệu
• hệ thống dữ liệu
• lược đồ quan hệ
• tập thuộc tính