phụ thuộc hàm có vế trái dư thừa

Phụ thuộc hàm cơ sỡ dữ liêu

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

... hàm có vế trái dư thừa  Bước 2: Tách phụ thuộc hàm có vế phải nhiều 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ỏ phụ thuộc hàm dư thừa Phủ tối thiểu tập phụ thuộc hàm ... 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 hàm Z  Y có vế trái dư thừa có AZ cho: F  F-{Z ... vế trái dư thừa B vì: F = F – {AB  D} {A  D} = {A  BC, B  C, A  D}  F tập phụ thuộc hàm có vế trái không dư thừa F không chứa phụ thuộc hàm có vế trái dư thừa Phủ tối thiểu tập phụ thuộc...

54
335
0

Phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối

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

... Phụ thuộc hàm phức hợp cách viết rút gọn tập phụ thuộc hàm có vế trái tƣơng đƣơng Trƣờng hợp Y=  , có dạng đặc biệt phụ thuộc hàm phức hợp (X1, X2,….,Xk) Định nghĩa 1.23[4] Giả sử G tập phụ thuộc ... 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 ... nói phụ thuộc hàm f đƣợc suy dẫn theo quan hệ từ tập phụ thuộc hàm F kí hiệu F ⊢ f quan hệ r thỏa F thỏa f Định nghĩa 1.12 [5][6] 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...

67
265
0

Phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối

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

89
611
0

Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ

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

... Vế 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 ... 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ả ... 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ụ...

8
2.2K
33

Nghiên cứu các phụ thuộc hàm trong cơ sở dữ liệu hướng đối tượng mờ

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

113
612
2

Phụ thuốc hàm và phụ thuộc đa trị trong cơ sở dữ liệu quan hệ mờ. ppt

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

7
898
0

Bài giảng Cơ sở dữ liệu - Bài 4: Phụ thuộc hàm

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

... TIỂU • Phụ thuộc hàm, luật, ngữ cảnh định Với ngữ cảnh cho trước có tập phụ thuộc hàm • Xác định phụ thuộc hàm để lưu riêng cách tuỳ tiện dẫn đến dư thừa • Tập phụ thuộc hàm không dư thừa gọi ... • Tập phụ thuộc hàm không dư thừa gọi phủ tối tiểu – Vế phải gồm thuộc tính – Vế trái không dư thừa – Không có phụ thuộc hàm dư thừa • Dư thừa xác định nhờ hệ tiên đề Armstrong 13/08/2012 HVĐ ... TRA BẢO TOÀN PHỤ THUỘC • Khái niệm – Ép thoả (phụ thuộc hàm bao) – Đặc trưng đầy đủ (phụ thuộc hàm in) • Tính bao đóng không cần chiếu • Kiểm tra bảo toàn phụ thuộc – Với phụ thuộc hàm không bao...

54
1.1K
16

Cơ sở dữ liệu 1_Chương 4: Phụ thuộc hàm và dạng chuẩn ppsx

Ngày tải lên : 02/07/2014, 01:20

... Phụ thuộc hàm     Định nghĩa phụ thuộc hàm Các luật suy diễn cho phụ thuộc hàm (hệ luật Armstrong) Tập phụ thuộc hàm tương đương Tập phụ thuộc hàm tối tiểu Phụ thuộc hàm  Một phụ thuộc hàm ... X vế trái phụ thuộc hàm f: left(f)  Y vế phải phụ thuộc hàm f: right(f) Phụ thuộc hàm (3)  Lưu ý:  Nếu X khóa dự tuyển R, ta khẳng định tồn XY, với tập Y ⊆ R  Nếu tồn XY R, khẳng định có ... đóng tập phụ thuộc hàm  Bao đóng (closure) tập phụ thuộc hàm F, ký hiệu F+ tập phụ thuộc hàm nhỏ chứa F cho áp dụng hệ tiên đề Armstrong tập để tạo phụ thuộc hàm tập 11 Bao đóng tập thuộc tính...

32
1.5K
3

bài giảng cơ sở dữ liệu chương 6: phụ thuộc hàm và chuấn hóa csdl - ths. nguyễn thị khiêm hòa

Ngày tải lên : 02/07/2014, 17:43

... tập phụ thuộc hàm F Output: tập phủ tối thiểu G • G: = F • Phân rã vế phải phụ thuộc hàm G để có tập phụ thuộc hàm có vế phải thuộc tính • Kiểm tra phụ thuộc hàm đầy đủ với phụ thuộc hàm có vế trái ... tối thiểu F tập phụ thuộc hàm G nếu: • F G tƣơng đƣơng • G có phụ thuộc hàm có vế phải có thuộc tính • Các phụ thuộc hàm G phụ thuộc hàm đầy đủ Nhận xét: • Mọi tập phụ thuộc hàm tƣơng đƣơng với ... hàng 35 PHỤ THUỘC HÀM ĐẦY ĐỦ Định nghĩa: • Cho phụ thuộc hàm F định nghĩa lƣợc đồ quan hệ R Phụ thuộc hàm X  Y phụ thuộc hàm R • X  Y phụ thuộc hàm đầy đủ vế phải Y không phụ thuộc hàm vào...

74
766
0

thiết kế cơ sở dữ liệu quan hệ - phần 4 phụ thuộc hàm

Ngày tải lên : 05/07/2014, 14:23

... niệm Phụ thuộc hàm Phụ thuộc hàm – Khái niệm • Phụ thuộc hàm công cụ để biểu diễn hình thức RBTV phụ thuộc • Các lý thuyết Phụ thuộc hàm ứng dụng nhiều toán Chuẩn Hóa CSDL • Ký hiệu : X  Y : Y phụ ... Ký hiệu F tập phụ thuộc hàm lược đồ quan hệ Q, F = {f1,f2,…,fn}, quy ước ta không quan tâm đến phụ thuộc hàm hiển nhiên Định nghĩa : Phụ thuộc hàm suy diễn logic từ F Phụ thuộc hàm d = XY suy ... Chuẩn Hóa CSDL • Ký hiệu : X  Y : Y phụ thuộc hàm vào X hay X xác định Y với X, Y tập thuộc tính (trong lược đồ quan hệ) Định nghĩa Phụ thuộc hàm Phụ thuộc hàm – Định nghĩa Cho Q(A1,A2,…,An); X,...

17
532
0

thiết kế cơ sở dữ liệu quan hệ - phần 5 phủ cover của tập phụ thuộc hàm

Ngày tải lên : 06/07/2014, 00:44

... Ξ’≠∅ χủα Ξ : Ν υ Ξ’Ψ ∈ Φ+ : τηαψ Ξ = Ξ’, λặπ λạι 2.1 Phủ tối thiểu tập phụ thuộc hàm (p.4) Tập phụ thuộc hàm có vế phải thuộc tính • Địνη νγηĩα : Φ đượχ γọι λ◊ τ ậπ πη ụ τηυ ộχ η◊µ χ⌠ ϖ ế πη ... χ η◊µ χ⌠ ϖ πη ι τηυ χ τνη : Φ = {ΑΒ, ΑΧ, ΒΧ, ΑΒ∆} Phủ tối thiểu tập phụ thuộc hàm (p.5) Tập phụ thuộc hàm không dư thừa νη νγη α : Φ χ γ ι λ◊ τ π πη τηυ χ η◊µ κηνγ δư τηừα  Κηνγ ∃ Φ’ ⊂ ... F ≡ G Βướχ : Β χ2: Τνη Φ+, Γ+ Ν υ Φ+ = Γ+, => Φ ≡ Γ Phủ tối thiểu tập phụ thuộc hàm (p.1) Phủ tối thiểu –Tập Phụ thuộc hàm không đầy đủ (minimal cover) Χηο λượχ đồ Θ, τậπ ΠΤΗ Φ, ΖΨ ∈ Φ ΖΨ...

18
619
0

cơ sở dữ liệu nâng cao - lý thuyết phụ thuộc hàm

Ngày tải lên : 06/07/2014, 07:17

... hệ (1) Cho R = , F gọi phủ cực tiểu R khi:  Vế phải có thuộc tính  Không có thuộc tính dư thừa vế trái  Không có phụ thuộc hàm dư thừa 13 Phủ cực tiểu lược đồ quan hệ (2) b) ⇔ ∀ X → ... B C Lược đồ quan hệ thoả mãn phụ thuộc hàm XY ∃r ∈ R Stop R= Or R= < U, F > KHÔNG THỎA MÃN Bao đóng tập phụ thuộc hàm R = F+ tập tất phụ thuộc hàm hệ F F+ = {X→Y | F╞ X→Y} F ... Tại phải nghiên cứu LTPTH? DƯ THỪA DL DỊ THƯỜNG MỘT SỐ CÁC ĐỊNH NGHĨA TRONG LÝ THUYẾT PHỤ THUỘC HÀM Phụ thuộc hàm X → Y ⇔ ∀ t1, t2 ∈ r : t1[X] = t2[X] ⇒ t1[Y] = t2[Y]...

