Luận văn nghiên cứu bao đóng trong mô hình dữ liệu dạng khối

B GIO DC V O TO TRNG I HC s PHM H NI NGUYN VN SN NGHIấN CU BAO ểNG TRONG Mễ HèNH D LIU DNG KHI LUN VN THC S MY TNH H NI, 2014 B GIO DC V O TO TRNG I HC s PHM H NI NGUYN VN SN NGHIấN CU BAO NG TRONG Mễ HèNH D LIU DNG KHI Chuyờn ngnh: KHOA HC MY TNH Mó s: 60 48 01 01 LUN VN THAC S MY TNH hon thnh lun ny em xin chõn thnh gi li cm n n quý thy cụ trng i hc S phm H Ni 2, cỏc thy Vin Cụng ngh thụng tin thuc Vin Hn lõm Khoa hc v Cụng ngh Vit Nam, cỏc anh ch th vin Vin Cụng ngh thụng tin thuc Vin Hn lõm Khoa hc v Cụng LI CM N ngh Vit Nam, th vin trng i hc Cụng ngh thụng tin v truyn thụng i hc Thỏi Nguyờn, trung tõm hc liu i hc Thỏi Nguyờn, th vin i hc Cụng ngh - i hc Quc gia H Ni ó quan tõm giỳp quỏ trỡnh thc hin ti. Nh ú tụi ó tip thu c nhiu ý kin úng gúp v nhn xột quý bỏu ca quý thy, cụ thụng qua cỏc bui trao i thụng tin v bo v cng. Em xin gi li cm n sõu sc nht n TS. Trnh ỡnh Vinh ang cụng tỏc ti trng i hc S Phm H Ni II ó trc tip hng dn, nh hng chuyờn mụn, quan tõm giỳp tn tõm ch bo quỏ trỡnh thc hin lun vn. Em xin by t s bit n sõu sc n gia ỡnh ó to mi iu kin tt nht em cú th hon thnh tt mi cụng vic quỏ trỡnh thc hin lun vn. Bờn cnh ú, em cng xin gi li cm n ca mỡnh ti bn bố v ng nghip, luụn quan tõm, chia s, ng viờn em sut thi gian thc hin lun vn. Mc dự ó rt c gng quỏ trỡnh thc hin nhng lun khụng th trỏnh nhng thiu sút. Em xin mong nhn c s gúp ý ca quý thy cụ, quý ng nghip v bn bố. H Ni, ngy 22 thỏng 12 nm 2014 Hoc viờn Nguyn Vn Sn Tụi xin cam oan ton b ni dung c trỡnh by bn lun ny l kt qu tỡm hiu v nghiờn cu ca riờng tụi, õy l cụng trỡnh nghiờn cu ca tụi di s hng dn khoa hc ca TS. Trnh ỡnh Vinh. Cỏc s liu, kt qu nờu lun l trung thc, rừ rng. Tụi cng xin cam oan rng mi s giỳp cho vic thc hin lun ny ó c cm n v cỏc thụng tin trớch dn lun ó c ch rừ ngun gc. Tụi xin chu hon ton trỏch nhim vi nhng ni dung c vit lun ny. LI CM N H Ni, ngy 22 thỏngl2 nm 2014 Hc viờn Nguyn Vn Sn MC LC Trang LI CAM OAN . LI CM N MC LC BNG K HIU CC CH CI VIT TT . DANH MC CC BNG DANH MC CC HèNH DANH MC CC Kí HIU, CH CI VIẫT TT Trong lun ỏn ny dựng thng nht cỏc kớ hiu v cỏc ch vit tt sau: Kớ hiu ý ngha CSDL C s d liu. LQH Lc quan h. PTH Ph thuc hm. , , Thuc tớnh. X, Y, z Tp thuc tớnh. XY XuY (hp ca thuc tớnh X Y Y). ABC [, , ] (tp thuc tớnh gm phn t , , C). Dom(A) Min giỏ tr ca thuc tớnh A. r hoc r(R) Khi r trờn R. X = (x, A.) Cỏc thuc tớnh ch sụ ca 1-c ụ khụi (xeid, i = l (i) , (i) (i)| id = {x I xeid } Tp cỏc thuc tớnh ch sụ ca 1-c ụ khụi. |r| S phn t ca r. |r|' S phn tũ ca r ca r. L con. =2 Cha, e Thuc. Tn ti. ẩ Khụng tn ti. Khụng thuc. V Vi mi. Rng. n Phộp giao, u Phộp hp. cj: Khụng thuc DANH MC CC BNG DANH MUC CC HèNH M U 1. Lý chn ti: C s d liu (CSDL) l mt nhng lnh vc c trung nghiờn cu v phỏt trin ca cụng ngh thụng tin, nhm gii quyt cỏc bi toỏn qun lý, tỡm kim thụng tin nhng h thng ln, a dng, phc cho nhiu ngi s dng trờn mỏy tớnh. T nhng nm 70 ca th k trc, mụ hỡnh d liu quan h Edgar Frank Codd (Nh khoa hc mỏy tớnh ngi Anh) a vi cu trỳc hon chnh ó to nờn c s nn tng cho cỏc nghiờn cu lý thuyt v CSDL. cú th xõy dng c mt h thng c s d liu tt, ngi ta thng s dng cỏc mụ hỡnh d liu thớch hp. Ngoi nhng mụ hỡnh c s dng h thng c s d liu ó cú t lõu v c rng rói trờn Th gii nh: mụ hỡnh thc th - liờn kt, mụ hỡnh mng, mụ hỡnh d liu, mụ hỡnh phõn cp, mụ hỡnh quan h . Trong nhng nm gn õy, vic nghiờn cu tỡm cỏc mụ hỡnh mi ỏp ng cỏc ng dng phc tp, cỏc c s d liu cú cu trỳc tuyn tớnh v phi tuyn tớnh c cỏc nh nghiờn cu v ngoi nc quan tõm. Mt nhng mụ hỡnh mi ny l mụ hỡnh d liu dng khi. Mụ hỡnh d liu ny cú th xem l mt m rng ca mụ hỡnh d liu quan h. gúp phn hon chnh thờm v mụ hỡnh d liu dng tụi chn ti l N g h i n c u b a o ú n g t r o n g m ụ h ỡ n h d l i u d n g k h i cho lun ca mỡnh. Bao úng cú vai trũ rt quan trng c s d liu. Vi mc tiờu tỡm hiu v bao úng mụ hỡnh d liu dng cng nh cỏc khỏi nim liờn quan, ti nghiờn cu ó tỡm hiu sõu v bao úng mụ hỡnh d liu dng v tớnh cht m rng ca bao úng mụ hỡnh d liu dng khi. 2. Mc ớch nghiờn cu Tỡm hiu khỏi quỏt v mụ hỡnh d liu dng sau ú i sõu v nghiờn cu cỏc tớnh cht m rng ca bao úng mụ hỡnh d liu dng khi. Trỡnh by v chng minh cỏc tớnh cht ca bao úng8trong mụ hỡnh d liu dng khi, c bit l tớnh cht m rng ca bao úng mụ hỡnh d liu dng khi. 3. Nhim v nghin cu Nghiờn cu lý thuyt v mụ hỡnh d liu dng khi. C th l cỏc tớnh cht m rng ca bao úng mụ hỡnh mụ hỡnh d liu dng khi. 4. i tng v phm v nghiờn cu - i tng : Bao úng mụ hỡnh d liu dng - Phm vi: Cỏc tớnh cht ca bao úng mụ hỡnh d liu dng 5. Phng phỏp nghiờn cu Phng phỏp tng hp phõn tớch cỏc cú liờn quan n ti. Phng phỏp lý lun Phng phỏp suy lun v chng minh 6. Gi thit khoa hoc Phỏt biu v chng minh mt s tớnh cht m rng ca bao úng mụ hỡnh d liu dng khi. KT QU T C TRONG LUN VN Lun bao gm: Li m u, chng v phn kt lun. Cỏc kt qu t c ca lun c trỡnh by chng 3. Chng I: Mụ hỡnh d liu quan h. Chng ny ó trỡnh by mt s cỏc khỏi nim c bn nht mụ hỡnh d liu quan h. Trỡnh by cỏc phộp toỏn c bn, cỏc khỏi nim v ph thuc hm, bao úng, khúa cựng vi cỏc tớnh cht ca chỳng. Ngoi cỏc thut toỏn tỡm khoỏ, bao úng v phộp dch chuyn lc mụ hỡnh d liu quan h cng c trỡnh by chng ny. Chng II: Mụ hỡnh d liu dng khi. Ni dung chng ny trỡnh by cỏc khỏi nim c bn mụ hỡnh d liu dng nh : khỏi nim v khi, lc khi, lỏt ct. Trỡnh by cỏc phộp toỏn c bn trờn khi, khỏi nim 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 khi. Ngoi chng ny cũn trỡnh by phộp dch chuyn ca lc khi. Chng III: Tớnh cht m rng ca bao úng mụ hỡnh d liu dng khi. Phỏt biu v chng minh tớnh cht ca bao úng, tớnh cht m rng ca bao úng thuc tớnh ch s mụ hỡnh d liu dng khi, xõy dng chng trỡnh Demo minh thut toỏn tỡm bao úng ca thuc tớnh ch s mụ hỡnh d liu dng khi. Kt qu t c: - Tỡm hiu v mụ hỡnh d liu dng cng l mt m rng t nhiờn ca mụ hỡnh d liu quan h ú tỡm hiu k hn v bao úng ca ch s v mt vi tớnh cht c bn ca nú mụ hỡnh d liu dng khi. - Phỏt biu v chng minh cỏc tớnh cht m rng ca bao úng thuc tớnh ch s mụ hỡnh d liu dng khi. Gii thiu bi toỏn v xõy dng chng trỡnh Demo tớnh bao úng ca thuc tớnh ch s mụ hỡnh d liu dng khi. CHNG I: Mễ HèNH D LIU QUAN H l.l. Cỏc khỏi niờm c bn: 1.1.1 Thuc tớnh v thuc tớnh: [6,7] - Thuc tớnh l cỏc c im riờng ca mt i tng, quan h . Mi thuc tớnh cú mt tờn gi v phi thuc v mt kiu d liu nht nh, kiu d liu ú cú th l vụ hng (l cỏc kiu d liu c bn nh chui, s, logic, ngy thỏng .) hoc cỏc kiu cú cu trỳc c nh ngha da trờn cỏc kiu d liu cú sn. V d : SINHVIEN (MaSV, Hoten, NgSinh, chi). i tngSINHVIEN cú cỏc thuc tớnh mó sinh viờn, h tờn, ngy sinh, a ch. - Mi mt thuc tớnh cú th ch chn ly nhng giỏ tr mt hp ca kiu d liu. Tp hp cỏc giỏ tr m thuc tớnh A cú th nhn c gi l giỏ tr ca thuc tớnh A, thng c kớ hiu l Dom(A) hay vit tt l DA, Vớ d: Dom(MaSV) = {char(4)}; Dom(Hoten) = {char(3)}; Dom(NgSinh) = {date}; Dom(chi) = {HN\ VP\ BN 1.1.2. Quan h v lc quan h : Quan h: Cho u = {Ai,A2, ., An} l mt hu hn khụng rng cỏc thuc tớnh. Mi thuc tớnh Aj (i = 1,2, .,n) cú giỏ tr l DA. .Khi ú, r l mt cỏc b {hi, h , h m } c gi l quan h trờn R vi hj (j=l, , m ) l mt hm: hj = u > Da ., Ai eU I hj (Ai) e DA.(i = l,2, .,n) Ta cú th xem mt quan h nh mt bng m ú mi hng (phn tũ) l mt b v mi ct tng ng Yi mt thuc tớnh. Biu din bng quan h r nh sau: Ai A2 . An hi(Ai) hi(A2) . hi(An) h2(Ai) h2(A2) . h2(An) . . . hm(An) . hm(Ai) hm(A2) Bng 1.1. Vớ d v quan h r B ca quan h[6] Mt b giỏ tr l cỏc thụng tin ca mt i tng thuc quan h. B giỏ tr cng thng c gi l mt mu tin hay bn ghi, dũng ca bng. thuc hm mi M\x > N\x G. Th tc ny c kớ hiu l G = F \ X v cú phc l O(mnk) vi m l s lng cỏc PTH F. T õy ta thy phc ca phộp dch chuyn b = a \ X = { u\x, F\ X} l O(mnk), vy nú l tuyn tớnh theo chiu di ca d liu vo. Sau thc hin cỏc th tc G = F \ X t h ỡ : Nu G cha cỏc PTH tm thng (dng X>Y,X^Y) thỡ loi chỳng G Nu G cha cỏc PTH trựng thỡ ta loi bt cỏc PTH ny. Nhn x ộ t : N h n x ộ t : Cho hai lc a = (U, F), b = (V,G), X c= i d ( i ) ,x= i =1 {x(l), xe id, ie A}, A c {l,2, .,n}. Lc b nhn c t lc a qua phộp dch chuyn theo thuc tớnh X : b = a \ X. ú nu id = {x} thỡ lc a suy bin thnh lc quan h v phộp dch chuyn theo thuc tớnh X trng hp ny li tr thnh phộp dch chuyn theo thuc tớnh X t lc quan h a v lc quan h b mụ hỡnh quan h. N h n x ộ t : Cho hai lc a = (U, F), b = (V,G), X i d ) ,x= =1 {x(i), xe id, ie A}, A = {l,2, .,n}. Khi ú nu lc b nhn c t lc a qua phộp dch chuyn theo thuc tớnh X ngha l b = a \ X thỡ: V = u\X, Gh =Fh\X = U*to\X T ú t a c ú : Ghx = (Fhx \ X n u x ( i ) ) , V x e id . i=l Nh vy vic dch chuyn trờn trng hp ny l vic dch chuyn trờn cỏc lỏt ct, m mi lỏt ct thỡ vic dch chuyn ny l dch chuyn lc quan h mụ hỡnh d liu quan h. 2.6.2. Thut toỏn dch chuyn lc khi8]; Thut toỏn 1: Algortth Dch chuyenl; Input : Lc a = (, F), X cJz'ớ/(0, x= {x(i), xe id, ie A}, A = i1 {1,2,. Output: b = a \ X = (V, G), V = R \ X, G = F \x. Method: V:= R \ X ; G:= 0; For each L * R in F G:= G u (L \x > R \ X); endfor; G:= R u t g o n (G); Return (V,G); End Dichchuyenl. Th tc Rut gon(G) s ua G v dng rỳt gn t nhiờn ngha l loi b cỏc ph thuc hm tm thng, a cỏc PTH v dng cú v trỏi v v phi di nhau, gp cỏc PTH cú cựng v trỏi. Trong trng hp PTH F cú dng F h thỡ vic dch chuyn lc li chớnh l dch chuyn lc ca cỏc lỏt ct ú. Thut toỏn 2: Algoritth Dch_chuyen2; Input : Lc a = (U, Fh), X C0/7(O, x= {x(i), xe id, ie A}, A = i=l Output :b = a\X = (V, G), V = R \ X , G = Fh\X. Method: V: = R \ X ; G:= 0; For each X in id For each L > R in Fh G:= G u ( L \ X - > R \ X); endfor; endfor; G:= Rut gon (G); Retum (V,G); End Dich_chuyen2; 2.6.3. Biu din bao úng lc khi: M n h . : Cho lc a = (U, Fh), R = (id, Al, A2, .,An), X,Y C J'ớ/(i), x= {x(i), xe id, ie A}, Y= {x(i), xe id, ie B}; A,B = {l,2, .,n} A n i=l B = . Khi ú : (XY)+Fh=X(Y)+Fh\x n . (XY) + m = X ( U (Y n U x x+ Y m X > X + = > X ( t n h cht bc cu) Ngc li ta chng minh : Y+c= X+=> X > Tht vy: V xđeY ta cú X >x(i) vỡ X > Y =>v x(i)eX+ , theo nh ngha bao úng suy :V x(l)e Y ta chng minh c x(l)eX+ => Y ^ x+ X+ = Y+ô X > Y v Y -> X Ta cú : Y -ằ x+ (6), theo gi thit x+ = Y+=> X -> Y+ v Y+->Y Suyra:X-> Y .(8) Li cú :Y m theo gi thit thỡ x+ = Y '=>Yằx+ m x+>aX Suy : X x+ Chiu ngc li ta chng minh : X -ằ Y v Y -ằ x^>x = Y+ Ta cú : X -> Y (8) => Y+ ầ x+ (9)m Y -> X (gi thit) ^>x+ e Y^IO). Kt hp (9) v (10) ta suy : x+ = Y+. 3.2. Tớnh cht m rng ca bao úng mụ hỡnh d liu dng M n h . : Cho lc R = (id, Ab A2, . A), X,Y,Z ầ ( j i d ( i ) , X i=l {x(i), xe id, ie A}, Y= {xđ, xe id, ie B}, z= {x(i), xe id, ie C}; A,B,C = {l,2, .,n}; A n B = A n C = B n C = 0. Khi ú : (XYZ)+Fh=XY(Z)+Fh\xY . (XYZ)+Fh=X(YZ)+Fh\x Chng minh : (XYZ)+Fh = XY (Z)+Fh\ XY Theo gi thit t a c ú : A n B = A n C = B n C = = > ( A u B ) n C = t T = XY = { x(i), xe id, ie ( A u B ) } . Khi ú ỏp dng tớnh cht ca M n h . ta cú : (XYZ)+Fh = (TZ)+Fh = T(Z)+FhVr , thay T = XY ta c: (XYZ)+Fh = XY(Z)+ XY (pcm). . (XYZ)+Fh=X(YZ)Vx Theo gi thit t a c ú : A n B = A n C = B n C = = > ( B u C ) n A = t T = YZ = { x(i), xe id, ie (B u C)}. Khi ú ỏp dng tớnh cht ca M n h . ta cú : (XYZ) + Fh = X(T)+Fh = T(Z)+FhVr , thay T = YZ ta c: (XYZ)+Fh = (XT)+Fh = X(T)+ = X(T)+FMX = X(YZ)+Fhvx (pcm). Nhn xột: Nu = => z = 0, v kt qu ca mnh trờn li tr v kt qu ca Mnh 2.20 M n h . : Cho lc R = (id, Al, A2, .,An), X,Y,Z ỗ Ji d ) , X j=l {x(i), xe id, ie A}, Y= {xđ, xe id, ie B}, z= {x(i), xe id, ie C}; A,B,C = {l,2, .,n}; A n B AnC-BnC-0.Khiú : n (XYZ)+FhXY( (J (ZnUằ")*ô,!,). Theo gi thit ta cú: A n = n = n = 0. p dng kt qu ca M n h . ta cú : (XYZ)+Fh= XY( Z)+Fh\xY)- Da vo iu kin cn v ca bao úng lc ta cú: (Z)+Fh\xY= (Z n l>(i) )+Fh\(XY)x, m ta cú : (XY)x = XxYx nờn suy Theo gi thit ta cú: A n = n = n = 0. p dng kt qu ca Mnh 3.3 ta cú: (XYZ)+Fh = X(YZ)+Fh\x (1) Da vo iu kin cn v ca bao úng lc ta cú: (YZ) n M n h . : Cho lc a = (U, Fh), R = (id, Al, A2, . ,An), X,Y,Z ầ J'ớ/(i), x= {x(i), xe id, ie A}, Y= {x(i), xe id, ie B}, z= {x(i), xe id, ie C}; i=l A,B,C = {1,2, .,n}; AnB = AnC = BnC = 0. Khi ú ta cú : 3.3. Chng trỡnh Demo tớnh bao úng ca thuc tớnh ch s mụ hỡnh d liu dng khi. 3.3.1. Gèè thiu bi toỏn tỡm: Bi toỏn : u vo : Cho lc R=(id; Ab A2, ., An ),Vi mi X, Y ớ= u ỡ d ( i ) l i=l thuc tớnh ch s, Fh = {X Y I X = u*(,) , Y = u * ) , A, B Ê {1, 2, èG jeB ., n}, X E id} l cỏc ph thuc hm cho trc. + u : Tỡm bao úng ca thuc tớnh ch s X (kớ hiu x ) i vi ph thuc hm Fhx N g ụ n n g s d n g : Phn mm c vit bng ngụn ng Visual Studio 2012, trờn nn .NET Frame work 4.0 (l mt nn tng lp trỡnh v cng l mt nn tng thc thi ng dng ch yu trờn h iu hnh Microsoft Windows c phỏt trin bi Microsoft. ) 3.3.2. Cỏc thut toỏn s dng chng trỡnh : T h u t t o ỏ n t ỡ m b a o ú n g : (Tỡm bao úng lc lỏt ct ti Xx) Input: Tp thuc tớnh X, ph thuc hm F v lc R. Output: + x , bao úng X i vi F trờn R. BAODONGl(X,F,R) Begin tepcu : = 0; tepmoi := X; while tepmoi tepcu begin tepcu := tepmoi; for each w ằ z in F if tepmoi w then tepmoi := tepmoi u z ; end; retum(tepmoi); End. T h u t t o ỏ n t ỡ m b a o ú n g 2;(tỡm cỏc bao úng ca thuc tớnh ch s X da trờn bao úng ca cỏc thuc tớnh Xx = X n J x), sau ú l gp cỏc i=i kt qu li trờn tng lỏt ct li vi ta c kt qu cui cựng l bao úng ca + thuc tớnh ch s X l x = \ J x x ). xeid Input: thuc tớnh X, ph thuc hm Fh v lc R + - Output: x , bao úng ca X i vi Fh trờn R BAODONG2(X, Fh, R) Begin x+ := ; for each X e id begin Y = Xn1;Fhx = Fhn*[...]... về phụ thuộc hàm, bao đóng, khóa cùng YỚi các tính chất của chúng Ngoài ra các thuật toán tìm khoá, bao đóng và phép dịch chuyển lược đồ trong mô hình dữ liệu quan hệ cũng được trình bày trong chương này Mô hình dữ liệu quan hệ có tính độc lập dữ liệu cao, dễ dàng sử dụng và còn cho phép dễ dàng mô phỏng các hệ thống thông tin đa dạng trong thực tiễn Trong mô hình này, cơ sở dữ liệu được xem như là... thể được hình dung một cách trực quan như là một bảng chữ nhật gồm có các hàng và các cột Ở bảng này mỗi cột ứng với một thuộc tính, mỗi hàng được gọi là một bộ Do các quan hệ có cấu trúc phẳng (tuyến tính) nên mô hình này sẽ rất khó khăn khi biểu diễn các dữ liệu có tính chất động (phi tuyến) CHƯƠNG II : MÔ HÌNH DỮ LIỆU DẠNG KHỐI 2.1 2.1.1 Khốỉ, Khối, Lược đồ khối, Lát cắt [1,5,8]: Lược đồ khối : Đ... cắt của một khối nào đó thì khối tìm được không duy nhắt 2.2 Các phép toán Đại số quan hệ trên khổỉ.[8,10] Cho r là một khối trên R = (id; Ai, A 2, , An ) Cũng tương tự như đại số quan hệ trong mô hình dữ liệu quan hệ, ở đây các phép toán của đại số quan hệ lặp lại được áp dụng cho các khối như: phép hợp, phép giao, phép trừ, phép chiếu, phép chọn, phép kết nối, phép chia, phép nối dài Hai khối r và... lược đồ khối 2.2.1 Phép hợp Cho hai khối r và s khả hợp, khi đó hợp của r và s, kí hiệu là r s, là một khối gồm các phần tà thuộc khối r hoặc thuộc khối s đã cho Ta có: r^J s = { 11 tE r h o ặ c t E s } Ví dụ: madl madl DII ị ị DL1 ' 1 D ị 1 140 _ 1/2013 2/2013 ị ~+ DII /;DL1 DL1 i 1 1 140 1 ÌDL2 y' 1 1 Vò/ DL2 ! 1 ị 12 5 2 Hình 2 2.Phép họp trong khối [DL3_ _ 60 53 D 1/2 ^ 2.2.2 Phép giao Cho hai khối. .. giao của r và s là một khối, kí hiệu r H s , là một khối mà các phần tử của nó thuộc đồng thời cả hai khối r và s đã cho r^s={t|tErvàtEs} ma dl »I I ị ư 13 DL1 mad 1 DL1 1 D 5 14Ũ 2 ị 12 /pLl DL2 D r lỉ ll DLl ỉ 1 1 140 I1 1;'2 2:201 L 1: M s rUs Hình 2 3.Phép giao trong khối 2.2.3 Phép trừ Cho hai khối r và s khả hợp, khi đó hiệu của r và s là một khối, kí hiệu là r - s, là một khối mà các phần tà của... nhiên là nếu kích thước của LĐQH càng nhỏ thì các thuật toán càng phát huy hiệu quả hơn Một số hướng nghiên cứu tinh giản các các lược đồ cơ sở dữ liệu được thực hiện thông qua các phép biến đổi tương 2 đương, chẳng hạn đưa tập phụ thuộc hàm về dạng thu gọn hoặc thu gọn tự nhiên, dạng không dư, dạng tối ưu Trong p h é p d ị c h c h u y ể n l ư ợ c đ ồ q u a n h ệ , bản chất của kỹ thuật này là loại bỏ... TenMH MaMH LTP Lập trình pascal LTP CTDL và bảng s Câu trúc dữ liệu CTDL Tích đề - các của 2 bảng trên là r X s : MaSV MaMH Dỉem MaMH TenMH TIN001 LTP 6 LTP Lập trình Pascal TIN001 LTP 6 CTDL TIN002 CTDL 7 LTP Câu trúc dữ liệu 1 Lập trình Pascal TIN002 CTDL 7 CTDL Câu trúc dữ liệu TIN003 MANG 8 LTP Lập trình Pascal TIN003 MANG 8 CTDL Câu trúc dữ liệu Bảng 1.7 Biểu diễn quan hệ r X s 1.2.5 Phép chiếu[6]... K2 = ABE 1.7 Phép dịch chuyển lược đồ [2,3]: Quản lý các cơ sở dữ liệu lớn và phức tạp đòi hỏi nhiều thuật toán hữu hiệu để tính toán các đối tượng như bao đóng, khóa, phủ Một số thuật toán tốt theo nghĩa độ phức tạp tính toán giới hạn ở các hàm tuyến tính hoặc đa thức theo chiều dài dữ liệu vào đã được công bố như thuật toán tính bao đóng của tập thuộc tính, thuật toán tìm một khóa, thuật toán xác... -—L/2013 2/2 D r DI I Ị s Hình 2 4.Phép trừ trong khối r- Ta có mối quan hệ giữa phép giao và phép trừ: r^s = r- ( r - s ) 2.2.4 Tích đề các Cho lược đồ khối R = (id; Al, A2, , An), s = (id; вь Bm), ở đây { Ab A , , A n } 2 n{BbB , ,Bm} = 0 2 Khi đó tích Đề - Các của hai khối r(R) và s(S) là một khối, kí hiệu г X s, khối này có khung R X s = (id; Ab A2, , An,Bb Bm), mỗi phần tử thuộc khối này là một bộ... Y thì xz - YZ A3 ( bắc cầu ): Neu X -> Y và Y -> z thì X -í z 2 Trong đó ký hiệu xz là hợp của hai tập X và z thay cho ký hiệu X Ư z 1.5 Bao đóng trong lược đồ quan hệ : 1.5.1 Bao đóng của tập phụ thuộchàm[6,7]: Đ ị n h n g h ĩ a 1 2 : Cho tập phụ thuộc hàm F, bao đóng của tập phụ thuộc hàm F ký hiệu F+: là tập lớn nhất chứa các phụ thuộc hàm được suy diễn từ các phụ thuộc hàm F Vậy: F+ = {f I F |=f} . của bao đóng trong mô hình mô hình dữ liệu dạng khối. 4. Đổi tượng và phạm vỉ nghiên cứu - Đối tượng : Bao đóng trong mô hình dữ liệu dạng khối - Phạm vi: Các tính chất của bao đóng trong mô hình. nghiên cứu đã tìm hiểu sâu về bao đóng trong mô hình dữ liệu dạng khối và tính chất mở rộng của bao đóng trong mô hình dữ liệu dạng khối. 2. Mục đích nghiên cứu 7 Tìm hiểu khái quát về mô hình dữ. dữ liệu dạng khối sau đó đi sâu và nghiên cứu các tính chất mở rộng của bao đóng trong mô hình dữ liệu dạng khối. Trình bày và chứng minh các tính chất của bao đóng trong mô hình dữ liệu dạng