tập phụ thuộc hàm f

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

... 7. Phụ thuộc hàm dư thừa Cho F là một tập các phụ thuộc hàm trên U, f là một phụ thuộc hà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ộc hàm trên tập thuộc tính U, f là một phụ thuộc hàm trên U, (f có thể không thuộc F) , nói rằng f được suy dẫn từ tập F 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ập F 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ập phụ hàm trên tập...

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

... viên của F. 5 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 là tập các phụ thuộc hà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. 28 12.4.3: Tập phụ thuộc hàm không dư thừa(phủ không dư) Nói rằng F là tập phụ thuộc hà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ộc hàm dư thừa. ... không dư Cho F và G là 2 tập phụ thuộc hà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) + f F thì (F- f)+ ≠ F (tức mọi phụ thuộc hàm trong F đều không...

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

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

Ngày tải lên: 04/07/2014, 22:20

... hệ Q(ABCD) và tập phụ thuộc hàm F= {A->B, B->C, A->D, D- >C} 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 ... Với tập phụ thuộc hàm F = { 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ập phụ thuộc hàm F ... C, D) F= {AB -> C, C -> B} Bài 7: Cho lược đồ quan hệ R = ( ABCDEFGH) và tập phụ thuộc hàm F F = { AB -> C, D -> B, AB -> EF, AB -> GH} Lược đồ trên có ở dạng chuẩn BCNF? Vì...

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

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

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

... 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ộc hà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ộc hàm F= {BE→C, EI→B, C→D,C→I, BC→A,BC→B, EI→C}. B2: Loại bỏ những phụ thuộc hà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ộc hàm nên phủ tối thiểu là: F= {A→B, BC→D,...

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

... của F được kí hiệu là F + , là tập tất cả các phụ thuộc hà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ộc hàm dư thừa: Giả sử hai phụ thuộc hà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ập phụ thuộc hàm đúng trên quan hệ r và f : X -> Y là một phụ thuộc hàm được suy dẫn từ F nhờ hệ tiên đề Armstrong thì f đúng trên r Bổ đề 2: Tính hợp...

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

... to D). Theorem 4.3. Rules FFD1-FFD6, FMVD1-FMVD7, FFD-FMVD1-FFD-FNVDS are complete on scheme S = (R, s, 5) when the following condition holds: For each Ai E R, 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 by T. We conclude that whenever X ~ Y does not follow from F by the rules FFD1-FFD6 then F (ax.cry) does not logically ... b i ) :S ai. Proof. Supp-ose F, G are sets of (a, .8)-ffds and (a, .B)-fmvds on scheme S, d is a (a, .8)-ffd or (a, .8)- fmvd with left side is X and d does not follow from F, G by axioms. Let...

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

... 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 7 Bao đóng của tập thuộc tính  Cho tập PTH F trên tập thuộc tính U và một tập con các thuộc tính X trong U. Bao đóng của tập thuộc tính X, ký hiệu X + là tập thuộc tính X + = { ... (u.X=v.X) ⇒ (u.Y=v.Y)  Cho tập PTH F trên tập thuộ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...

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

... !.[z"D[!Ijb B,R4→j   F 19b"#? F 1c7WJ C <)=>%/  Ae E BNUL  Ae E / E   Ae E >e 7f =D =$D =\D >Y+→X" ;F X4→Z -[+4→Z >Y+→X" ;F +→Z -[+→X4Z >Y+→X" ;F Z ⊆ X -[+→Z  Xk UNF to 1NF kJ 98&'w 7F Bt7MN>v_"D9B?7MN>7; $J J ... !.[z"D[!Ijb B,R4→j   F 19b"#? F 1c7WJ C <)=>%/  Ae E BNUL  Ae E / E   Ae E >e 7f =D =$D =\D >Y+→X" ;F X4→Z -[+4→Z >Y+→X" ;F +→Z -[+→X4Z >Y+→X" ;F Z ⊆ X -[+→Z  ... / E   K#  a;01  1  1I  XT V F 'X F4 7 1NF 2NF QC ,-47  <O4→j  4 } q„‚4→jƒ €4  4→j0/&>%!&...

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

... A→BC B→C AB→C F C→A C→BC F + AC→BC F + BC→AC A→AB A→ABC B→AC AB→AC F + C→B F C→ABC AC→ABC F + BC→ABC A→C B→A B→BC AB→BC F + C→AB AC→B F + BC→A A→AC B→AB B→ABC AB→ABC F + C→AC AC→AB F + BC→AB W`2a2Ebc!de2] f W − 8"#Se! ... ,-./$) − 7-?,:C215#D '( E- F GH*RjR:!3R*R FG⊂H→ *( E-I#5;J#R!*R FGh⊂3 →Hh→h K( E-LMN8*7!3!<kR FG→3 →hH→h 7:>#?- ) ... 8-92515# − 78O F ?,:C215#D '( E-<P FG→3 →hH→h *( E-LMN# F 151QP FG→3 i→hHi→h K(...

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

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