23
707
0

Tiểu luận môn cơ sở dữ liệu nâng cao CƠ SỞ LÝ THUYẾT PHỤ THUỘC HÀM VÀ PHỦ CỰC TIỂU

Ngày tải lên : 19/09/2014, 14:22

... , F gọi phủ cực tiểu R khi: a) Vế phải phụ thuộc hàm F có thuộc tính b) Mọi phụ thuộc hàm F thuộc tính dư thừa vế trái c) Trong F phụ thuộc hàm dư thừa 30 Phần II: PHỦ CỰC TIỂU (PHỦ TỐI ... AB→D}  Loại bỏ thuộc tính dư thừa vế trái, xét: AB→D Ta có: B+F = BAD ⊇ D ⇒ loại bỏ A ⇒ F = {B→A, D→A, B→D}  Loại bỏ phụ thuộc hàm dư thừa: + B→D: Ta có: B+F\{B→D} = BA ⊇ D + B→A: Ta có: B+F\{B→A} ... THUYẾT PHỤ THUỘC HÀM Phụ thuộc hàm (Functional Dependency) Định nghĩa: (Quan hệ thoả mãn phụ thuộc hàm) Cho lược đồ quan hệ R = , cho X, Y ⊆ U Xét quan hệ r R Quan hệ r gọi thoả phụ thuộc hàm: ...

