phụ thuộc hàm functional dependency fd

... quan hệ r(R) có vi phạm FD không? 12 Tập phụ thuộc hàm  Gọi F tập phụ thuộc hàm R phụ thuộc hàm F phụ thuộc hàm R  Phụ thuộc hàm tầm thường ( trivial FD) hay phụ thuộc hàm hiển nhiên X Y Y ⊆ ... anomaly Phụ thuộc hàm (Functional Dependency)   Phụ thuộc hàm mô tả mối liên hệ thuộc tính Dựa vào phụ thuộc hàm để thiết kế lại CSDL, loại bỏ dư thừa liệu Phụ thuộc hàm (Functional Dependency) ...  Phụ thuộc hàm (Functional Dependency) X vế trái, ký hiệu left(f) hay gọi determinant Y vế phải, ký hiệu right(f) hay gọi dependent Phụ thuộc hàm (Functional Dependency -FD)    Phụ thuộc hàm...

Ngày tải lên: 12/05/2014, 12:04

... 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

... 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 ... 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 ... =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

... Language) gm Ngụn ng N F2 (Non-First Normal Relational Database Mụ hỡnh d Model ) 1NF FOFD (Fuzzy Object Functional Dependency) Ph UML (Unified Modeling Language) Ngụn ng FON F (Fuzzy Object Normal ... dom(Ai) M ừ, fdom(Ai) l cỏc t hm o(Ai hu Ai c dom(Ai) = cdom(Ai) ẩ fdom(Ai), ừ, cdom(Ai) l t Ai (1 Ê i Ê n) o trờn thu Ai cú m cú M dom(Ai) bao dom(Ai), o(Ai : o(Ai) l m Ê m) l m Cho fdom(Ai) = ... dom(Aj)) = ID(dom(Ai), dom(Ai)) = max(ID(dom(Ai), cdom(Ai)), ID(dom(Ai), fdom(Ai))) dom(Ai), cdom(Ai)) v ID(dom(Ai),fdom(Ai)) Ti V fdom(Ai) ={fv1, fv2,, vfm}, fvj (1 Ê j Ê m) l cỏc giỏ tr cdom(Ai) ={cv1,...

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

... 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

... = ( ABCD) tập phụ thuộc hàm F F = { A -> B, A ->BC, A->BD} Lược đồ có dạng chuẩn 2NF? Vì sao? Nếu chưa chuẩn hoá lược đồ 2NF Bài 3: Cho lược đồ quan hệ R = ( ABCD) tập phụ thuộc hàm F F = { A ... ABCDEF) tập phụ thuộc hàm F F = { AB -> C, AB -> D, AB -> EF} Lược đồ có dạng chuẩn 3NF? Vì sao? Nếu chưa chuẩn hoá lược đồ 3NF Bài 5: Cho lược đồ quan hệ R = ( ABCDEF) tập phụ thuộc hàm F F = ... tập phụ thuộc hàm F F = { AB -> C, AB -> D, AB -> EF, AB -> GH} Lược đồ có dạng chuẩn BCNF? Vì sao? Nếu chưa chuẩn hoá lược đồ BCNF Bài 7: Cho lược đồ quan hệ R = ( ABCDEFGH) tập phụ thuộc hàm...

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

... tục tính phụ thuộc hàm xấp xỉ c) Thủ tục phân hoạch ‘ DANH MỤC CÁC CHỮ VIẾT TẮT CSDL : Cơ sở liệu FDs : Các phụ thuộc hàm AFDs : Các phụ thuộc hàm xấp xỉ AFDMCEC : Khai phá phụ thuộc hàm xấp xỉ ... loại phụ thuộc hàm không đầy đủ sau: Loại1: Phụ thuộc hàm mà vế phải tập vế trái ( loại AB -> B) Loai 2: 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 ... 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 tính...

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

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

