phụ thuộc hàm và bao đóng trong mô hình dữ liệu dạn
Bao đóng và các thuật toán tìm bao đóng trong mô hình dữ liệu dạng khối
Ngày tải lên :
25/08/2016, 09:50
... THUẬT TOÁN TÌM BAO ĐÓNG TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI 26 3.1 Tính chất bao đóng mô hình liệu dạng khối 26 3.2 Chương trình Demo tính bao đóng tập thuộc tính số mô hình liệu dạng khối ... M+ bao đóng M Fh Mx+ = n x M + M bao đóng Mx Fhx i 1 25 CHƯƠNG 3: TÍNH CHẤT CỦA BAO ĐÓNG VÀ CÁC THUẬT TOÁN TÌM BAO ĐÓNG TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI 3.1 Tính chất bao đóng mô hình liệu dạng ... Phụ thuộc hàm 21 2.4 Bao đóng mô hình liệu dạng khối 21 2.4.1 Bao đóng tập phụ thuộc hàm 21 2.4.2 Bao đóng tập thuộc tính số 22 CHƯƠNG 3: TÍNH CHẤT CỦA BAO ĐÓNG VÀ...
- 47
- 518
- 0
Khoá luận tốt nghiệp bao đóng và các thuật toán tìm bao đóng trong mô hình dữ liệu dạng khối
Ngày tải lên :
25/08/2016, 11:15
... 21 2.4 Bao úng mụ hỡnh d liu dng 21 2.4.1 Bao úng ca ph thuc hm 21 2.4.2 Bao úng ca thuc tớnh ch s 22 CHNG 3: TNH CHT CA BAO ểNG V CC THUT TON TèM BAO ểNG TRONG Mễ HèNH ... ú nu M+ l bao úng ca M i vi Fh v ch Mx+ = n u *(0 ^ M+l bao úng ca Mx i vi Fhx1=1 25 CHNG 3: TNH CHT CA BAO ểNG V CC THUT TON TèM BAO ểNG TRONG Mễ HèNH D LIU DNG KHểI 3.1 Tớnh cht ca bao úng mụ ... Thuc tớnh cn tỡm bao úng: Nhp vo thuc tớnh ch s m ta s thc hin tỡm bao úng cho nú - Tỡm bao úng: L button thc hin vic tỡm bao úng ca cỏc thuc tớnh cn tỡm va c nhp vo - Kt qu: Hin th bao úng ca thuc...
- 46
- 370
- 0
Nghiên cứu bao đóng trong mô hình dữ liệu dạng khối
Ngày tải lên :
10/09/2015, 14:22
... liệu dạng khối Mô hình liệu xem mở rộng mô hình liệu quan hệ Để góp phần hoàn chỉnh thêm mô hình liệu dạng khối chọn đề tài “Nghiên cứu bao đóng mô hình liệu dạng khối”cho luận văn Bao đóng có ... trọng sở liệu Với mục tiêu tìm hiểu bao đóng mô hình liệu dạng khối khái niệm liên quan, đề tài nghiên cứu tìm hiểu sâu bao đóng mô hình liệu dạng khối tính chất mở rộng bao đóng mô hình liệu dạng ... quát mô hình liệu dạng khối sau sâu nghiên cứu tính chất mở rộng bao đóng mô hình liệu dạng khối Trình bày chứng minh tính chất bao đóng mô hình liệu dạng khối, đặc biệt tính chất mở rộng bao đóng...
- 71
- 328
- 0
Luận văn nghiên cứu bao đóng trong mô hình dữ liệu dạng khối
Ngày tải lên :
10/09/2015, 14:59
... v bao úng ca ph thuc hm, bao úng ca thuc tớnh ch s, khúa ca lc cựng vi cỏc thut toỏn tỡm bao úng, tỡm khúa ca lc Ngoi chng ny cũn trỡnh by phộp dch chuyn ca lc Chng III: Tớnh cht m rng ca bao ... Tp cỏc quy tc ca h tiờn c Armstrong a ( 1974 ) thng c gi l h tiờn Armstrong H tiờn Armstrong^6] Cho R = {Ab A2, A n } l cỏc thuc tớnh, X, Y, z Ê R H tiờn Armstrong cú tớnh cht c bn sau ( ... v Y -> z thỡ X -ớ z Trong ú ký hiu xz l hp ca hai X v z thay cho ký hiu X z 1.5 Bao úng lc quan h : 1.5.1 Bao úng ca ph thuchm[6,7]: n h n g h a : Cho ph thuc hm F, bao úng ca ph thuc hm...
- 61
- 586
- 0
Giàn giao của các tập đóng trong mô hình dữ liệu dạng khối
Ngày tải lên :
06/05/2016, 16:00
... sở liệu nhƣ: Mô hình liệu thực thể - liên kết, mô hình liệu mạng, mô hình liệu phân cấp, mô hình liệu hƣớng đối tƣợng, mô hình liệu datalog mô hình liệu quan hệ Trong số mô hình liệu có ba mô hình ... hình liệu có ba mô hình liệu thƣờng đƣợc sử dụng mô hình liệu phân cấp, mô hình liệu mạng mô hình liệu quan hệ Đối với ba mô hình mô hình liệu quan hệ đƣợc quan tâm Mô hình đƣợc E.Codd đề xuất ... Theo hƣớng nghiên cứu mô hình liệu đƣợc đề xuất mô hình liệu dạng khối Mô hình liệu đƣợc xem mở rộng mô hình liệu quan hệ Để góp phần hoàn thiện lý thuyết thiết kế mô hình liệu dạng khối em chọn...
- 70
- 378
- 0
Luận văn giàn giao của các tập đóng trong mô hình dữ liệu dạng khối
Ngày tải lên :
09/05/2016, 16:17
... ->KZW 1.4 Bao úng nh ngha 1.7 Cho ph thuc hm F , bao úng ca ph thuc hm F kớ hiu F + l ln nht cha cỏc ph thuc hm c suy din t cỏc ph thuc hm thuc F Vy F +( f IF 1= / ) Tớnh cht ca bao úng: 1) ... o y c X + 8) X - > y v Y ^ > X o X += Y+ Thut toỏn bao úng: Vo: Tp thuc tớnh X , ph thuc hm F v lc R Ra: x + bao úng ca X i vi F trờn R BAO DONG 1(X ,F ,R ) Begin Tepcu:= ; tepmoi:= X ; While ... Ph thuc hm trờn 42 2.4 Bao úng mụ hỡnh d liu dng 44 2.5 Khoỏ ca lc i vi ph thuc hm F trờn R 45 Kt lun 47 CHNG 3: GIN GIAO CA CC TP ểNG TRONG Mễ HèNH D LIU DNG KHI ...
- 69
- 372
- 1
Giàn giao của các tập đóng trong mô hình dữ liệu dạng khối
Ngày tải lên :
19/06/2016, 09:57
... -+YZW 1.4 Bao úng 1.85 nh ngha 1.7 1.86 Cho ph thuc hm F, bao úng ca ph thuc hm F kớ hiu F+ l ln nht cha cỏc ph thuc hm c suy din t cỏc ph thuc hm thuc F Vy F + ( f IF 1= /) 1.87 Tớnh cht ca bao úng: ... c x + 8) X ằy v y->xx+=y+ 1.88 Thut toỏn bao úng: 1.89 Vo: Tp thuc tớnh X , ph thuc hm F v lc R 1.90 Ra: X+ bao úng ca X i vi F trờn R 1.91 BAO DONG (X,F,R) 1.92 Begin 1.93 Tepcu:=0; tepmoi:=X; ... theo tng v ca hai bao hm thc trờn ta thu c f(XY) f(X)f(Y) 1.148 (C6) T Xn YỗX, Xn Y ầ Y v tớnh ng bin ca f ta suy 1.149 f(XnY)^f(X) v f(XnY)ỗ f(Y) Ly giao theo tng v ca hai bao hm thc trờn ta...
- 52
- 312
- 0
Các điểm bất động của ánh xạ đóng trong mô hình dữ liệu dạng khối (LV01982)
Ngày tải lên :
23/09/2016, 11:55
... liệu như: Mô hình thực thể - liên kết, mô hình mạng, mô hình liệu, mô hình phân cấp, mô hình hướng đối tượng, mô hình liệu datalog mô hình quan hệ Trong năm gần đây, việc nghiên cứu tìm mô hình đáp ... điểm bất động ánh xạ đóng mô hình liệu dạng khối Nhiệm vụ nghiên cứu Tìm hiểu mô hình liệu Tìm hiểu mô hình liệu dạng khối Tìm hiểu điểm bất động ánh xạ đóng mô hình liệu dạng khối tìm số tính ... kỷ 70 có thêm mô hình liệu quan hệ E.F.Codd phát minh Sang đầu năm 80, mô hình khác đời: Mô hình hướng đối tượng, Mô hình datalog, mô hình liệu phân tán, mô hình liệu dạng khối Trong chương luận...
- 65
- 379
- 0
Ánh xạ đóng trong mô hình dữ liệu dạng khối
Ngày tải lên :
25/11/2016, 20:29
... sở liệu như: mô hình thực thể - liên kết, mô hình mạng, mô hình phân cấp, mô hình hướng đối tượng, mô hình liệu datalog mô hình quan hệ Trong số mô hình có ba mô hình liệu thường sử dụng mô hình ... Chƣơng 1: Mô hình liệu quan hệ ánh xạ đóng Chƣơng 2: Mô hình liệu dạng khối Chƣơng 3: Ánh xạ đóng mô hình liệu dạng khối 3 CHƢƠNG MÔ HÌNH DỮ LIỆU QUAN HỆ VÀ ÁNH XẠ ĐÓNG 1.1 Một số khái niệm Thuộc ... 36 2.4 Bao đóng tập thuộc tính số 37 2.5 Khóa lược đồ khối R tập phụ thuộc hàm F R 40 2.6 Hàm phụ thuộc hàm 41 CHƢƠNG 3: ÁNH XẠ ĐÓNG TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI ...
- 72
- 476
- 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
... tƣợng, mô hình liệu datalog mô hình quan hệ Trong số mô hình có ba mô hình liệu thƣờng đƣợc sử dụng mô hình phân cấp, mô hình mạng mô hình quan hệ Đối với ba mô hình mô hình quan hệ đƣợc quan tâm Mô ... 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 ... cứu nhằm mở rộng mô hình liệu quan hệ đƣợc nhiều nhà khoa học quan tâm Theo hƣớng nghiên cứu mô hình liệu đƣợc đề xuất mô hình liệu dạng khối Mô hình liệu đƣợc xem mở rộng mô hình liệu quan hệ Để...
- 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
... ph thuc hm F thỡ cng tho X > Y Kớ hiu F 1= X > Y 1.4 Bao úng 1.4.1 Bao úng ca ph thuc hm v ca thuc tớnh nh ngha 1.7[5][6] Cho ph thuc hm F, bao úng ca ph thuc hm F kớ hiu F + l ln nht cha cỏc ... ph thuc hm F Bao úng ca thuc tớnh X i vi F kớ hiu x+ l tt c cỏc thuc tớnh A m X > A c suy din t F Ta cú: X+= {A| ^} ụi ta kớ hiu XF+ ch ly bao úng ca X theo ph thuc hm F Tớnh cht ca bao úng: 1) ... v Y C x+ T nh ngha x+ ta cú X > Ai, ỏp dng h tiờn Amstrong cho mi i suy X ằ Y nh lut hp 48) Ngc li, gi s ta cú X > Y, ỏp dng h tiờn Amstrong cho mi i ta cú X ằ Ai, AiGY nh lut tỏch, suy Ai...
- 89
- 611
- 0
∝ phụ thuộc hàm trong mô hình dữ liệu dạng khối (LV01845)
Ngày tải lên :
30/08/2016, 10:13
... 33 2.4 Phụ thuộc hàm 34 2.5 Bao đ ng tập thuộc tính số 36 CHƢƠNG 3: α - PHỤ THUỘC HÀM TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI 39 3.1 α - phụ thuộc hàm mô hình liệu dạng khối ... 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.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 suy diễn từ phụ thuộc hàm ... tính chất có α – phụ thuộc hàm Cuối phát biểu chứng minh số tính chất mở rộng α – phụ thuộc hàm mô hình liệu dạng khối 4 CHƢƠNG 1: MÔ HÌNH DỮ LIỆU QUAN HỆ Mô hình liệu quan hệ mô hình quan tâm...
- 61
- 379
- 1
Luận văn ∝ phụ thuộc hàm trong mô hình dữ liệu dạng khối
Ngày tải lên :
30/08/2016, 12:51
... ỗ id Khi ú da vo thut toỏn tớnh bao úng trờn, ta cú th tớnh bao úng M+ ca M i vi Fh T quỏ trỡnh tớnh bao úng ca M i vi Fh ta thy ú chớnh l cỏc quỏ trỡnh tớnh bao úng ca cỏc thuc tớnh ch s Mx ... hỡnh d liu quan h Trong chng ny ó trỡnh by mt s cỏc khỏi nim c bn nht mụ hỡnh d liu quan h Lm rừ cỏc phộp toỏn i s quan h, cỏc khỏi nim v ph thuc hm, bao úng Ngoi cỏc thut toỏn tỡm bao úng ca thuc ... M Nu X -> Y v YZ -> V thỡ xz -> V Nu X >Y thỡ xz >Y 1.4 Bao úng 1.4.1 Bao úng ca ph thuc hm v thuc tớnh nh ngha 1.6 Cho ph thuc hm F, bao úng ca ph thuc hm F kớ hiu F+ l ln nht cha cỏc ph thuc...
- 60
- 418
- 0
Các phụ thuộc logic trong mô hình dữ liệu dạng khối
Ngày tải lên :
02/12/2015, 15:42
... hệ, phụ thuộc liệu mô hình khối đóng vai trò quan trọng việc phản ánh ngữ nghĩa liệu Phụ thuộc phụ thuộc hàm, E Codd - tác giả mô hình liệu quan hệ đề xuất Phụ thuộc phát triển thành phụ thuộc hàm ... thuộc hàm mô hình liệu dạng khối Khi khối suy biến thành quan hệ khái niệm phụ thuộc hàm mô hình liệu dạng khối lại trở thành khái niệm phụ thuộc hàm mô hình liệu quan hệ Với mô hình liệu quan ... Ambassador PC Cũng theo hướng nghiên cứu mô hình liệu đề xuất, mô hình liệu dạng khối [4], [5], [7], Mô hình liệu xem mở rộng mô hình liệu quan hệ Trong mô hình liệu dạng khối, khái niệm như: khối, lược...
- 105
- 884
- 1
Phụ thuộc đối ngẫu trong mô hình dữ liệu dạng khối (LV01651)
Ngày tải lên :
14/08/2016, 23:12
... Y 1.4 Bao đóng 1.4.1 Bao đóng tập phụ thuộc hàm Định nghĩa 1.7 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 ... Phụ thuộc hàm đối ngẫu mô hình liệu dạng khối Chƣơng trình bày nội dung liên quan đến phụ thuộc đối ngẫu mối quan hệ phụ thuộc hàm đối ngẫu, phụ thuộc hàm mạnh, phụ thuộc hàm yếu mô hình sở liệu ... nghiên cứu phụ thuộc hàm khối nhƣ: phụ thuộc hàm, phụ thuộc hàm mạnh, phụ thuộc hàm yếu, phụ thuộc đối ngẫu Đồng thời tìm hiểu mối quan hệ phụ thuộc hàm mạnh, phụ thuộc hàm yếu phụ thuộc đối ngẫu Nhiệm...
- 63
- 622
- 0
Một số thuật toán tìm phủ trong mô hình dữ liệu dạng khối
Ngày tải lên :
22/06/2016, 16:32
... 20 1.3.1 Cỏc tớnh cht ca ph thuc h m 21 1.3.2 H tiờn Amstrong 21 1.4 Bao úng 22 1.4.1 Bao úng ca ph thuc hm v thuc tớn h 22 1.4.2 Bi toỏn thnh viờn ... -ằ YW 3- Bc cu: Nu X -ằ Y, Y -ằ z thỡ X -ằ z 22 1.4 Bao úng 1.4.1 Bao úng ca ph thuc hm v thuc tớnh nh ngha 1.6[2],[3],[7] Cho ph thuc hm F, bao úng ca ph thuc hm F kớ hiu F+ l ln nht cha cỏc ... F Bao úng ca thuc tớnh X i vi F kớ hiu x + l tt c cỏc thuc tớnh A m X > A c suy din t F Ta cú: X+ = {A | X -> A e F+} ụi ta kớ hiu Xp+ ly bao úng ca X theo ph thuc hm F Thut toỏn 1.1: Tỡm bao...
- 75
- 416
- 0
Một số thuật toán tìm phủ trong mô hình dữ liệu dạng khối
Ngày tải lên :
23/06/2016, 12:39
... 20 1.3.1 Cỏc tớnh cht ca ph thuc h m 21 1.3.2 H tiờn Amstrong 21 1.4 Bao úng 22 1.4.1 Bao úng ca ph thuc hm v thuc tớn h 22 1.4.2 Bi toỏn thnh viờn 26 ... x w - YW 3- Bc cu: Nu X - Y, Y - z thỡ X - z 22 1.4 Bao úng 1.4.1 Bao úng ca ph thuc hm v thuc tớnh nh ngha 1.6[2],[3],[7] Cho ph thuc hm F, bao úng ca ph thuc hm F kớ hiu F+ l ln nht cha cỏc ... F Bao úng ca thuc tớnh X i vi F kớ hiu x + l tt c cỏc thuc tớnh A m X > A uc suy din t F Ta cú: x + = {A I X >A e F+} ụi ta kớ hiu Xp+ ly bao úng ca X theo ph thuc hm F Thut toỏn 1.1: Tỡm bao...
- 75
- 281
- 0
Khoá và các thuật toán tìm khoá trong mô hình dữ liệu dạng khối
Ngày tải lên :
25/08/2016, 09:48
... có nhiều mô hình sử dụng hệ thống sở liệu như: mô hình thực thể - liên kết, mô hình mạng, mô hình phân cấp, mô hình hướng đối tượng, mô hình liệu datalog mô hình quan hệ Trong số mô hình quan ... phụ thuộc hàm G mà vế phải phụ thuộc hàm không bao gồm thuộc tính Tập phụ thuộc hàm F gọi tối tiểu nếu: - Mỗi vế phải phụ thuộc hàm thuộc F có thuộc tính - Không tồn phụ thuộc hàm X → A thuộc F ... 1.3 Phụ thuộc hàm 12 1.3.1.Các quy tắc suy diễn phụ thuộc hàm 13 1.3.2 Hệ tiên đề Amstrong cho phụ thuộc hàm 13 1.4 Bao đóng lược đồ quan hệ 13 1.4.1 Bao đóng tập phụ thuộc...
- 54
- 470
- 0