Chương 5 Phụ thuộc hàm

... gọi là phụ thuộc hàm hiển nhiên. Ví dụ phụ thuộc hàm X → X là phụ thuộc hàm hiển nhiên. Vậy với r là quan hệ bất kỳ, F là tập phụ thuộc hàm thỏa trên r, ta luôn có F ⊇ {các phụ thuộc hàm hiển ... → Y là phụ thuộc hàm thuộc F + ta phải chứng minh X → Y thuộc G + Giả sử r thỏa tất cả các phụ thuộc hàm của G (1) ⇒ r thỏa tất cả phụ thuộc hà...

Ngày tải lên: 29/09/2013, 14:20

... được gọi là một bộ của quan hệ R. Môn học Cơ sở dữ liệu nâng cao 3 Phụ thuộc hàm  Cho tập thuộc tính U. Một phụ thuộc hàm (PTH) trên U là công thức dạng f: X → Y; X, Y ⊆ U  Cho quan ... trên tập thuộc tính U. G được gọi là phủ không dư của F nếu 1) G là một phủ của F, và 2) G có dạng không dư theo nghĩa sau: ( ∀ g ∈ G): G - { g } ! ≡ G 1 Chương 1: Phụ...

Ngày tải lên: 22/03/2014, 23:20

... F các phụ thuộc hàm có vế trái dư thừa. Bước 2: Tách các phụ thuộc hàm có vế phải trên một thuộc tính thành các phụ thuộc hàm có vế phải một thuộc tính. Bước 3: loại khỏi F các phụ thuộc hàm dư ... Y phụ thuộc hàm đầy đủ vào Z hay phụ thuộc hàm đầy đủ. Ví dụ 2: Q(A,B,C) F={AB→C; B→C} F ≡ F-{AB→C}∪{(AB-A)→C}={B→C} AB → C là phụ thuộc hàm không đầy...

Ngày tải lên: 29/09/2013, 14:20

... mãn phụ thuộc hàm f thì ta ký hiệu R(f), nếu R không thoả mãn phụ thuộc hàm thì ta ký hiệu ⎤R(f). Cho F là một tập các phụ thuộc hàm trên U, nói rằng quan hệ R thoả mãn tập phụ thuộc hàm F, ... một phụ thuộc hàm có dư thừa trong tập các phụ thuộc hàm không, A/ NHẮC LẠI LÝ THUYẾT I. MỘT SỐ ĐỊNH NGHĨA, TÍNH CHẤT 1. Định nghĩa phụ thuộc hàm...

Ngày tải lên: 16/08/2012, 09:16

... “giả” Các phụ thuộc hàm Tài liệu tham khảo Mở đầu Khái niệm cơ bản Mô hình ER Mô hình quan hệ Phụ thuộc hàm Nguyên tắc thiết kế Phụ thuộc hàm Qui tắc suy diễn Bao đóng Phụ thuộc hàm tương đương Phụ thuộc ... thuộc hàm Tài liệu tham khảo Mở đầu Khái niệm cơ bản Mô hình ER Mô hình quan hệ Phụ thuộc hàm Nguyên tắc thiết kế Phụ thuộc hàm Qui tắc suy diễ...

Ngày tải lên: 29/09/2013, 11:20

... gọi là phụ thuộc hàm hiển nhiên. Ví dụ phụ thuộc hàm X → X là phụ thuộc hàm hiển nhiên. Vậy với r là quan hệ bất kỳ, F là tập phụ thuộc hàm thỏa trên r, ta luôn có F ⊇ {các phụ thuộc hàm hiển ... Y là phụ thuộc hàm thuộc F + ta phải chứng minh X → Y thuộc G + Giả sử r thỏa tất cả các phụ thuộc hàm của G (1) ⇒ r thỏa tất cả phụ thuộc h...

Ngày tải lên: 09/10/2013, 13:20

... tập phụ thuộc hàm Bước 1: Loại bỏ khỏi F các phụ thuộc hàm có vế trái dư thừa. Bước 2: Tách các phụ thuộc hàm có vế phải trên một thuộc tính thành các phụ thuộc hàm có vế phải một thuộc tính. Bước ... TẬP PHỤ THUỘC HÀM 12.1: Định nghĩa tương đương Định lý: Cho F là tập các phụ thuộc hàm trên U và f là một phụ thuộc hàm trên U, khi đó 2 việc sau tươn...

Ngày tải lên: 14/10/2013, 18:11

... 48 - 2 .5. S tng t ca hai đi tng m - 50 - 2 .5. 1. S tng t ca hai đi tng trong cùng mt lp m - 50 - 2 .5. 2. S tng t ca hai đi tng m thuc hai lp khác nhau - 51 - 2.6. ... đi tng m - 52 - 2.6.1. i s kt hp m - 53 - 2.6.1.1. Các mu kt hp m - 53 - 2.6.1.2. Các phép toán kt hp m - 55 - 2.6.2. Giá tr chân lý ca các mu kt hp m -...

Ngày tải lên: 04/12/2013, 13:45

... THI DTC0 851 230016 A1 9 DTC0 851 230017 B1 8 DTC0 851 230018 C1 10 DTC0 851 230019 D1 6 DTC0 851 230020 E1 9 DTC0 851 230021 F1 7 DTC0 851 230022 G1 9 DTC0 851 230023 H1 7 DTC0 851 230024 K1 5 DTC0 851 2300 25 P1 4 ***). ... bỏ các thuộc tính dư thừa ở bên trái của mỗi phụ thuộc hàm Sau khi thực hiện B2 ta có F={ BE→C, EI→B, C→D, C→I, BC→A } Và không thể loại bỏ thuộc tính nào b...

Ngày tải lên: 12/12/2013, 14:15

... CHƯƠNG 2: PHỤ THUỘC HÀM Bài 1: Cho quan hệ r dưới đây: Hình 3Hình 3 (graphics3.png) Tìm những phụ thuộc hàm thoả r Bài 2: Phát biểu hệ tiên đề Armstrong ... toàn phụ thuộc hàm vừa bảo toàn thông tin. 3. c) Nếu Kehoach chưa đạt dạng chuẩn BC, hãy phân rã Kehoach thành lược đồ CSDL dạng BC Bài 15: Cho lược đồ quan hệ Q(ABCD) và tập phụ thuộc hàm ... tập phụ thuộc hàm...

Ngày tải lên: 13/12/2013, 17:15