... X (with respect to D) for X from a set of (a,.8)-ffds and (a,.8)-fmvds D the dependency Theorem 4.3 Rules FFD1-FFD6, FMVD1-FMVD7, FFD-FMVD1-FFD-FNVDS are complete on scheme S = (R, s, 5) when ... +, is the set of all (a, ,B)-ffds and (a, ,B)-fmvds that can be derived from F U G by repeated application of rules in the set {FFDI-FFD6, MVDI-FMVD7, FFD- FMVD 1-FFD- FMVD3} 4.2 Let S = (R, ii, ... following rules are easily obtained from FFD1-FFD3 FFD4 (Union): If X ~ Y and X ~ Z then X (ax,O'z) (ax,oy) FFD5 (Pseudo-transitivity): If X ~ Y and YW (ox,o:y) FFD6 (Decomposition): If X ~ holds: For...

Ngày tải lên: 12/03/2014, 04:20

... t(Ai) ∈ dom(Ai) Mỗi ánh xạ gọi quan hệ R Môn học Cơ sở liệu nâng cao Phụ thuộc hàm    Cho tập thuộc tính U Một phụ thuộc hàm (PTH) U công thức dạng f: X → Y; X, Y ⊆ U Cho quan hệ R(U) PTH f: ... tìm bao đóng tập thuộc tính    Cho tập PTH F tập thuộc tính U tập thuộc tính X U Để xác định bao đóng tập thuộc tính X, X+ ta xuất phát từ tập X bổ sung dần cho X thuộc tính thuộc vế phải R ... f Môn học Cơ sở liệu nâng cao Bao đóng tập thuộc tính  Cho tập PTH F tập thuộc tính U tập thuộc tính X U Bao đóng tập thuộc tính X, ký hiệu X+ tập thuộc tính X+ = { A ∈ U | X Môn học Cơ sở liệu...

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

... BCD→E, CD→EI } BCD→E phụ thuộc hàm đầy đủ không? 50 Môật số khái niêậm (tt)  PTH thừa Xét X → Y là thừa nếu  F ≡ F – {X→Y} Phụ thuộc hàm hiển nhiên: B phụ thuộc hàm hiển nhiên A nếu ... ĐH KHTN TPHCM 13 Phụ thuộc hàm( PTH)  PTH (Functional dependencies) loại RBTV quan trọng để phát thiết kế CSDL tốt    Có thể biểu diễn RBTV PTH PTH biểu diễn mối liên hệ thuộc tính quan ... { f1: A → B f2: A → C f3: CG → H f4: CG → I f5: B → H }  f6 phụ thuộc hàm hệ từ F f6: A → H 26 Bao đóng PTH(Closure of a Set of Functional Dependencies)  Cho F tâôp PTH định nghĩa R  Tâôp...

Ngày tải lên: 28/03/2014, 21:22

... Kiểm tra phụ thuộc hàm XY có suy dẫn từ F  + + Kiểm tra tập phụ thuộc hàm tương đương F =G − Với phụ thuộc hàm Y→Z F Tính Y+ tập phụ thuộc hàm G Nếu Z ⊆ Y+ Y→Z G+ ngược lại Phụ thuộc hàm dư ... định Y hay Y phụ thuộc hàm vào X) Phụ thuộc hàm (FD)  Ví dụ: cho lược đồ quan hệ: Q(A, B, C, D, E) A B C D E I AB  C II BD 4 III DE  A (T) 4 (T) Phụ thuộc hàm (FD)  Phụ thuộc hàm hiễn nhiên: ... chứa phụ thuộc hàm C→E ⇒ F không tương đương với G’ Phủ tối thiểu tập phụ thuộc hàm (minimal cover)  Phụ thuộc hàm có vế trái dư thừa: − F tập phụ thuộc hàm lược đồ quan hệ Q − Z→Y∈F − Phụ thuộc...

Ngày tải lên: 29/03/2014, 18:54

... tập thuộc tính Kiểm tra tập thuộc tính có phải khóa không Kiểm tra tập phụ thuộc hàm có tương đương Kiểm tra phụ thuộc hàm có suy diễn từ tập phụ thuộc hàm cho trước Tìm tất khóa Tìm phụ thuộc hàm ... từ FDs – Ví dụ: – B G suy từ F không? Cách làm • Dạng – Kiểm tra phụ thuộc hàm có tương đương – F G tương đương khi: • Mọi phụ thuộc hàm F suy từ G • Mọi phụ thuộc hàm G suy từ F – Kiểm tra phụ ... • Tìm loại bỏ thuộc tính dư thừa X – Ví dụ • ABE có phải khóa? Cách làm • Dạng – Kiểm tra phụ thuộc hàm XY có suy diễn từ tập phụ thuộc hàm FDs cho trước – Tính tập bao đóng X+ FDs – Nếu Y ⊂...

Ngày tải lên: 29/03/2014, 18:54

Ngày tải lên: 04/04/2014, 04:21

... tập phụ thuộc hàm * Từ tập phụ thuộc hàm F cho trước , câu hỏi tìm phủ tối thiểu F ? 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ụ ... gọi tập phụ thuộc hàm có vế phải thuộc tính 31 3.c Tập phụ thuộc hàm khơng dư thừa Nói F tập phụ thuộc hàm khơng dư thừa khơng tồn X→ Y ∈ F cho F ≡ F – {X→ Y} Ngược lại F tập phụ thuộc hàm dư ... tập phụ thuộc hàm có vế trái khơng dư thừa (G chứa pth đầy đủ) - G tập phụ thuộc hàm có vế phải thuộc tính (G chứa pth có vế phải thuộc tính) - G tập phụ thuộc hàm khơng dư thừa 27 3.a Phụ thuộc...

Ngày tải lên: 12/05/2014, 11:52

... quan hệ r(R) có vi phạm FD không? 11 11NN Tập phụ thuộc hàm Gọi F tập phụ thuộc hàm R phụ thuộc hàm F phụ thuộc hàm R Phụ thuộc hàm tầm thường (trivial FD) hay phụ thuộc hàm hiển nhiên X Y Y ⊆ ... Tập phụ thuộc hàm tối thiểu F Tách vế phải phụ thuộc hàm F cho vế phải phụ thuộc hàm chứa thuộc tính Tìm tập phụ thuộc hàm đầy đủ cách loại bỏ thuộc tính dư thừa vế trái phụ thuộc hàm Loại bỏ phụ ... thích xóa sở thích Acting Delete anomaly 6 NN Phụ thuộc hàm (Functional Dependency) Phụ thuộc hàm mô tả mối liên hệ thuộc tính X → Y Phụ thuộc hàm (functional dependancy) công cụ dùng để biểu diễn...

Ngày tải lên: 12/05/2014, 12:03