Ánh xạ đóng và phép dịch chuyển lược đồ khối

B GIO DC V O TO TRNG I HC s PHM H NI VIT DNG NH X ểNG V PHẫP DCH CHUYấN LC KHI Chuyờn ngnh: KHOA HC MY TNH Mó s: 60 48 01 01 LUN VN THC s MY TNH Ngũi hng dn khoa hc: PGS TS TRNH èNH THNG H NI, 2015 LI CM N T thõm tõm ca mỡnh tụi xin c by t lũng bit n chõn thnh n Ban Giỏm hiu, cỏc thy giỏo, cụ giỏo Trng i hc S phm H Ni 2, cỏc thy giỏo Vin Cụng ngh thụng tin - Vin Khoa hc cụng ngh Vit Nam ó ging dy v to mi iu kin tụi hc tp, tỡm hiu, nghiờn cu v hon thnh lun ny c bit, tụi xin by t lũng bit n sõu sc n PGS TS Trnh ỡnh Thng - ngi ó tn tỡnh hng dn khoa hc v giỳp tụi sut quỏ trỡnh hc tp, nghiờn cu v hon thnh lun ng thi tụi cng xin cm n gia ỡnh, bn bố, ng nghip v th lúp KHMT- KI ó nhit tỡnh giỳp v ng viờn tụi hon thnh lun Tỏc gi lun Vit Dng LI CAM OAN Tụi xin cam oan ni dung lun ny l ca t bn thõn tụi tỡm hiu, nghiờn cu di s hng dn khoa hc ca PGS.TS Trnh ỡnh Thng Cỏc ti liu tham kho c trớch dn v chỳ thớch y Nu khụng ỳng tụi xin hon ton chu trỏch nhim Tỏc gi lun Vit Dng MC LC LI CAM OAN LI CM N MC LC BNG Kí HIU CC CH VIT TT DANH MC CC BNG DANH MC CC HèNH y 2.2.2 2.2.3 2.2.4 BNG Kí HIU CC CH VIT TT 2.2.2 Ký hiu 2.2.3 í ngha 2.2.4 CSDL 2.2.5 C s d liu 2.2.6 LQH 2.2.7 Lc quan h 2.2.8 AX 2.2.9 nh x úng 2.2.10.PTH 2.2.11.Ph thuc hm 2.2.12.CNTT 2.2.13.Cụng ngh thụng tin 2.2.14.Dom(A) 2.2.15.Min giỏ tr thuc tớnh A 2.2.16.A, B 2.2.17.i din ch s thuc tớnh 2.2.18 2.2.5 DANH MC CC BNG 2.2.19.Bng 2.2.20 Tran 2.2.21.1.1 Cỏc b giỏ tr da trờn cỏc thuc tớnh ca quan h sinh viờn 2.2.23.1.2 Quan h sinh viờn 2.2.22.6 2.2.24.7 2.2.25.1.3 Biu din quan h r, s, r us 2.2.26.8 2.2.27.1.4 Biu din quan h r, s, r ns 2.2.28.8 2.2.29.1.5 Biu din phộp tr 2.2.30.9 2.2.31.1.6 Biu din Tớch -cỏc 2.2.32.9 2.2.33.1.7 Biu din phộp chiu 2.2.34.1 2.2.36.1 2.2.38.2 2.2.35.1.8 Biu din phộp chn 2.2.37.2.1 Biu din lỏt ct r(R20!3) 2.2.39 2.2.6 2.2.7 DANH MC CC HèNH 2.2.40.Hỡnh 2.2.42.Hỡnh 2.1 Biu din tuyn sinh TS(R) 2.2.44.Hỡnh 2.2 Biu din r 2.2.41 Trang 2.2.43.26 2.2.46.Hỡnh 2.3 Biu din s 2.2.45.28 2.2.47.29 2.2.48.Hỡnh 2.4 Biu din ru s 2.2.49.29 2.2.50.Hỡnh 2.5 Biu din r 2.2.51.30 2.2.52.Hỡnh 2.6 Biu din s 2.2.53.30 2.2.54.Hỡnh 2.7 Biu din ms 2.2.55.30 2.2.56.Hỡnh 2.8 Biu din r 2.2.57.31 2.2.58.Hỡnh 2.9 Biu din s 2.2.59.31 2.2.60.Hỡnh 2.10 Biu din r\s 2.2.61.32 2.2.62 2.2.8 M U Lý chn ố ti 2.2.9 Trong cụng tỏc qun lý vic la chn mụ hỡnh c s d liu no xõy dng phn mm ng dng l iu quan trng Cú mt s mụ hỡnh hay c s dng nhng ph bin nht l mụ hỡnh c s d liu quan h, mụ hỡnh ny E.Code xut nm 1970 Tuy nhiờn cu trỳc phng ca c s d liu quan h nờn mụ hỡnh ny cha ỏp ng i vi cỏc ng dng phc (c s d liu cú cu trỳc phi tuyn tớnh v ng) 2.2.10.Vớ d: Qun lý h s nhõn s (cỏn b) ca mt cụng ty 2.2.11.H s ban u trỡnh , mc lng tng cỏn b l c nh Sau thi gian lm vic mt s cỏn b c c i hc nõng cao trỡnh v trỡnh cú thay i Hoc theo nh k hay t xut cụng ty cỏn b no ú c tng lng Khi ú h s qun lý cỏn b cú s thay i nờn cụng vic mụ t, lu tr, x lý gp khụng ớt khú khn 2.2.12. gii quyt ny thỡ vic tỡm mụ hỡnh qun lý thớch hp l cn thit Thi gian gn õy cú mt s hng nghiờn cu, tỡm hiu ú cú mụ hỡnh c s d liu dng [1], [2], [3], [5] [10] Mụ hỡnh ny c phỏt trin da trờn mụ hỡnh c s d liu quan h ó cú mt s kt qu nghiờn cu v khúa, ph, bao úng mụ hỡnh c s d liu dng [4], [14], ph thuc d liu c s d liu dng [16], 2.2.13.Nhm tng bc hon thin hn cho mụ hỡnh d liu dng khi, c s hng dn, nh hng ca PGS.TS Trnh ỡnh Thng nờn em mnh dn la chn ti : nh x úng v phộp dch chuyn lc Mc ớch nghiờn cu 2.2.14.e ti trung vo nghiờn cu, tỡm hiu ỏnh x úng v phộp dch chuyn lc m c th l mt s tớnh cht v mi quan h ca ỏnh x úng trờn khi, tớnh cht ỏnh x úng, im bt ng ca ỏnh x úng qua phộp dch chuyn lc Nhim v nghin cu 2.2.15.Tỡm hiu mụ hỡnh c s d liu dng 2.2.16.Phỏt biu v chng minh mt s tớnh cht ca ỏnh x úng qua phộp dch chuyn lc khi, im bt ng ca ỏnh x úng, mi quan h ca im bt ng trờn lc v trờn lỏt ct i tng v phm vi nghin cu - i tng: Tớnh cht ca ỏnh x úng i vi phộp dch chuyn lc khi, mi quan h ca cỏc tớnh cht trờn khi, trờn lỏt ct - Phm vi nghiờn cu: Trong mụ hỡnh d liu dng khi, Nhng úng gúp mi ca ố ti 2.2.17.M rng tớnh cht ca ỏnh x úng, im bt ng v mi quan h im bt ng trờn lc v trờn lỏt ct 2.2.599 2.2.600 Input: Lc 2.2.601 Output: p = a\X = (V,G),V = R\X,G = F\x 2.2.602 Method: 2.2.603 V:= R\X; 2.2.604 G : = 0; 2.2.605 For each L ằR in F {,2, ,n} a = (R , F ), X c L) i d ) , X = {*(i), * R in F h 2.2.622 G :=GU(L\X ^ R\X); Endfor: 2.2.623 Endfor: 2.2.624 G:= Rutgon(G); 2.2.625 Retum(V,G); 2.2.626 End Dich_chuyen; 2.2.627 * Kt luõn 2.2.628.Chng ó trỡnh by mt s khỏi nim c bn v mụ hỡnh CSDL dng khi: Khỏi nim v khi, lỏt ct, lc khi, i s quan h trờn khi, ph thuc hm, bao úng, khúa ca lc bờn cnh ú cng mụ t phộp dch chuyn lc 2.2.629 2.2.630 CHNG MT S TNH CHT CA NH X ểNG QUA PHẫP DCH CHUYN LC KHI 2.2.631 Chng trỡnh by mt s tớnh cht ca ỏnh x úng qua phộp dch chuyn lc Mt s ni dung ca chng ny ó c trớch dn ti liu tham kho [11] Mt khỏc quỏ trỡnh tỡm hiu nghiờn cu thờm cỏc tớnh cht ca AX v lm sỏng t mi quan h ca AX trờn khi, trờn lỏt ct thỡ mt s tớnh cht mi ó c phỏt biu v chng minh Ni dung cỏc tớnh cht mi ny c th hin qua cỏc mnh 3.1, 3.3, 3.4, 3.5, 3.6 v 3.8 2.2.632 3.1 nh x úng v phộp dch chuyn lc nh ngha 3.1 [11] 2.2.633 Cho lc a = (R,F), R = (id; Ai, A2, , An ), F l + cỏc PTH trờn R Vi mi IC|Jd ) , bao úng ca X i vi F l: x = {x(i), X e id, i = l n I X -> x(i) e F+} 2.2.634 Ký hiu tt c cỏc ca hp id w l SubSet(\J id u y ) 2.2.636 SubSet(JW SubSet((J'fl?(ớ)) 2.2.683 ú vi vx G Subset({Jid V ) ) ta cú: 2.2.684 g(X) = MX, M ỗ (Jid ) Theo kt qu yớ d 3.1 ta cú g l AX Mt khỏc ta cú vxầ{Jid U ) , g(MX) = M(MX) = MMX = MX =>MX l im bt ng 2.2.685 2.2.687 i=l 2.2.686 Trng hp X = U = (J id w => g(U) = MU = U => 2.2.688 2.2.689 ca AX g ng ca g => ng ca g cú dng: i=l u l im bt u e Fix(g) T ú suy tt c cỏc im bt 2.2.690 Fix(g) = {(MX) I X ỗ (J id ) } Ta cú mnh sau: 2.2.691 2.2.692 Mnh 3.2 [11] Cho hai lc a=(R, FfJ, ò=(S, G h ), ò = a \ X; X,M Q{Jid ) , X nM = 0, X = |x(i), X G id, i A ), ỗ {7,2 ,ô}, 2.2.693 i=Ă 2.2.694 M = |x(i), X G id, i G B }, B ầ |7,2, ,ô} Khi ú: 1) (XM e Fx(a) v ch M G Fix(ò) 2) (XM n U x < i ) ) ^ Fix(a ) v ch (M n Ux M XM e Fix(a) =0, 2.2.700 (2) Gi s ((XM)n0*(i) eFix(a ) V è X H M = 0^x nM 2.2.701 2.2.702 yy, ỏp dng i=l X M e Fx(a )vi X = X 2.2.703 n (J x ) ,M = M n (Jx