phép tách bảo toàn phụ thuộc hàm decompositions that

... Giá phụ thuộc hàm  Giá phụ thuộc hàm, PRICE(NF)=1-c 28 Giá phụ thuộc hàm  PRICE(NF) giá trị nhỏ lượng nội dung thông tin mà NF để đảm bảo phụ thuộc hàm  Vậy giá NF dạng chuẩn bảo toàn phụ thuộc ... Bảo toàn phụ thuộc hàm ràng buộc toàn vẹn Giới thiệu  Dạng chuẩn BC: bảo toàn phụ thuộc hàm không bảo toàn thông tin, giải vấn đề trùng lắp thông tin  Dạng chuẩn 3: trùng lắp thông tin bảo toàn ... hỏi đặt bảo toàn thông tin bảo toàn phụ thuộc vấn đề quan tâm nhiều hơn? Tóm tắt  Người ta thường quan tâm đến 3NF, không giống BCNF, 3NF loại bỏ tất dư thừa luôn đảm bảo bảo quản phụ thuộc ...

Ngày tải lên: 04/08/2015, 18:05

... thiểu cho toán sau: B3: Loại bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={ BE→C, EI→B, C→D, C→I, BC→A } Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F={ ... thiểu cho toán sau: B3: Loại bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={ B→D, B→E, D→C, E→A, E→G} Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F={ ... thiểu cho toán sau: B3 Loại bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={A→B, BC→D, CE→G, ACE→H, CG→B} Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F={A→B,...

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

... lược đồ ví dụ 2.3, ta có SDG sau: Hình 2.1: SDG lược đồ ví dụ 2.3 2.3 Phụ thuộc hàm theo thời gian Định nghĩa 2.9 Một phụ thuộc hàm theo thời gian (TFD) lược đồ (C, ρ) có dạng c: X →α Y với c ∈ C, ... thống Tuy nhiên, tương tự lý thuyết phụ thuộc hàm truyền thống, việc xây dựng loại ràng buộc phụ thuộc liệu kéo theo loạt công việc cần phải giải nhằm cho phép chuNn hóa lược đồ CSDL Vấn đề vấn ... nhân thời gian, mô hình liệu quy ước, phụ thuộc hàm theo thời gian, số kết đáng quan tâm liên quan đến tính đắn tính đầy đủ hệ tiên đề cho ràng buộc phụ thuộc liệu theo thời gian Trên sở đó,...

Ngày tải lên: 23/07/2014, 00:21

... định phụ thuộc hàm F có vế trái thuộc tính Q1 : KE->XC + Tính (KE)+ = KEXCV Giao với KEXC = KEXC thuộc tính chung nằm hai vế + ta có PTH F1= {KE->XC} Xác định F2 với Q2(AB CY) + xác định phụ thuộc ... {KE->XC} Xác định F2 với Q2(AB CY) + xác định phụ thuộc hàm F có vế trái thuộc tính Q2: AB->CY, C->V + Tính (AB)+ = ABCYV giao với Q2(ABCY) cho thuộc tính giống (AB)+ Q2, ta có AB->CY + Tính (C)+...

Ngày tải lên: 29/07/2014, 20:21

... {c} ∈ {a, b}+ G, tức {a, b} →{c}∈ G+ Xét phụ thuộc hàm G Hai phụ thuộc hàm sau nằm F Xét phụ thuộc hàm {a, b, d} → {c, d}∈ G Kiểm tra xem phụ thuộc hàm có thuộc F+ hay không Tính {a, b, d}+ G: A0 ... phụ thuộc hàm quan hệ ta có: { TINH } → { KHUVUC } { SBD } → { HOTEN, DIACHI, TINH, KHUVUC } Khái niệm phụ thuộc hàm miêu tả loại ràng buộc ( phụ thuộc liệu) xẩy tự nhiên tập thuộc tính Phụ thuộc ... Một số vấn đề liên quan đến dạng chuẩn hệ sở liệu Xét phụ thuộc hàm F Hai phụ thuộc hàm sau nằm G Xét {a, b}→{c} Kiểm tra xem phụ thuộc hàm có thuộc G+ hay không Tính {a, b}+ G A0 = {a, b} A1 =...

Ngày tải lên: 20/07/2015, 17:04

... Các phép suy dẫn mô hình quan hệ Định nghĩa 1.11[5] [6] 19 Cho tập phụ thuộc hàm F xác định tập thuộc tính U f phụ thuộc hàm U Ta nói phụ thuộc hàm f đƣợc suy dẫn theo quan hệ từ tập phụ thuộc hàm ... thoả mãn phụ thuộc hàm F thoả mãn X → Y Kí hiệu F |= X → Y 1.4 Bao đóng 1.4.1 Bao đóng tập phụ thuộc hàm tập thuộc tính Định nghĩa 1.7[5][6] Cho tập phụ thuộc hàm F, bao đóng tập phụ thuộc hàm F ... → Y không thỏa mãn r * Phụ thuộc hàm đƣợc suy diễn logic từ tập phụ thuộc hàm F Cho lƣợc đồ quan hệ R xác định tập thuộc tính U, F tập phụ thuộc hàm R X → Y phụ thuộc hàm, X,Y ⊆U Chúng ta nói...

Ngày tải lên: 11/09/2015, 08:41

Ngày tải lên: 11/09/2015, 09:11

... X(i) = U Phụ thuộc hàm dư thừa Cho F tập phụ thuộc hàm U, f phụ thuộc hàm F tức f ∈F, f gọi dư thừa F (F-f)+ =F+ Hay nói tương đương f gọi dư thừa F nến suy dẫn từ tập F sau bỏ phụ thuộc hàm f Thuật ... tập phụ thuộc hàm tập thuộc tính U, f phụ thuộc hàm U, (f không thuộc F), nói f suy dẫn từ tập F theo quan hệ ký hiệu F ╞f, với quan hệ R U, R thoả mãn F R thoả mãn f Ký hiệu F* tập tất phụ thuộc ... F├ f Kí hiệu F+ tập tất phụ thuộc hàm suy dẫn từ tập F theo hệ tiên đề Amstrong + Ta thấy F⊆ F F+ gọi bao đóng tập phụ thuộc hàm F, F+ =F ta nói F tập đầy đủ phụ thuộc hàm, ta nói F tập đóng Định...

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

... phải phụ thuộc hàm F có thuộc tính Chúng ta thay phụ thuộc hàm X → A F phụ thuộc hàm Y → A, Y tập X mà tập phụ thuộc hàm tương đương với F Chúng ta bỏ phụ thuộc hàm khỏi F mà có tập phụ thuộc hàm ... 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 hàm tối thiểu Các dạng chuẩn Thiết kế CSDL 36 / 54 Các phụ thuộc hàm I I I Một phụ ... thuộc hàm E phủ tập phụ thuộc hàm F - F phủ E - phụ thuộc hàm E F + ,điều có nghĩa phụ thuộc hàm E suy diễn từ F Hai tập phụ thuộc hàm E F tương đương E+ = F + Một tập phụ thuộc hàm tối thiểu thoả...

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

... trường hợp X → Y gọi phụ thuộc hàm hiển nhiên Ví dụ phụ thuộc hàm X → X phụ thuộc hàm hiển nhiên Vậy với r quan hệ bất kỳ, F tập phụ thuộc hàm thỏa r, ta có F ⊇ {các phụ thuộc hàm hiển nhiên} Thuật ... tả phụ thuộc hàm không hiển nhiên tập F (các phụ thuộc hàm hiển nhiên ngầm hiểu có F) II Phụ thuộc hàm suy diễn logic từ F Nói phụ thuộc hàm X → Y suy diễn logic từ F quan hệ r thỏa mãn tất phụ ... dẫn Armstrong có quan hệ r thỏa phụ thuộc hàm F không thỏa phụ thuộc hàm X → Y (điều nghòch lý với giả thuyết quan hệ r thỏa phụ thuộc hàm F r thỏa phụ thuộc hàm X → Y) Thật giả sử Q(A1,A2,...

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

... phụ thuộc hàm không đầy đủ B → C phụ thuộc hàm đầy đủ Chú ý: phụ thuộc hàm có vế trái chứa thuộc tính phụ thuộc hàm đầy đủ Ví dụ 3: cho tập phụ thuộc hàm F = {A → BC,B → C,AB → D} phụ thuộc hàm ... tập phụ thuộc hàm Bước 1:loại khỏi F phụ thuộc hàm có vế trái dư thừa Bước 2: Tách phụ thuộc hàm có vế phải thuộc tính thành phụ thuộc hàm có vế phải thuộc tính Bước 3: loại khỏi F phụ thuộc hàm ... tập phụ thuộc hàm tối thiểu (hay phủ tối thiểu) F thỏa đồng thời ba điều kiện sau: F tập phụ thuộc hàm có vế trái không dư thừa F tập phụ thuộc hàm có vế phải thuộc tính F tập phụ thuộc hàm không...

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

... trường hợp X → Y gọi phụ thuộc hàm hiển nhiên Ví dụ phụ thuộc hàm X → X phụ thuộc hàm hiển nhiên Vậy với r quan hệ bất kỳ, F tập phụ thuộc hàm thỏa r, ta có F ⊇ {các phụ thuộc hàm hiển nhiên} Thuật ... tả phụ thuộc hàm không hiển nhiên tập F (các phụ thuộc hàm hiển nhiên ngầm hiểu có F) Phụ thuộc hàm suy diễn logic từ F Nói phụ thuộc hàm X → Y suy diễn logic từ F quan hệ r thỏa mãn tất phụ thuộc ... X → Y ∈ F+ Nếu X → Y 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 phụ thuộc hàm G (1) ⇒ r thỏa tất phụ thuộc hàm F F ⊆ G ⇒ r thỏa phụ thuộc hàm X → Y (2) X → Y∈F+...

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 phụ thuộc hàm có vế trái dư thừa Bước 2: Tách phụ thuộc hàm có vế phải thuộc tính thành phụ thuộc hàm có vế phải thuộc tính Bước 3: Loại bỏ khỏi F phụ thuộc ... Ngược lại Z→Y mọt phụ thuộc hàm có vế trái không dư thừa hay Y phụ thuộc hàm đầy đủ vào Z hay phụ thuộc hàm đầy đủ Chú ý: Phụ thuộc hàm có vế trái chứa thuộc tính phụ thuộc hàm đầy đủ * Thuật ... =CD=> G không chứa phụ thuộc hàm CD→E => F không tương đương với G+ 12.3: Phụ thuộc hàm không dư thừa 12.3.1: Phụ thuộc hàm dư thừa Cho F tập phụ thuộc hàm trêu U, f phụ thuộc hàm F tức f ∈ F,...

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

Ngày tải lên: 07/11/2013, 09:15

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

... vừa bảo toàn phụ thuộc hàm vừa bảo toàn thông tin f) Nếu Q chưa đạt dạng chuẩn BCNF, phân rã Q thành lược đồ CSDL dạng BCNF g) Kiểm tra phép tách Q thành lược đồ (SID, SIM) có bảo toàn phụ thuộc ... chuẩn vừa bảo toàn phụ thuộc hàm vừa bảo toàn thông tin c) Nếu Kehoach chưa đạt dạng chuẩn BC, phân rã Kehoach thành lược đồ CSDL dạng BC Bài 15: Cho lược đồ quan hệ Q(ABCD) tập phụ thuộc hàm F F={A->B, ... B->C, A->D, D>C} Và lược đồ CSDL sau: C={Q1(AB), A2(AC), Q3(BD)} a) C có bảo toàn thông tin F b) C có bảo toàn phụ thuộc hàm Bài 14: Cho lược đồ CSDL Kehoach(NGAY, GIO, PHONG, MONHOC, GIAOVIEN}...

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

Ngày tải lên: 21/12/2013, 02:17

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

... buộc toàn vẹn Phụ thuộc hàm công cụ dùng để biểu diễn cách hình thức số buộc toàn vẹn 9 Các phụ thuộc hàm tương quan thuộc tính quan hệ: Một phụ thuộc hàm giá trị thuộc tính xác định số thuộc ... Lạng Sơn Ta có phụ thuộc hàm sau AB, AC, AD, AE,CB,CD, CE Phụ thuộc hàm X  A tối thiểu r A không phụ thuộc hàm vào tập thực X Ví dụ Y  A không thoả r với Y  X Phụ thuộc hàm X  A tầm ... Hai phụ thuộc hàm có vế phải giống nhau, vế trái phụ thuộc hàm chứa vế trái phụ thuộc hàm ta loại khỏi F 14 Ví dụ: Nếu có ABC -> D BC - >D ta loại ABC -> D khỏi F BC3: Loại bỏ phụ thuộc hàm...

Ngày tải lên: 17/02/2014, 20:58

Ngày tải lên: 18/02/2014, 02:44