phụ thuộc hàm được suy diễn logic từ f
Tập phụ thuộc hàm được Bao trong quan hệ Qi pot
Ngày tải lên :
29/07/2014, 20:21
... XC) F1 > Xác định F1 , F2 , F3 , F4 , F5 tập bao quan hệ Qi trên.(i=1,2,3,4,5) ? Xác định F1 với Q1(KE XC) + xác định phụ thuộc hàm F có ... 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 hàm F có vế trái thuộc ... 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)+ = CV giao với Q2(ABCY) = C : loại + F2 = {AB->CY} Các câu lại tính giống ...
2
755
2
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
... 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 kí hiệu F+ tập lớn chứa phụ thuộc hàm đƣợc suy diễn từ phụ thuộc hàm thuộc F Vậy F+ = {f F ... logic) từ tập phụ thuộc hàm F kí hiệu F ⊨ f f ∈ F+ Nói cách khác f đƣợc suy dẫn theo tiên đề từ tập phụ thuộc hàm F nhƣ áp dụng hệ tiên đề Amstrong phụ thuộc hàm F sau hữu hạn lần ta thu đƣợc f Để ... 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 U Ta nói phụ thuộc hàm f đƣợc suy dẫn theo tiên đề (hoặc suy dẫn logic) ...
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
... kớ hiu F 1= f nu f e F + Núi cỏch khỏc f c suy dn theo cỏc tiờn t ph thuc hm F nu nh ỏp dng h tiờn Amstrong i vi cỏc ph thuc hm F thỡ sau hu hn ln ta s thu c f 98) xem xột cỏc phộp suy dn ... tha F thỡ cng tha f 96) nh ngha 1.12 [5][6] 97) Cho ph thuc hm F xỏc nh trờn thuc tớnh v f l mt ph thuc hm ờn u Ta núi ph thuc hm f c suy dn theo tiờn (hoc suy dn logic) tũ ph thuc hm F kớ ... ph thuc hm c suy din t cỏc ph thuc hm thuc F Vy F+ = {f I F I = f} nh ngha 1.8[5][6] Cho lc quan h R xỏc nh ờn thuc tớnh , cho X ỗ u , cỏc ph thuc hm F Bao úng ca thuc tớnh X i vi F kớ hiu x+...
89
611
0
Bài tập phụ thuộc hàm
Ngày tải lên :
16/08/2012, 09:16
... = 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 tất phụ thuộc hàm suy dẫn từ tập F theo quan hệ F* = {f: X Y | X,Y⊆U, F f} Tính chất F* : Cho F G hai tập phụ hàm tập thuộc tính U ta có: Tính phản xạ: Với ∀ f ∈ F F f từ ta suy F ⊆ F* Tính đơn ... Cho F 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ụ...
8
7.2K
169
Tiết 1: Sự phụ thuộc cường độ dòng điện vào hiệu điện thế giữa hai đầu dây dẫn
Ngày tải lên :
09/09/2013, 11:10
... 12 0,60 0,15 O 12 U (v) I Thí nghiệm II Đồ thị biểu diễn phụ thuộc cường độ dòng điện vào hiệu điện Dạng đồ thị I (A) Đồ thị biểu diễn phụ thuộc cường độ dòng điện vào hiệu điện hai đầu dây ... nghiệm II Đồ thị biểu diễn phụ thuộc cường độ dòng điện vào hiệu điện I (A) III Vận dụng I M C3 Từ đồ thị xác định: + Cường độ dòng điện chạy qua dây dẫn hiệu điện 5V; 7V C3 Từ đồ thị xác định: ... 0.30 0.45 12 0.60 I Thí nghiệm II Đồ thị biểu diễn phụ thuộc cường độ dòng điện vào hiệu điện Dạng đồ thị C2: Dựa vào bảng bên, em I (A) vẽ đường biểu diễn mối U (V) I (A) quan hệ I U, nhận xét...
17
817
1
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
... hợp 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 ... 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ụ...
8
2.2K
33
Chương 4 Phụ thuộc hàm
Ngày tải lên :
29/09/2013, 14:20
... đánh số phụ thuộc hàm F f1, f2 , , fm Quy ước cần mô 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ụ thuộc hàm F thỏa phụ thuộc hàm X → Y Ký hiệu F| = X → Y Bao đóng F ký hiệu F+ tập tất phụ thuộc hàm suy diễn logic từ F Các tính chất tập F+ Tính ... tập phụ thuộc hàm F+ ta luôn có F ⊆ F+ Tính đơn điệu: Nếu F ⊆ G F+ ⊆ G+ Tính lũy đẳng: Với tập phụ thuộc hàm F ta luôn có (F+ )+ = F+ Gọi G tập tất phụ thuộc hàm có r, phần phụ F ký hiệu F- =...
21
633
4
chương 5 Phủ của tập phụ thuộc hàm
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ồn F ⊂ F cho F ≡ F Ngược lại F tập phụ thuộc hàm dư thừa Ví dụ: cho F = {A→BC, B→D, AB→D} F dư thừa F ≡ F = {A→BC, B→D} Thuật toán loại khỏi F phụ thuộc hàm dư thừa: Bước 1: Lần lượt xét phụ thuộc ... 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...
9
2.6K
46
Phụ thuộc hàm
Ngày tải lên :
09/10/2013, 13:20
... mơn CSDL Trường CĐCN Trang 41 FF+ F+ F+ F+ FFFFFFFFPTHHN FFFFFFFFFFFPTHHN PTHHN FFPTHHN PTHHN FFFFFFFFFFPTHHN F PTHHN F+ PTHHN F+ PTHHN F+ F+ F+ F+ F+ F+ F+ F+ F+ PTHHN PTHHN PTHHN Giáo trình ... → {MAYBAY,NGAYKH} Bộ mơn CSDL Trường CĐCN PTHHN FFFFFFFFFFFFFFFPTHHN PTHHN FFFFFFFFFFFFFFPTHHN FPTHHN FFFFFF FF+ FFFFFPTHHN PTHHN PTHHN PTHHN FFF- Giáo trình CƠ SỞ DỮ LIỆU {PHICONG,MAYBAY} → {MAYBAY,PHICONG,NGAYKH} ... PTHHN F+ F+ F+ F+ F+ F+ F+ F+ PTHHN PTHHN F F+ PTHHN PTHHN F+ F+ PTHHN PTHHN F+ F+ PTHHN PTHHN F+ F+ PTHHN F+ PTHHN F+ PTHHN F+ PTHHN F+ PTHHN F+ PTHHN F+ PTHHN F+ PTHHN F+ Số phụ thuộc hàm có...
13
650
0
Bài 12. Phủ Của Tập Phụ Thuộc Hàm
Ngày tải lên :
14/10/2013, 18:11
... 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, f gọi dư thừa F (F- f)+ = F+ Hay nói tương đương f gọi dư thừa F suy dẫn từ ... tập phụ thuộc hàm tương đương Cho F G hai tập phụ thuộc hàm tập thuộc tính U, ta nói tập phụ thuộc hàm F tương đương với tập phụ thuộc hàm G F+ =G+ Nếu F+ =G+ ta nói F phủ G ngược lại G phủ F *Thuật ... 12.3.2: Phủ không dư Cho F G tập phụ thuộc hàm U, F gọi phủ không dư G + F+ = G+ (F phủ G) + f F (F- f)+ ≠ F (tức phụ thuộc hàm F không dư thừa) Định lý: Mọi tập phụ thuộc hàm tồn phủ không dư 12.4:...
31
649
11
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
... ch F1 , F2 , F3 l cỏc t trờn v U: F1 ẩ F2 = F ẩ F1 ; F ầ F2 = F ầ F1 (1) Lu (2) Lu F1 ẩ (F2 ẩ F3 ) = (F1 ẩ F2 ) ẩ F3 ; F1 ầ (F2 ầ F3 ) = (F1 ầ F2 ) ầ F3 ; th F1 ẩ (F2 ầ F3 ) = (F1 ẩ F2 ) ầ (F1 ẩ F3 ); ... F3 ); (3) Lu F1 ầ (F2 ẩ F3 ) = (F1 ầ F2 ) ẩ (F1 ầ F3 ); : F1 ẩ (F1 ầ F2 ) = F1 ; F1 ầ (F1 ẩ F2 ) = F1 ; (4) Lu F1 ẩ F1 = F1 ; F1 ầ F1 = F1 ; (5) Lu (6) Lu F1 ẩ F2 = F1 ầ F2 ; F1 ầ F2 = F1 ẩ F2 1.3.2.2 Cỏc ... F2 (1): F1 b F2 , ký hi F1 = F2 , n "x ẻ U , m F1 ( x) = m F2 ( x) (2): F1 ch F2 , ký hi F1 ấ F2 , n "x ẻ U , m F1 ( x) m F2 ( x) F1 v F2 c hm thu m F1 ẩ F2 ( x) = max(m F1 ( x), m F2 ( x)),...
113
612
2
Tài liệu Báo cáo tiểu luận: Phụ thuộc hàm, khóa tối thiểu , phủ tối thiểu của quan hệ doc
Ngày tải lên :
12/12/2013, 14:15
... 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= { B→D, B→E, D→C, ... thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F= { BE→C, EI→B, C→D, C→I, BC→A } II.Tìm phủ tối thiểu cho toán sau: Cho R(U ,F) với U={ABCDEGHK} F= {B→ACDEG, D→C, E→GA} B1:Tách phụ thuộc ... thiểu cho toán sau: Cho R(U ,F) với U={ABCDEI} F= {BE→C, EI→B, C→DI, BC→AB, EI→C} B1: Tách phụ thuộc hàm F= {BE→C, EI→B, C→D,C→I, BC→A,BC→B, EI→C} B2: Loại bỏ phụ thuộc hàm dư thừa : + Có BE→C (1)...
21
952
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
... = ( ABCD) tập phụ thuộc hàm F F = { A ->D, AB->DC } Lược đồ có dạng chuẩn 2NF? Vì sao? Nếu chưa chuẩn hoá lược đồ 2NF Bài 4: Cho lược đồ quan hệ R = ( ABCDEF) tập phụ thuộc hàm F F = { AB -> C, ... dạng chuẩn 1NF, 2NF, 3NF, BCNF Bài 2: Cho lược đồ quan hệ R = ( 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 ... -> 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 = { AB -> C, AB ->D, E -> F} Lược đồ có dạng chuẩn 3NF?...
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
... Bao đóng F kí hiệu F+ , tập tất phụ thuộc hàm suy diễn logic nhờ tiên đề Armstrong, bổ đề từ F, F = F+ F họ đầy đủ phụ thuộc hàm Bao đóng tập thuộc tính (X+) X -> Y phụ thuộc hàm suy từ F Khi X+ ... thiểu tập phụ thuộc hàm F, với tập thuộc tính U: INPUT: F, U OUTPUT: G (G phủ tối thiểu F) BC1: G = ϕ Tách tất phụ thuộc hàm f F thành phụ thuộc hàm mà vế phải có t thuộc tính: FOR f F, f = X ... tiên đề Armstrong Gọi F tập tất phụ thuộc hàm lược đồ quan hệ r(U) X -> Y phụ thuộc hàm với X, Y U, ta nói X -> Y suy diễn logic từ F quan hệ r(U) thỏa mãn phụ thuộc hàm F thỏa X -> Y Sau tập...
50
838
3
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
... does not follow from F by the rules FFD1-FFD6 then F (ax.cry) does not logically imply X , Y That is, the rules FFD1-FFD6 are complete (ax.ay) FUZZY MULTIVALUED DEPENDENCY (a, ,B)-FMVD Definition ... 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 each Ai E R, ... 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, &) be a scheme relation, X be a subset of R, then we can...
7
898
0
Chương 1: Phụ thuộc hàm doc
Ngày tải lên :
22/03/2014, 23:20
... suy từ a1, a2, a3 Môn học Cơ sở liệu nâng cao Suy dẫn theo tiên đề (suy dẫn logic) Ta nói PTH f suy dẫn theo tiên đề (hoặc suy dẫn logic) từ tập PTH F ký hiệu F ╞ f, f ∈ F+ F ╞ f ⇔ f ... PTH F G tập thuộc tính U Ta nói F suy dẫn G, ký hiệu F ╞ G, (∀ g ∈ G): (F ╞ g) Ta nói F tương đương với G, ký hiệu F ≡ G, F ╞ G G ╞ F Nếu F ≡ G ta nói G phủ F Ký hiệu F !╞ G: F không suy ... ∈ F+ Nói cách khác f suy dẫn theo tiên đề từ tập PTH F xuất phát từ F, áp dụng luật a1, a2 a3 hệ tiên đề Armstrong sau hữu hạn lần ta thu PTH f Ta viết F !╞ f để biểu thị tập PTH F không dẫn logic...
25
495
2
PHỤ THUỘC HÀM VÀ CÁC DẠNG CHUẪN
Ngày tải lên :
28/03/2014, 21:22
... Xét F2 có A→E, tìm xem F1 có A→E ? 45 Ví dụ R(A, B, C, D, E) F1 = { A→BC, A→D, CD→E } F2 = { A→BCDE } F1 ≡ F2 ? Chứng minh - F1 hệ F2 ⇒ F1 suy dẫn từ F2 F2 hệ F1 ⇒ F2 suy dẫn từ F1 46 ... CD→E } F1 ≡ F2 ? Chứng minh - F1 hệ F2 ⇒ F1 suy dẫn từ F2 F2 hệ F1 ⇒ F2 suy dẫn từ F1 44 Ví dụ (tt) {A→BCE, A→ABD, CD→E } → {A→BC, A→D, CD→E } - Ta thấy F1 ⊆ F2 , hiển nhiên F1 hệ F2 {A→BC, ... 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 hợp PTH hệ từ F gọi bao đóng F - + Ký hiêôu F + F F 27 Tìm bao đóng F + Từ...
87
2.4K
5
Phụ thuộc hàm
Ngày tải lên :
29/03/2014, 18:54
... Phụ thuộc hàm suy diễn logic từ F − 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 hàm F thỏa phụ thuộc hàm X → Y Ký hiệu F| = X → Y Bao đóng F (F+ ) − Bao đóng F ... Kiểm tra phụ thuộc hàm XY 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ư ... A→D) Bao đóng tập phụ thuộc hàm Bao đóng F ký hiệu F+ tập tất phụ thuộc hàm suy diễn logic từ F Thuật toán tìm bao đóng F+ − Bước 1: Tìm tất tập Q+ − Bước 2: Tìm tất phụ thuộc hàm có Q − Bước...
54
1.8K
0
Xem thêm