Khoá luận tốt nghiệp khoá và các thuật toán tìm khoá trong mô hình dữ liệu dạng khối

TRNG AI HOC SPHAM H NễI KHOA CễNG NGH THễNG TIN BI TRM ANH KHểA V CC THUT TON TèM KHểA TRONG Mễ HèNH D LIấU DANG KHI KHểA LUN TT NGHIP I HC Chuyờn ngnh: S phm Tn hc H NI - 2016 TRNG I s PHM H NI HC KHOA CễNG NGH THNG TIN BI TRM ANH KHểA V CC THUT TON TèM KHểA TRONG Mễ HèNH D LIU DNG KHI KHểA LUN TểT NGHIP I HC Chuyờn ngnh: S phm Tin hc Ngũi hng dn khoa hc PGS.TS Trnh ỡnh Thng H NI - 2016 LI CM N Em xin by t lũng bit n sõu sc ti PGS TS Trnh ỡnh Thng ó tn tỡnh ch bo v giỳp em sut quỏ trỡnh nghiờn cu v thc hin khúa lun tt nghip Em xin gi li cm n n quý thy cụ khoa Cụng ngh thụng tin trng i hc s phm H Ni ó to iu kin, quan tõm, giỳp em thi gian hon thin ti õy l ln u tiờn lm quen vi cụng vic nghiờn cu, ni dung ca cun khúa lun ny khụng trỏnh nhng thiu sút Em rt mong nhn c s úng gúp quý bỏu ca cỏc thy giỏo, cụ giỏo v cỏc bn sinh viờn Sinh viờn thc hin Bựi Trõm Anh LI CAM OAN Tụi xin cam oan ti: Khúa v cỏc thut toỏn tỡm khúa mụ hỡnh d liu dng l kt qu m tụi ó trc tip nghiờn cu Trong quỏ trỡnh nghiờn cu tụi ó s dng ti liu ca mt s tỏc gi Tuy nhiờn ú ch l c s tụi rỳt c nhng cn tỡm hiu ti ca mỡnh õy l kt qu ca cỏ nhõn tụi, hon ton khụng trựng vi kt qu ca cỏc tỏc gi khỏc Nu sai tụi xin chu hon ton trỏch nhim Sinh viờn Bựi Trõm Anh DANH MC CC K HIU, CH CI VIT TT Trong khúa lun tt nghip ny dựng thng nht cỏc kớ hiu v cỏc ch cỏi vit tt sau: Kớ hiờu (ch cỏi) í ngha A, B, c Thuc tớnh X, Y, z Tp thuc tớnh Dom(A) Min giỏ tri ca thuc tớnh A r hoc r(R) Khi r trờn lc R x(i) = (x, Ai) Cỏc thuc tớnh ch s ca lc X e id, i =1 n c L => Cha G Thuc Khụng thuc Tn ti Khụng tn ti V Vi mi Rng n Phộp giao u Phộp hp DANH MC BNG BIU Bng 1.1 Biu din quan h r Bng 1.2: Bng c s d liu sinh viờn DANH MC HèNH V Hỡnh 2.1 Biu din nhõn viờn NV(R) 19 Hỡnh 3.1 Chng trỡnh tỡm khúa mụ hỡnh d liu dng 41 Hỡnh 3.2 Thụng tin chng trỡnh 42 Hỡnh 3.3 Hng dn s dng 42 MC LC LI CM N LI CAM OAN DANH MC CC K HIU, CH CI VIT TT DANH MC BNG BIấU DANH MC HèNH V M U CHNG I Mễ HèNH C S D LIU QUAN H 1.1 Cỏc khỏi nim c bn 1.1.1 Thuc tớnh v thuc tớnh 1.1.2 Quan h, lc quan h 1.1.3 Khúa ca quan h 1.2 Cỏc phộp toỏn i s ờn lc quan h 1.2.1 Phộp h p .7 1.2.2 Phộp giao .7 1.2.3 Phộp tr 1.2.4 Tớch -Cỏc 1.2.5 Phộp chiu 1.2.6 Phộp chn 1.2.7 Phộp kt ni .10 1.2.8 Phộp chia 11 1.3 Ph thuc hm 12 1.3.1.Cỏc quy tc suy din i vi cỏc ph thuc hm 13 1.3.2 H tiờn Amsong cho cỏc ph thuc hm 13 1.4 Bao úng ca lc quan h 13 1.4.1 Bao úng ca ph thuc hm 13 1.4.2 Bao úng ca thuc tớnh 13 1.5 Ph ca cỏc ph thuc hm 14 1.6 Khúa ca lc quan h 14 CHNG II Mễ HèNH D LIU DNG KHI 19 2.1 Khi, lc khi, lỏt ct 19 2.2 Cỏc phộp toỏn i s quan h trờn 21 2.2.1 Phộp h p 21 2.2.2 Phộp giao 22 2.2.3 Phộp tr 23 2.2.4 Tớch -Cỏc 23 2.2.5 Tớch -Cỏc theo ch s .24 2.2.6 Phộp chiu 24 2.2.7 Phộp chn 25 2.2.8 Phộp kt ni 25 2.2.9 Phộp chia 26 2.3 Ph thuc hm trờn 26 2.4 Bao úng mụ hỡnh d liu dng 27 2.4.1 Bao úng ca ph thuc hm .27 2.4.2 Bao úng ca ch s .28 2.5 Khúa ca 29 2.6 Phộp dch chuyn lc 30 CHNG III KHểA TRONG Mễ HèNH D L DNG KHI 34 3.1 Khúa ca lc R i vi ph thuc hm F trờn R 34 3.2 Thut toỏn tỡm khúa mụ hỡnh d liu dng 35 3.3 Giao din chng trỡnh 41 KT LUN .43 TI LIU THAM KHO 44 2.5 Khúa ca Khúa ca r ờn lc R = (id; Al, , , An) l mt = { x (il), x (i2), , ()}, ú x (ik) 0, x (ik) ầ id(ik), (k = l h), tha hai tớnh cht: a Vi bt kỡ hai phn t ti, e r u tn ti mt Xii G cho: tiik (() t2ik (Xđ) Núi mt cỏch khỏc, khụng tn ti hai phn t m: t i ik ( X đ ) = t 2ik ( X ô ) , V = l h b Vi bt kỡ K no, K = { x (ir), x (i2), (k=l h), v tn ti x (im) ầ x (im) vi m vi x (ik) ầ x (ik) {1 , , , h} u khụng cú tớnh chat a núi trờn Vớ du 2.6: T vớ d 2.1 trờn, ta xõy dng mi vi tờn CB(R) õy R c xỏc nh nh sau: R = (id; Ai, A2, A3; A4 ), ong ú: id = {1/2015,2/2015} v cỏc thuc tớnh l Ai = many (mó nhõn viờn), A2 = hoten (h tờn), A3 = luong (lng), A4 = td (trỡnh ) Khi ú CB cú dng: many NQ1 A t l - N01 X -X / N02 t2 N0 600 400 / CD 2000 Y Y- CD 800' DH ô 1/2015 Khúa ca CB(R) l {(many,l/2015) (manv,2/2015)} 29 Mnh 2.1 Cho lc R = (id; Al, A2, , An), r(R) l mt trờn R Khi ú vi X G id m ta cú {x(il), x(i2 ) mi y (E id, {y(il), y(i2 ) x(ik)} l khúa ca lỏt ct r(Rx) thỡ ta cng cú vi y(ih)} l khúa ca lỏt ct r(Rx) hay núi mt cỏch khỏc {Ail, Ai2 , ,Aik} l khúa ca quan h r(Ai, A2, , An) Mnh 2.2 Cho lc R = (id; Al, A2 , , An), r(R) l mt trờn R, id = {x} Khi ú r(R) tr thnh quan h r(Ab A2 , , An) v mi khúa = {Xu, X ú x (ik) ầ id(ik), (k = 1, 2, , h) ca r(R) li tr thnh khúa ca quan h r(Ai, A2 , , A) Mnh 2.3 Cho lc R = (id; A l, A2 , , An), r(R) l mt trờn R Khi ú vi X e id m ta cú {x(il), x(i2 ) mi y id, {y(il), y(i2 ) x(ik)} l khúa ca r(R) thỡ ta cng cú vi y(ih)} l khúa ca lỏt ct r(Ry) hay núi mt cỏch khỏc {Ail, Ai2 , , Aik l khúa ca quan h r(Ai, A2 , , An) Mnh 2.4 Cho lc R = (id; Al, A2, , An), r(R) l mt trờn R Khi ú nu vi X G id m ta cú {x(il), x(i2) , x(ik)} l khúa ca lỏt ct r(Rx) thỡ {id(il), id(i2 ), ,id(ik)} l khúa ca r(R) 2.6 Phộp dch chuyn lc [2] gim tớnh phc ca vic xỏc nh khúa cỏc c s d liu ln, phc trờn mụ hỡnh quan h thỡ dch chuyn lc quan h ó c xut bờn trờn Trong mụ hỡnh d liu dng thỡ vic xỏc nh khúa cng nờn khú khn hn, ú m phộp dch chuyn lc cng c xut õy, nh vic dch chuyn lc m nhiu trng hp tớnh khúa tr nờn n gin hn 30 nh ngha 2.4 n Cho hai lc a = (, F), b = (V,G), X ỗ U *(0 , X = {xđ, i e -1 A}, A Q { 1, 2, , n} Ta núi lc b nhn c t lc A qua phộp dch chuyn theo thuc tớnh X, nu sau loi b cỏc thuc tớnh X lc a thỡ ta thu c lc b Kớ hiu ca phộp dch chuyn lc a thnh lc b theo thuc tớnh X nh sau: b = a \ X Thao tỏc loi b lc a thnh b nh sau: Tớnh V = u \x , u = (id; Al, A2, , An), õy ta loi b cỏc thuc tớnh ca Ai (i G A) u Th tc ny cú phc l O(nk) vi l s phn t ca A n Vi mi ph thuc hm M >N F, vi M, N Ê id( ) to mt i=1 ph thuc hm mi M \x ằ N \x G Th tc ny kớ hiu l G = F \x v cú phc l O(mnk) vi m l s lng cỏc ph thuc hm ca F T õy ta thy phc ca phộp dch chuyn b = a\x = {U\F, F\X} l (mnk), vy nú l tuyn tớnh theo chiu di ca d liu vo Sau thc hin cỏc th tc G = F \x thỡ: Nu G cha cỏc ph thuc hm tm thng (dng XằY, X Y) thi loi chỳng G Nu G cha cỏc ph thuc hm trựng thỡ ta loi bt cỏc ph thuc hm ny Nhõn xột: Cho hai lc a = (, F), b = (V,G), X Q u ^ ( ) ằ X = {x(i) i G ớ'=l A}, A s {1, 2, , n} Lc b nhn c t lc a qua phộp dch chuyn theo thuc tớnh X : b = a\x Khi ú nu id = {x} thỡ lc 31 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 thuc tớnh X t lc quan h a v lc quan h b mụ hỡnh quan h Cho hai lc a = (U, F), b = (V,G), X c u id) X = {xđ,i e è=1 A } , A C { , 2, , n} Lc b nhn c t lc a qua phộp dch chuyn theo thuc tớnh X : b = a\x thỡ V = u \x , Gh= Fh\x = \ j K hxXX xeid T ú ta cú: Ghx= (Fhx\Xn u * (0 ) vi mi X id i=1 Nh vy vic dch chuyn 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 Thut toỏn dich chuyn lc khi: [2] Thut toỏn 1: Algorith Dich chuyenl; n Input: Lc a = (U, F), X Q u ^ () >X = {x(i) i A}, A ={1, 2, , n} (=1 Output: b = a\x = (V,G), V = R\x, G = F\x Method: V:= R\X; G = 0; For each L >R F G:=G u (L\x -R\X); endfor; G:=Rut_gon(G); Return (V,G); End Dich_chuyen 32 Th tc Rut gon(G) s a G v dng rỳt gn t nhiờn ngha l loi b cỏc ph thuc hm tm thng a cỏc ph thuc hm v dng cú v trỏi v v phi di nhau, gp cỏc ph thuc hm cú cựng v trỏi Trong trng hp ph thuc hm F cú dng Fh thỡ vic dch chuyn lc chớnh l vic dch chuyn lc ca cỏc lỏt ct ong ú Thut toỏn 2: Algorth Dich_chuyen2; [2] n Input: Lc a = (, Fh) X Q u ^ () è=1 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; 33 = {x(i) i e A}, A ={ 1, 2, , n} CHNG III KHểA TRONG Mễ HèNH D LIU DNG KHểI 3.1 Khúa ca lc R i vúi ph thuc hm F trờn R nh ngha 3.1 [2] Cho lc R = (id; Al, ,, An), F l cỏc ph thuc hm trờn n R, ầ U ^ () c gi l khúa ca lc R i vi F nu tha iu i=l kin: a) >x(i) F+, V X G id, i = 1 b) V K: thỡ K khụng cú tớnh cht a) Nu l khúa v K ầ K gi l siờu khúa ca lc R i vúi F Vớ d 3.1: qun lý nhõn viờn ca mt cụng ty ta xõy dng nhõn viờn (kớ hiu NV(R)) cú lc R = (id; Al, A2, A4 ), ú: id = {1/2015, 2/2015, ,12/2015} v cỏc thuc tớnh l Ai = manv (mó nhõn viờn), A2 = hoten (h tờn), A3 = luong (lng), A4 = td (trỡnh ) Ph thuc hm F = {Al ằ A A A ờn lỏt ct 1/2015, Al ằA A A trờn lỏt ct 2/2015, Al > A A A trờn lỏt ct 3/2015, Al > A2 A3A4 trờn lỏt ct 4/2015, Al ằ A A A ờn lỏt ct 5/2015, Al >A2 A3A4 trờn lỏt ct 6/2015, Ai >A2 A3A4 trờn lỏt ct 7/2015, Ai >A 2A3A4 trờn lỏt ct 8/2015, Ai *A2 A3 A4 trờn lỏt ct 9/2015, Al >A A3A4 trờn lỏt ct 10/2015, Al >A2 A3A4 trờn lỏt ct 11/2015, Al -> A2A 3A4 ờn lỏt ct 12/2015} => Khúa ca lc R i vi ph thuc hm F l: {(Ai, 1/1015) (Ai, 2/1015) (Ai, 3/1015) (Ai, 4/1015) (Ai, 5/1015) (Ai, 6/1015) (Ai, 7/1015) (Ai, 8/1015) (Ai, 9/1015) (Ai, 10/1015) (Ai, 11/1015) (Ai, 12/1015)} 34 Mnh 3.1 [2] Cho lc R = (id; Al, , , An), Fh, Fhx l cỏc ph thuc hm trờn R, Rx tng ng, K ầ }, X e id Khi ú nu l khúa ca R i vi è=1 n Fh thỡ V X e id, Kx = u * ( ] gi l khúa ca Rx i vi Fhx i=ỡ Chng minh: Gi s l khúa ca R i vi Fh Khi ú theo nh ngha khúa thỡ bao n úng K+ ca tha món: K+ = ^ ( ) v mi K ầ khụng cú tớnh cht ny !=1 Khi ú K n u * ( ) = u * ( ) theo kt qu ca mnh ta cú K+ n u * ( ) l bao úng ca Kx = u * (l) i=l i vi Fhx Nh vy Kx+ = L J x(} i- Mnh 3.2 [2] Cho lc R = (id; Al, 2, , An), Fh, Fhx l cỏc ph iuc hm trờn R, Rx tng ng, Q Fhx iỡ = ^() , X id Khi ú nu Kx l khúa ca Rx i vi =ỡ l khúa ca Ri vi Fh XÊd nh lý 3.1 [2] Cho lc R = (id; A l, ,, An) Fh, Fhx l cỏc ph thuc hm trờn R, Rx tng ng, ầ ^ ( ) , X e id Khi ú nu l khúa ca R i 1-1 n vi Fh v ch Kx = n U * l khúa ca Rx i vi Fhx=l 35 H qu: Cho lc R = (id; Al, , , An) Fh, Fhx l cỏc ph thuc hm trờn R, Rx tng ng Khi ú nu LJ x() , vi A ầ {1, 2, , n} l khúa ca Rx ớ'eA i vi Fhx thỡ u * (ớ) l khúa ca lc R i vi F ỡ eA 3.2 Thut toỏn tỡm khúa mụ hỡnh d liu dng [2] Input: Lc R = (id; Al, A2, , An), cỏc ph thuc hm F trờn R Output: l khúa ca R i vi F KHOA(R, F) Begin K:={x(i)l X G id, i {1, , n}}; For each X in id For each i in {1, , n} If - {x(i)} - then := - {x(i)}; Return (K); End Vớ d 3.2: Cho lc R = (id; , , , D, ) Trong ú: id = {1,2, 3}, F = {ẻAIB - ID, 1C - IE, 2A2B - 2D, 2C -> 2E, 3A3B - 3D, 3C 3E} Bc 0: t = 1A1B1C1D1E2A2B2C2D2E3A3B3C3D3E Bc 1: vi id = - Th loi 1A Ta thy - {1} -/> => Khụng tỡi loi 1A = 1A1B1C1D1E2A2B2C2D2E3A3B3C3D3E 36 - Th loi 1B K Ta thy K - {1B} K => Khụng th loi 1B K K = 1A1B1C1D1E2A2B2C2D2E3A3B3C3D3E - Th loi 1c K Ta thy K - {1C} ^ > K =$> Khụng th loi 1C K K = 1A1B1C1D1E2A2B2C2D2E3A3B3C3D3E - Th loi 1D K Ta thy K - {1D} -ằ K (vỡ 1A1B -> 1D) =$>Loi 1D K K := K - {1D} = 1A1B1C1E2A2B2C2D2E3A3B3C3D3E - Th loi 1E K Ta thy K - {1E} -> K (vỡ 1C > 1E) => Loi 1E K K := K - {1E} = 1A1B1C2A2B2C2D2E3A3B3C3D3E Bc 2: vi id = - Th loi 2A K Ta thy K - {2A} > K => Khụng i loi 2A K K = 1A1B1C2A2B2C2D2E3A3B3C3D3E - Th loi 2B K Ta thy K - {2B} K => Khụng th loi 2B K K = 1A1B1C2A2B2C2D2E3A3B3C3D3E - Th loi 2C K Ta thy K - {2C} K => Khụng th loi 2C K K = 1A1B1C2A2B2C2D2E3A3B3C3D3E 37 - Th loi 2D K Ta thy K - {2D} -> K (vỡ 2A2B 2D) => Loi 2D K K := K - {2D} = 1A1B1C2A2B2C2E3A3B3C3D3E - Th loi 2E K Ta thy K - {2E} -ằ K (vỡ 2C -> 2E) => Loi 2E K K := K - {2E} = 1A1B1C2A2B2C3A3B3C3D3E Bc 3: vi id = - Th loi 3A K Ta thy K - {3A} K => Khụng th loi 3A K K = 1A1B1C2A2B2C3A3B3C3D3E - Th loi 3B K Ta thy K - {3B} K =^> Khụng th loi 3B K K = 1A1B1C2A2B2C3A3B3C3D3E - Th loi 3C K Ta thy K - {3C} K =s> Khụng th loi 3C K K = 1A1B1C2A2B2C3A3B3C3D3E - Th loi 3D K Ta thy K - {3D} -ằ K (vỡ 3A3B -ằ 3D) => Loi 3D K K := K - {3D} = 1A1B1C2A2B2C3A3B3C3E - Th loi 3E K Ta thy K - {3E} -ằ K (vỡ 3C -> 3E) => Loi 3E K K := K - {3E} = 1A1B1C2A2B2C3A3B3C Vy khúa ca lc R l K = 1A1B1C2A2B2C3A3B3C Vớ d 3.3: Cho lc R = (id; A, B, c , D) Trong ú: id = {1,2} F = {1A 1B, 1B > 1C, 2B 2D, 2C -> 2A} Bc 0: t K = 1A1B1C1D2A2B2C2D Bc 1: vi id = - Th loi 1A K Ta thy K - {1A} K => Khụng th loi 1A K K = 1A1B1C1D2A2B2C2D - Th loi 1B K Ta thy K - {1B} -> K (vỡ 1A -> 1B) => Loi 1B K K := K - {1B} = 1A1C1D2A2B2C2D - Th loi 1c K Ta thy K - {1C} -> K (vỡ 1B -> 1C) => Loi 1C K K := K - {1C} = 1A1D2A2B2C2D - Th loi 1D K Ta t h y K - { l D } ^ > K => Khụng th loi 1D K K = 1A1D2A2B2C2D Bc 2: vúi id = - Th loi 2A K Ta thy K - {2A} -> K (vỡ 2C -> 2A) => Loi 2A K K := K - {2A} = 1A1D2B2C2D 39 - Th loi 2B K Ta thy K - {2B} K => Khụng th loi 2B K K = 1A1D2B2C2D - Th loi 2C K Ta thy K - {2C} K =s> Khụng th loi 2C K K = 1A1D2B2C2D - Th loi 2D K Ta thy K - {2D} -> K (vỡ 2B >2D) => Loi 2D K K : = K - { D } = 1A1D2B2C Vy khúa ca lc R l K = 1A1D2B2C Mnh 3.3 [2] Cho lc a = (R, Fh), R = (id; Ai, A2, , A); X , K c ,X i=1 = {x(i), X G id, i G B}; A, B c {1 , 2, ,n}, p = (S,G), = a \x Khi ú: a) Nu K l khúa ca a thỡ K \x l khúa ca /? b) Nu K l khúa ca a tỡiỡ Kx\Xx l khúa ca 3X = (Sx, Gx), X id, õy Kx = {x(i), i e B}, Xx = {x(i), i A} 40 3.3 Giao din chng trỡnh Hỡnh 3.1 Chng trỡnh tỡm khúa mụ hỡnh d liu dng Q md T h n g t in c h n g tr ỡn h TRNG I HC S PH M H NI KHO A CễNG NGH THễNG TIN N IE M tú T tõ l CHNG TRèNH TèM KHể A TRONG Mễ HNH D LIU D NG KHểI Ninh viờn thc hin: Bựi Trõm Anli J Hỡnh 3.2 Thụng tin chng trỡnh 41 1(0 HNGDNSDNG I^ HNG DN Cch S ng phn mm Tỡm khúa mụ hỡnh dụ liu dng a chut vo lỹde khi, click chut phi ri thm lc Chn lc ri nhõp cc thuc tớnh ch s Kộo th cỏc thuc tớnh chi s bờn tõp thuc tớnh ch s va Q Thuc tớnh v tr v thuc tớnh v phai ri n Thờm ph thuc hm n tỡm khúa Hỡnh 3.3 Hng dn s dng 42 KT LUN Qua quỏ trỡnh nghiờn cu v cỏc mụ hỡnh c s d liu quan h v mụ hỡnh c s d liu dng ti ó gii quyt c yờu cu chớnh ca khúa lun tt nghip ó v t c kt qu nh sau: Tỡm hiu c v mụ hỡnh d liu dng khi, khúa v cỏc thut toỏn tỡm khúa mụ hỡnh d liu dng Xõy dng chng trỡnh Demo tỡm khúa mụ hỡnh d liu dng xut hng phỏt trin ca nghiờn cu Sau xõy dng Demo chng trỡnh Tỡm khoỏ mụ hỡnh d liu dng khi, ta cú th m rng chng trỡnh ny xõy dng chng trỡnh chun húa lc bng cỏch tỡm thut toỏn mi giỳp cho vic xõy dng c s d liu trờn nhanh hn, d dng hn 43 [...]... nghiên cứu này một mô hình dữ liệu mới đã được đề xuất, đó là mô hình dữ liệu dạng khối Để góp phần hoàn chỉnh thêm về mô hình dữ liệu dạng khối và việc sử dụng khóa trong mô hình dữ liệu dạng khối, em đã lựa chọn đề tài “Khóa và các thuật toán tìm khóa trong mô hình dữ liệu dạng k h ố r cho khóa luận tốt nghiệp của mình 2 Mục đích nghiên cứu Tìm hiểu khái quát về mô hình dữ liệu dạng khối, sau đó nghiên... và các thuật toán tìm khóa trong mô hình dữ liệu dạng khối Từ đó xây dựng chương trình Demo tìm khóa trong mô hình dữ liệu dạng khối nhằm tạo cơ sở để xây dựng hệ thống cơ sở dữ liệu dạng khối 3 Nhiệm vụ nghiên cứu Nghiên cứu lý thuyết về mô hình dữ liệu dạng khối, cụ thể về khóa và các thuật toán tìm khóa trong mô hình dữ liệu dạng khối 1 4 Đổi tượng và phạm vỉ nghiên cứu - Đối tượng nghiên cứu: mô. .. nghiên cứu - Đối tượng nghiên cứu: mô hình dữ liệu dạng khối và khóa trong mô hình dữ liệu dạng khối - Phạm vi nghiên cứu: Các thuật toán tìm khóa trong mô hình dữ liệu dạng khối 5 Ý nghĩa khoa học và thực tiễn của đề tài - Ý nghĩa khoa học: Mô hình dữ liệu dạng khối có thể xem là một mở rộng của mô hình dữ liệu quan hệ Mô hình dữ liệu dạng khối mở ra khả năng quản lý dữ liệu động, đáp ứng nhu cầu thực tế... cơ sở, những lý luận được nghiên cứu và kết quả đạt được qua những phương pháp trên 2 7 Cấu trúc khóa luận Ngoài phần mở đầu, kết luận và hướng phát triển, nội dung khóa luận gồm 3 phần: Chương I: Mô hình cơ sở dữ liệu quan hệ Chương II: Mô hình dữ liệu dạng khối Chương III: Khóa và các thuật toán tìm khóa trong mô hình dữ liệu dạng khối 3 CHƯƠNG I MÔ HÌNH C ơ SỞ DỮ LIỆU QUAN HỆ 1.1 Các khái niệm cơ... của chuyên gia về mô hình dữ liệu dạng khối và khóa trong mô hình dữ liệu dạng khối để có thể thiết kế chương trình phù hợp với yêu cầu thực tiễn - Phương pháp nghiên cứu lý luận: Nghiên cứu qua việc đọc sách báo và các tài liệu liên quan đến mô hình cơ sở dữ liệu quan hệ và mô hình dữ liệu dạng khối nhằm xây dựng cơ sở lý thuyết của đề tài và các biện pháp cần thiết để giải quyết các vấn đề của đề... người ta thường sử dụng các mô hình dữ liệu thích hợp Đã có rất nhiều mô hình được sử dụng trong các hệ thống cơ sở dữ 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 dữ liệu datalog và mô hình quan hệ Trong số đó thì mô hình quan hệ được quan tâm hơn cả Trong những năm gần đây, việc nghiên cứu mở rộng mô hình dữ liệu quan hệ đã được nhiều nhà khoa... tế cao Hiện nay, việc xây dựng chương trình tìm khóa ừong mô hình dữ liệu dạng khối nhanh, chính xác đang được các nhà quản trị cơ sở dữ liệu và các lập trình viên quan tâm và phát triển - Ý nghĩa thực tiễn: Chương trình tìm khóa ừong mô hình dữ liệu dạng khối xây dựng thành công sẽ giúp cho việc tìm khóa trong quá trình xây dựng cơ sở dữ liệu dạng khối trong thực tế 6 Phương pháp nghiên cứu - Phương... khóa K = K5 = AC 18 CHƯƠNG II MÔ HÌNH DỮ LIỆU DẠNG KHỐI 2.1 Khối, ỉược đồ khối, lát cắt[2] Khái niệm toán học làm nền tảng cho mô hình dữ liệu dạng khối là các khối hiểu theo nghĩa của lý thuyết tập họp Khối được định định nghĩa như sau: Định nghĩa 2.1 Gọi R = (id; Ai, A2 , , An) là một bộ hữu hạn các phần tử, trong đó id là tập chỉ số hữu hạn khác rỗng Ai (i = 1 n) là các thuộc tính Mỗi thuộc tính... và ngày càng trở nên quan trọng trong xã hội ngày nay Cơ sở dữ liệu là một trong những lĩnh vực nghiên cứu đóng vai trò nền tảng trong sự phát triển của công nghệ thông tin Cơ sở dữ liệu giải quyết các bài toán quản lý, tìm kiếm thông tin trong hệ thống lớn, đa dạng phức tạp cho nhiều người sử dụng trên máy tính Để có thể xây dựng một hệ thống cơ sở dữ liệu tốt người ta thường sử dụng các mô hình dữ. .. khối [2] Cho г là một khối ừên R = (id; Al , Аг,~, 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ệ được áp dụng cho các khối như: phép giao, phép trừ, phép chiếu, phép chọn, phép kết nối, phép chia Hai khối г và s được gọi là khả hợp nếu chúng có cùng lược đồ khối 2.2.1 Phép hợp [2] Cho hai khối r và s khả hợp Khi đó họp của r và s là một khối,