... 7. Phụthuộchàm dư thừa Cho F là một tập các phụthuộchàm trên U, f là một phụthuộchàm của F tức f F, f được gọi là dư thừa trong F nếu như (F- f)+ =F + Hay có thể nói tương đương f ... hệ Cho F là một tập các phụthuộchàm trên tậpthuộc tính U, f là một phụthuộchàm trên U, (f có thể không thuộc F) , nói rằng f được suy dẫn từ tậpF theo quan hệ và ký hiệu F f, nếu và ... F thì R cũng thoả mãn f. Ký hiệu F* là tập tất cả các phụ thuộc hàm được suy dẫn từ tậpF theo quan hệ. F* = {f: XÆY | X,Y⊆U, F f} Tính chất của F* : Cho F và G là hai tậpphụhàm trên tập...
... AB → C là phụthuộchàm không đầy đủB → C là phụthuộchàm đầy đủChú ý: phụthuộchàm có vế trái chứa một thuộc tính là phụthuộchàm đầy đủ.Ví dụ 3: cho tậpphụthuộchàmF = {A → BC,B ... thuộc tính (the right sides of dependencies has a single attribute)Mỗi tậpphụthuộchàmF đều tương đương với một tậpphụthuộchàm G mà vếphải của các phụthuộchàm trong G chỉ gồm một thuộc ... cho F = {A → BC,B → C,AB → D} ta suy ra F ≡ {A → B, A → C ,B → C,AB → D} = GG được gọi là tậpphụthuộchàm có vế phải một thuộc tính.3 Tậpphụthuộchàm không dư thừa Nói rằng F là tậpphụ thuộc...
... viên của F. 512.3: Phụthuộchàm không dư thừa12.3.1: Phụthuộchàm dư thừaCho F là tập các phụthuộchàm trêu U, f là một phụthuộc hàm của F tức là f ∈ F, f được gọi là dư thừa trong F nếu ... khóa.2812.4.3: Tậpphụthuộchàm không dư thừa(phủ không dư) Nói rằng F là tậpphụthuộchàm không dư thừa nếu không tồn tại F ⊂ F sao cho F ≡ F. Ngược lại, F là tập phụ thuộchàm dư thừa. ... không dưCho F và G là 2 tậpphụthuộchàm trên U, F được gọi là phủ không dư của G khi và chỉ khi + F+ = G+ (F là phủ của G) + fF thì (F- f)+ ≠ F (tức mọi phụthuộchàm trong F đều không...
... hệ Q(ABCD) và tậpphụthuộchàm F= {A->B, B->C, A->D, D->C}CHƯƠNG 2: PHỤTHUỘC HÀMBài 1: Cho quan hệ r dưới đây:Hình 3Hình 3 (graphics3.png)Tìm những phụthuộchàm thoả rBài ... Với tậpphụthuộchàmF = { A -> B, AC -> D } Bài 10: Kiểm tra tính kết nối không mất mát thông tin của R = ABCDEI thành: R1 = AD, R2 = AB, R3 = BE, R4 = CDE Với tậpphụthuộchàmF ... C, D) F= {AB -> C, C -> B}Bài 7: Cho lược đồ quan hệ R = ( ABCDEFGH) và tậpphụthuộchàm F F = { AB -> C, D -> B, AB -> EF, AB -> GH} Lược đồ trên có ở dạng chuẩn BCNF? Vì...
... / 54■ Một tập hợp các phụthuộchàm E được phủ bởi một tập các phụthuộchàmF - hoặc Fphủ E - nếu mỗi một phụ thuộchàm trong E đều ở trong F +,điều đó có nghĩa làmỗi phụthuộchàm trong ... từ F ■ Hai tậpphụthuộchàm E và F là tương đương nếuE+= F +■ Một tậpphụthuộchàm là tối thiểu nếu nó thoả mãn cácđiều kiện sau đây:◆ Vế phải của các phụthuộchàm trong F chỉ có một thuộc ... một phụ thuộc hàm X → A trong F bằng phụthuộchàm Y → A,trong đó Y là tập con đúng của X mà vẫn còn là một tập phụthuộchàm tương đương với F. ◆ Chúng ta không thể bỏ đi bất kỳ phụthuộc hàm...
... gọi là phụthuộchàm hiển nhiên.Ví dụ phụthuộchàm X → X là phụthuộchàm hiển nhiên.Vậy với r là quan hệ bất kỳ, F là tậpphụthuộchàm thỏa trên r, ta luôn có F ⊇{các phụthuộchàm hiển ... các phụthuộchàm của G (1)⇒ r thỏa tất cả phụthuộchàm của F vì F ⊆ G ⇒ r thỏa phụthuộchàm X → Y (2) vì X → Y F + (1) và (2) ⇒ X → Y ∈ G+ ⇒ F + ⊆ G+3. F ⊆ F + (tính phản xạ) ⇒ F + ... và tậpphụthuộchàm F F = { f 1: B → A f 2: DA → CE f 3: D → H f 4: GH → C f 5: AC → D }Tìm bao đóng của các tập X = {AC} dựa trên F. Giải:Bước 1: X0 = ACBước 2: Do f 1, f 2, f 3,...
... gọi là phụthuộchàm hiển nhiên. Ví dụ phụthuộchàm X → X là phụthuộchàm hiển nhiên. Vậy với r là quan hệ bất kỳ, F là tậpphụthuộchàm thỏa trên r, ta luôn có F ⊇ {các phụthuộc hàm hiển ... phụ thuộchàm của F là f 1, f 2, , f m. Quy ước rằng chỉ cần mô tả các phụthuộchàm không hiển nhiên trong tậpF (các phụthuộchàm hiển nhiên được ngầm hiểu là đã có trong F) . 1 Phụthuộc ... Bước 1: F 0 = F Bươc 2:chọn một số phụthuộchàm trong F i áp dụng hệ luật dẫn Armstrong để thu được một số phụthuộchàm mới. Đặt F i+1= F i ∪ {các phụthuộchàm mới} Ví dụ: Cho F = {AB...
... tậpphụthuộchàm có vế phải một thuộc tính. 3 Tậpphụthuộchàm không dư thừa Nói rằng F là tậpphụthuộchàm không dư thừa nếu không tồn tại F ⊂ F sao cho F ≡ F. Ngược lại F là tậpphụthuộc ... B → C là phụthuộchàm đầy đủ Chú ý: phụthuộchàm có vế trái chứa một thuộc tính là phụthuộchàm đầy đủ. Ví dụ 3: cho tậpphụthuộchàmF = {A → BC,B → C,AB → D} thì phụthuộchàm AB→D ... tối thiểu) nếu F thỏa đồng thời ba điều kiện sau: 1. F là tậpphụthuộchàm có vế trái không dư thừa 2. F là tậpphụthuộchàm có vế phải một thuộc tính. 3. F là tậpphụthuộchàm không dư...
... 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ên vế trái của phụ thuộchàm nên ... toán sau:1. Cho R(U ,F) với U={ABCDEI} và F= {BE→C, EI→B, C→DI, BC→AB, EI→C}.B1: Tách các phụthuộchàm F= {BE→C, EI→B, C→D,C→I, BC→A,BC→B, EI→C}.B2: Loại bỏ những phụthuộchàm dư thừa :+ Có ... trái của mỗi phụ thuộc hàm Sau khi thực hiện B2 ta có F= {A→B, BC→D, CE→G, ACE→H, CG→B}Và không thể loại bỏ thuộc tính nào bên vế trái của phụ thuộchàm nên phủ tối thiểu là: F= {A→B, BC→D,...
... của F được kí hiệu là F +, là tập tất cả các phụthuộchàm được suy diễn logic nhờ tiên đề Armstrong, 3 bổ đề trên từ F, nếu F = F + thì F là họ đầy đủ của các phụthuộc hàm. Bao đóng của tập ... khỏi F. BC3: Loại bỏ những phụthuộchàm dư thừa: Giả sử hai phụthuộchàm có vế phải giống nhau: f1 = X -> A và f2 = Y -> A, lúc đó nếu có A X+ F \ {f1 } thì loại f1 ra khỏi F: ... Armstrong là đầy đủ, có nghĩa là nếu F là tậpphụthuộchàm đúng trên quan hệ r và f : X -> Y là một phụthuộchàm được suy dẫn từ F nhờ hệ tiên đề Armstrong thì f đúng trên r Bổ đề 2: Tính hợp...
... toD).Theorem4.3.Rules FFD1-FFD6, FMVD1-FMVD7, FFD-FMVD1-FFD-FNVDS are complete onschemeS=(R,s,5)when the following condition holds:For each AiER, there exists at least one pair of elements ai, ... easily shown that all(a,,B)-ffds in F are satisfied by r, and f is not satisfied byT.We conclude that wheneverX ~Y does not follow from F by the rules FFD1-FFD6 then F (ax.cry)does not logically ... bi):Sai.Proof.Supp-ose F, G are sets of(a,.8)-ffds and(a,.B)-fmvds on schemeS,dis a(a,.8)-ffd or(a,.8)-fmvd with left side is X andddoes not follow from F, G by axioms.Let...
... nói PTH f được suy dẫn theo tiên đề (hoặc suy dẫn logic) từ tập PTH F và ký hiệu là F ╞ f, nếu f ∈ F + . F ╞ f ⇔ f ∈ F + Nói cách khác f được suy dẫn theo tiên đề từ tập PTH F nếu ... nâng cao 7Bao đóng của tậpthuộc tínhCho tập PTH F trên tậpthuộc tính U và một tập con các thuộc tính X trong U. Bao đóng của tậpthuộc tính X, ký hiệu X+ là tậpthuộc tính X+ = { ... (u.X=v.X) ⇒ (u.Y=v.Y)Cho tập PTH F trên tậpthuộc tính U. Ta nói quan hệ R(U) thoả tập PTH F, và viết R (F) , nếu R thoả mọi PTH trong F, R (F) ⇔ (∀ f ∈ F) : R (f) Môn học Cơ sở dữ liệu...
... A→BC B→C AB→C F C→A C→BC F +AC→BC F +BC→ACA→AB A→ABC B→AC AB→AC F +C→B F C→ABC AC→ABC F +BC→ABCA→C B→A B→BC AB→BC F +C→AB AC→B F +BC→AA→AC B→AB B→ABC AB→ABC F +C→AC AC→AB F +BC→ABW`2a2Ebc!de2] f W−8"#Se! ... ,-./$)−7-?,:C215#D'( E- F GH*RjR:!3R*RFG⊂H→*( E-I#5;J#R!*RFGh⊂3 →Hh→hK( E-LMN8*7!3!<kRFG→3 →hH→h7:>#?-) ... 8-92515#−78O F ?,:C215#D'( E-<PFG→3 →hH→h*( E-LMN# F 151QPFG→3 i→hHi→hK(...