41
1.3K
0

Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu

Ngày tải lên : 23/10/2014, 21:03

... Tìm PTH có v trái t p c a X+ = BDEG + Không có PTH • V y X+ = BDEG Ki m tra PTH suy di n ̇ Cho F = {AB ̇ Hai PTH AB không? C, A D, D E, AC B} E D C có c suy di n t F hay XF+ X AB Ph thu c hàm ABCDE ... siêu khóa nh nh t - A K c g i thu c tính khóa ̇ Nh n xét • S xác nh hàm t t c thu c tính c a R • R có th có nhi u khóa Ph thu c hàm t2 t1[S] Xác nh khóa c a l ̇ Nh p: t p PTH F xác ̇ Xu t: khóa ... c hàm Ph thu c hàm (1) ̇ Xét l c quan h g m n thu c tính • R(U), U={A1, A2,…, An} ̇ PTH gi a hai t p thu c tính X, Y U • Ký hi u: X Y • r R, t1, t2 r n u t1[X] = t2[X] t1[Y] = t2[Y] • X v trái...

28
439
0

các dạng phụ thuộc hàm trong cơ sở dữ liệu mờ

Ngày tải lên : 02/06/2015, 16:56

... đưa số khái niệm phụ thuộc hàm mờ a Khái niệm phụ thuộc hàm mờ Raju Khái niệm phụ thuộc hàm mờ Raju xây dựng mô hình tập mờ Phụ thuộc hàm mờ X ~> Y quan hệ r với t1, t2 ∈ r ta có : τ(t1[X],t2[X])≤ ... tập thuộc tính Y khác theo mức k Như vậy, không tồn phụ thuộc hàm mờ, không thoả mãn “với mọi” thoả mãn “hầu hết” “một ít”, dạng phụ thuộc gọi phụ thuộc hàm mờ với lượng từ ngôn ngữ Phụ thuộc hàm ... cán có kinh nghiệm làm việc xấp xỉ có thu nhập xấp xỉ nhau, phụ thuộc hàm mờ Ở phụ thuộc hàm mờ có ý nghĩa với hai cán quan có kinh nghiệm làm việc xấp xỉ có thu nhập xấp xỉ Tuy nhiên, thực tế có...

15
843
5

Một số vấn đề liên quan đến dạng chuẩn trong hệ cơ sở dữ liệu tính bao đóng của một tập các thuộc tính trên tập các phụ thuộc hàm đối với sơ đồ quan hệ

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

... {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 ... 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 = ... nói (A, B) phụ thuộc có vế phải cực đại F với B' (B ⊆ B') (A, B') ∈ F kéo theo B = B' Ta ký hiệu M(F) tập tất phụ thuộc có vế phải cực đại F Định nghĩa 21 Ta nói B vế phải cực đại F có A cho (A,...

77
782
4

Phụ thuộc hàm sql cơ sỡ dữ liệu

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

... hàm có vế trái dư thừa  Bước 2: Tách phụ thuộc hàm có vế phải nhiều 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ỏ phụ thuộc hàm dư thừa Phủ tối thiểu tập phụ thuộc hàm ... 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 hàm Z  Y có vế trái dư thừa có AZ cho: F  F-{Z ... vế trái dư thừa B vì: F = F – {AB  D} {A  D} = {A  BC, B  C, A  D}  F tập phụ thuộc hàm có vế trái không dư thừa F không chứa phụ thuộc hàm có vế trái dư thừa Phủ tối thiểu tập phụ thuộc...

54
1.2K
0

Nghiên cứu và phát hiện các phụ thuộc hàm mở rộng trong cơ sở dữ liệu theo cách tiếp cận tập thô

Ngày tải lên : 30/11/2015, 16:40

... cho phép có số lượng lỗi định liệu phụ thuộc hàm Những phụ thuộc hàm gọi “Approximate Functional Dependency”, có nhiều cách dịch thuật ngữ tiếng Việt phụ thuộc hàm mở rộng, phụ thuộc hàm xấp xỉ… ... liệu có hai nhóm thuộc tính bị coi quan hệ với chúng có số lượng nhỏ số liệu lỗi, làm tính chất phụ thuộc chúng Hiện nay, khái niệm phụ thuộc hàm nhà khoa học mở rộng, phụ thuộc hàm hiểu phụ thuộc ... 4.2.4 Sự phụ thuộc thuộc tính Một vấn đề quan trọng việc phân tích liệu việc phát phụ thuộc thuộc tính Một tập thuộc tính D phụ thuộc toàn vào tập thuộc tính C ký hiệu C  D, tất giá trị thuộc tính...

85
721
0

Tài liệu Bài tập về phụ thuộc hàm pptx

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

... đồ quan hệ Q(ABCD) tập phụ thuộc hàm 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 đồ ... (những phụ thuộc hàm F bao đóng Qi) b) Lược đồ CSDL C có đạt dạng chuẩn BC Nếu không phân rã Qi C để biến C thành dạng chuẩn BC Bài 16 Giả sử ta có lược đồ quan hệ Q(CDEGHK) tập phụ thuộc hàm F ... = ( 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...

5
3.5K
60

phụ thuộc hàm xấp xỉ và ứng dụng trong khai phá dữ liệu

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

... 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 dư thừa: Giả sử hai phụ thuộc hàm có vế ... Loại bỏ phụ thuộc hàm không đầy đủ Khi loại bỏ, ta phân bịêt hai 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 ... Loại bỏ phụ thuộc hàm dư thừa: FOR  f  G DO IF G \ {f} ≅ THEN G = G \ {f} BC4:RETURN (G) Ta diễn giải lại thuật giải sau: BC1: Tách tất phụ thuộc hàm F thành phụ thuộc hàm mà vế phải có thuộc...

50
838
3