MỞ ĐẦU Cơ sở dữ liệu là tài nguyên thông tin dùng chung cho nhiều người cùng sử dụng. Bất kỳ người sử dụng nào trên mạng máy tính, tại các thiết bị đầu cuối về nguyên tắc có quyền truy nhập, khai thác toàn bộ hay một phần dữ liệu theo chế độ trực tuyến hay tương tác mà không phụ thuộc vào vị trí địa lý của người sử dụng với các tài nguyên đó. Do đó, CSDL là một thành phần không thể thiếu trong quá trình phát triển các hệ thống thông tin. Tuy nhiên, Trong thời đại ngày nay nhiều lĩnh vực trong thế giới thực cần thông tin về quá khứ, hiện tại và tương lai, như: quản lý học sinh, tài chính (chứng từ, tiền gửi ngân hàng), y tế (theo dõi sức khỏe bệnh nhân), quản lý nhân sự, lập thời gian biểu (quản lý việc đặt chỗ trước trong ngành hàng không, ga tàu và khách sạn), khoa học (dự báo thời tiết, kết quả đo đạt),… Ngoài ra, người sử dụng còn yêu cầu việc truy cập thông tin có yếu tố thời gian không những phải cho kết quả nhanh chóng mà còn phải chính xác, đầy đủ. Như vậy nếu CSDL không gán nhãn thời gian thì việc truy xuất vào cơ sở dữ liệu đó gặp không ít khó khăn. Vì thế, để thuận tiện cho việc tìm kiếm, thống kê, truy xuất thông tin . . . thì việc gán nhãn thời gian cho CSDL là một phần không thể thiếu. Vì thế tôi đã lựa chọn đề tài: “Nghiên cứu một số phương pháp gán nhãn thời gian trên cơ sở dữ liệu”. Nội dung chính của luận văn là giới thiệu về cơ sở dữ liệu gán nhãn thời gian và một số phương pháp gán nhãn thời gian hợp và thời gian giao tác. Trong thời gian tìm hiểu và nghiên cứu đề tài, em đã đạt được những kết quả bước đầu về cơ sở dữ liệu gán nhãn thời gian, làm cơ sở để hoàn thành cuốn luận văn này Tổ chức luận văn gồm có phần mở đầu, ba chương nội dung, phần kết luận và tài liệu tham khảo.
B GIO DC V O TO I HC HU TRNG I HC KHOA HC HUNH THANH HI Nghiên cứu số ph-ơng pháp gán nhãn thời gian sở liệu CHUYấN NGNH: KHOA HC MY TNH M S: 60.48.01.01 LUN VN THC S KHOA HC MY TNH Hu, 2015 MC LC Li cam oan Li cm n Mc lc Danh mc cỏc t vit tt Danh mc bng Danh mc hỡnh v M U Chng KHI QUT V C S D LIU THI GIAN 1.1 Gii thiu 1.2 Cỏc loi thi gian 1.2.1 Thi gian hp l (VT) 1.2.2 Thi gian giao tỏc (TT): 1.3 Cỏc k thut gỏn nhón thi gian 1.3.1K thut ghi nhn thụng tin thi gian liờn quan n mi b d liu: 1.3.2 K thut ghi nhn thụng tin thi gian liờn quan n mi thuc tớnh tng b d liu 1.4 Phn mm gỏn nhón thi gian trờn c s d liu 11 1.5 Tiu kt chng 14 Chng GN NHN THI GIAN GIAO TC TRấN C S D LIU 16 2.1 Gii thiu 16 2.2 Tỡm kim mt giỏ tr nhón thi gian giao tỏc 16 2.3 Liờn kt nh danh cỏc giao tỏc vi cỏc b d liu 20 2.3.1 Lu tr nh danh cỏc giao tỏc trc tip cỏc b d liu 20 2.3.2 Lu tr nh danh cỏc giao tỏc mt cỏch riờng l b d liu 21 2.4 Biu din Until Changed ( uc) 22 2.5 Cỏc phng phỏp gỏn nhón thi gian giao tỏc 24 2.5.1 Gỏn nhón thi gian giao tỏc cho giao tỏc chốn 24 2.5.2 Gỏn nhón thi gian giao tỏc cho giao tỏc cp nht 26 2.5.3 Gỏn nhón thi gian giao tỏc cho giao tỏc xúa 27 2.6 Tiu kt chng 28 Chng GN NHN THI GIAN HP L TRấN C S D LIU 29 3.1 Gii thiu 29 3.2 X lý cỏc giỏ tr Now 29 3.3 X lý cỏc giỏ tr Current_Date 35 3.3.1 Current_Date s sa i 36 3.3.2 Current_Date truy 39 3.3.3 Nhn xột 41 3.4 X lý cỏc giỏ tr Nobind Now 42 3.5 Gỏn nhón thi gian cho cỏc bng d liu theo hai loi thi gian 42 3.5.1 Thao tỏc cp nht 43 3.5.2 Thao tỏc xúa 46 3.5.3 Thao tỏc chốn 47 3.6 ng dng c th cho bi toỏn cú gỏn nhón thi gian trờn c s d liu 47 3.6.1 Mụ hỡnh CSDL cú yu t thi gian mc khỏi nim 49 3.6.2 Mụ hỡnh quan h cú yu t thi gian mc logic 51 3.6.3 Mụ hỡnh quan h cú yu t thi gian mc vt lý 53 3.6.4 Xõy dng CSDL qun lý hi tho khoa hc cú yu t thi gian 55 3.7 Tiu kt chng 68 KT LUN V HNG PHT TRIN 59 Kt lun 59 Hng phỏt trin ti 59 TI LIU THAM KHO 60 DANH MC CC T VIT TT T vit tt Din gii BTC Ban t chc CSDL C s d liu DBMS Data Base Management System DL D liu ET End Time ST Start Time UC Until Changed TET Transaction End Time TST Transaction Start Time TT Transaction Time VET Valid End Time VST Valid Start Time DANH MC CC BNG Tờn bng S hiu Trang bng 1.1 CSDL phi thi gian ca hai quan h 1.2 CSDL thi gian hp l 1.3 CSDL thi gian giao tỏc 1.4 CSDL theo hai loi thi gian 2.1 CSDL thi gian giao tỏc 17 2.2 B d liu quan h theo thi gian giao tỏc NV_TT 17 2.3 B d liu quan h theo thi gian giao tỏc NV_TT 22 2.4 B d liu quan h NV_TT sau thc hin cp 23 nht 2.5 B d liu quan h NV_TT 25 2.6 B d liu quan h NV_TT sau thc hin chốn 25 2.7 Bng kt qu cp nht lng cho nhõn viờn An 27 3.1 CSDL thi gian hp l 30 3.2 B d liu ca quan h NV_TT 30 3.3 B d liu ca nhõn viờn An quan h thi gian 31 hp l NV_TT 3.4 B d liu ca nhõn viờn Hựng sau thc hin giao 33 tỏc T1 v T2 3.5 Nhón thi gian NV_TT trc thi im 1998/02/19 38 3.6 CSDL phi thi gian ca quan h nhõn viờn 42 3.7 CSDL theo loi thi gian ca quan h nhõn viờn 43 3.8 Cỏc b quan h theo hai loi thi gian NV_BT 43 3.9 B d liu ca nhõn viờn An quan h NV_BT 44 3.10 B d liu ca nhõn viờn An quan h NV_BT sau 45 cp nht lng 3.11 B d liu ca nhõn viờn Long quan h NV_B 46 3.12 B d liu ca nhõn viờn Long quan h VT_BT 46 sau thc hin giao tỏc xúa 3.13 B d liu ca nhõn viờn Hựng quan h VT_BT 47 sau thc hin giao tỏc chốn 3.1 Bng c t thuc tớnh 56 DANH MC CC HèNH V Tờn hỡnh v S hiu Trang hỡnh v 3.1 Giao tỏc T1 v T2 32 3.2 S dng thi gian Commit cho Now 35 3.3 S thc hin giao tỏc T1, T2 v T3 37 3.4 Current_Date truy 40 3.5 Phng thc thit k CSDL cú yu t thi gian 48 3.6 Lc mc khỏi nim 50 3.7 Mụ hỡnh E- R 55 3.8 Mụ hỡnh quan h 57 3.9 Mụ hỡnh Time E R 57 3.10 Mụ hỡnh CSDLquan h cú yu t thi gian 58 M U C s d liu l ti nguyờn thụng tin dựng chung cho nhiu ngi cựng s dng Bt k ngi s dng no trờn mng mỏy tớnh, ti cỏc thit b u cui v nguyờn tc cú quyn truy nhp, khai thỏc ton b hay mt phn d liu theo ch trc tuyn hay tng tỏc m khụng ph thuc vo v trớ a lý ca ngi s dng vi cỏc ti nguyờn ú Do ú, CSDL l mt thnh phn khụng th thiu quỏ trỡnh phỏt trin cỏc h thng thụng tin Tuy nhiờn, Trong thi i ngy nhiu lnh vc th gii thc cn thụng tin v quỏ kh, hin ti v tng lai, nh: qun lý hc sinh, ti chớnh (chng t, tin gi ngõn hng), y t (theo dừi sc khe bnh nhõn), qun lý nhõn s, lp thi gian biu (qun lý vic t ch trc ngnh hng khụng, ga tu v khỏch sn), khoa hc (d bỏo thi tit, kt qu o t), Ngoi ra, ngi s dng cũn yờu cu vic truy cp thụng tin cú yu t thi gian khụng nhng phi cho kt qu nhanh chúng m cũn phi chớnh xỏc, y Nh vy nu CSDL khụng gỏn nhón thi gian thỡ vic truy xut vo c s d liu ú gp khụng ớt khú khn Vỡ th, thun tin cho vic tỡm kim, thng kờ, truy xut thụng tin thỡ vic gỏn nhón thi gian cho CSDL l mt phn khụng th thiu Vỡ th tụi ó la chn ti: Nghiờn cu mt s phng phỏp gỏn nhón thi gian trờn c s d liu Ni dung chớnh ca lun l gii thiu v c s d liu gỏn nhón thi gian v mt s phng phỏp gỏn nhón thi gian hp v thi gian giao tỏc Trong thi gian tỡm hiu v nghiờn cu ti, em ó t c nhng kt qu bc u v c s d liu gỏn nhón thi gian, lm c s hon thnh cun lun ny T chc lun gm cú phn m u, ba chng ni dung, phn kt lun v ti liu tham kho Chng 1: Khỏi quỏt c s d liu thi gian - Khỏi quỏt v CSDL cú yu t thi gian - Cỏc loi thi gian CSDL - K thut gn kt thi gian vo CSDL - Phn mm gỏn nhón thi gian trờn CSDL Chng 2: Gỏn nhón thi gian giao tỏc trờn c s d liu - Tỡm kim mt giỏ tr nhón thi gian giao tỏc - Liờn kt nh danh cỏc giao tỏc vi cỏc b d liu - Biu din giỏ tr until changed (UC) - Cỏc phng phỏp gỏn nhón thi gian giao tỏc Chng 3: Gỏn nhón thi gian hp l trờn c s d liu - X lý cỏc giỏ tr Now - X lý cỏc giỏ tr Current_Date - X lý cỏc giỏ tr Nobind Now - Gỏn nhón thi gian cho cỏc bng d liu theo hai loi thi gian - ng dng c th cho bi toỏn cú gỏn nhón thi gian trờn c s d liu Ni dung ca lun mi ch l nhng c s ca c s d liu cú gỏn nhón thi gian, nhng sõu hn mong rng s c trỡnh by thi gian gn nht Chng KHI QUT V C S D LIU THI GIAN 1.1 Gii thiu C s d liu (CSDL) l mt hp d liu tỏc nghip, bao gm cỏc loi d liu õm thanh, ting núi, ch vit, bn, ho, hỡnh nh tnh hay hỡnh nh ng c t chc v lu tr theo cu trỳc cht ch nhm phc v cho nhiu i tng vi nhiu mc ớch khỏc Vỡ vy, CSDL l ti nguyờn thụng tin dựng chung cho nhiu ngi cựng s dng Bt k ngi s dng no trờn mng mỏy tớnh, ti cỏc thit b u cui, v nguyờn tc cú quyn truy nhp khai thỏc ton b hay mt phn d liu theo ch trc tuyn hay tng tỏc m khụng ph thuc vo v trớ a lý ca ngi s dng vi cỏc ti nguyờn ú Do ú, CSDL l mt thnh phn khụng th thiu quỏ trỡnh phỏt trin cỏc h thng thụng tin Tuy nhiờn, Trong thi i ngy nhiu lnh vc th gii thc cn thụng tin v quỏ kh, hin ti v tng lai, nh: qun lý hc sinh, ti chớnh (chng t, tin gi ngõn hng), y t (theo dừi sc khe bnh nhõn), qun lý nhõn s, lp thi gian biu (qun lý vic t ch trc ngnh hng khụng, ga tu v khỏch sn), khoa hc (d bỏo thi tit, kt qu o t), Ngoi ra, ngi s dng cũn yờu cu vic truy cp thụng tin cú yu t thi gian khụng nhng phi cho kt qu nhanh chúng m cũn phi chớnh xỏc, y Nh vy nu CSDL khụng gỏn nhón thi gian thỡ vic truy xut vo c s d liu ú gp khụng ớt khú khn Vỡ th, thun tin cho vic tỡm kim, thng kờ, truy xut thụng tin thỡ vic gỏn nhón thi gian cho CSDL l mt phn khụng th thiu 47 3.5.3 Thao tỏc chốn i vi thao tỏc chốn, ta s to bng d liu u tiờn vi giỏ tr thi gian bt u hp l VST l thi gian thụng tin ú cú hiu lc, giỏ tr thi gian kt thỳc hp l VET l Nobind now, giỏ tr bt u giao tỏc TST l thi gian bt u thc hin giao tỏc chốn v cui cựng giỏ tr ca TET l uc Bng d liu ny l bng d liu hin thi Bõy gi ta tin hnh chốn nhõn viờn mi cú tờn l Hựng vo thi im 1998/07/28,09:25:37 vi thi gian cú hiu lc l ngy 1998/08/01 Quỏ trỡnh chốn ny s din nh sau: - To bng v6 u tiờn cho nhõn viờn Hựng NV_BT - t cỏc giỏ tr thi gian nh sau: + v6.VST l 1998/08/01 + v6.VET l Nobind now + v6.TST l 1998/07/28,09:25:37 + v6.TET l uc Kt qu ca thao tỏc chốn nh sau: Bng 3.13 B d liu ca nhõn viờn Hựng quan h VT_BT sau thc hin giao tỏc chốn TấN MANV LUONG MAPB V6 Hựng 104 38000 VST VET 1998/08/01 Nobind now TST TET 1998/07/28, uc 09:25:37 3.6 ng dng c th cho bi toỏn cú gỏn nhón thi gian trờn c s d liu h tr cho vic qun lý tt d liu cú yu t thi gian thỡ ta phi m rng cỏc cu trỳc CSDL cỏc mụ hỡnh CSDL cú yu t thi gian Cụng vic phc nht thit k CSDL cú yu t thi gian ú l vic a thi gian vo 48 mụ hỡnh CSDL vỡ s phc ca d liu cú yu t thi gian.Vỡ th phn ny s trỡnh by cỏc thc thit k CSDL cú yu t thi gian cho mt bi toỏn t th nh th no? Tng t vi cỏc bc thit k CSDL thụng thng, vic thit k CSDL cú yu t thi gian cng c tin hnh theo tng mc nh vy, c th chỳng ta xem hỡnh 3.5 Cỏc yờu cu thc t v CSDL Thit k CSDL cú yu t thi gian mc khỏi nim Lc mc khỏi nim Thit k CSDL cú yu t thi gian mc logic Lc mc logic Thit k CSDL cú yu t thi gian mc vt lý Lc mc vt lý Mó húa v ci t CSDL cú yu t thi gian vi cỏc ngụn ng Hỡnh 3.5 Phng thc thit k CSDL cú yu t thi gian Bõy gi, chỳng ta s tỡm hiu s lc v cỏc mụ hỡnh CSDL cú yu t thi gian tng mc 49 3.6.1 Mụ hỡnh CSDL cú yu t thi gian mc khỏi nim Lc CSDL mc khỏi nim ca mt h thng thụng tin l mt mụ hỡnh thụng tin c bn sut quỏ trỡnh thit k Lc ú l nhng ũi hi, nhng yờu cu ca ngi s dng i vi phm vi ca ng dng, v nú c chuyn thnh cỏc cu trỳc thụng tin túm tt Khi phỏt trin cỏc yờu cu ny thit k mc khỏi nim, yu t thi gian ó c a vo iu ny lm tng thờm tớnh phc ca mụ hỡnh khỏi nim, lm cho nú khú hiu v khú s dng lm gim bt cỏc tr ngi ny, chỳng ta chn phi mt hỡnh thc n gin no ú nhng phi ci thin c tin cy ca quỏ trỡnh phõn tớch V mụ hỡnh ny phi em li ba thun li: - Th nht, nhng ngi phỏt trin ng dng cho rng nú phi d s dng hn cỏc loi thi gian c a vo cỏc bn ghi thụng tin ca mụ hỡnh ng dng - Th hai, phi m bo cho khong cỏch gia mụ hỡnh mc khỏi nim v mụ hỡnh quan h ca nú hp hn, mt cht lng m c cỏc nh lp trỡnh ỏnh giỏ cao - Th ba, lc biu din mụ hỡnh cú th c chuyn i thnh cỏc cu trỳc n gin hn m khụng lm mt thụng tin chuyn i ú l nhng yờu cu ca mụ hỡnh mc khỏi nim m ngi thit k cn phi quan tõm Mụ hỡnh mc khỏi nim nh chỳng ta bit ú l mụ hỡnh thc th mi quan h gm cú ba cu trỳc chớnh, ú l cỏc thc th, cỏc thuc tớnh nguyờn t cú giỏ tr n v cỏc mi quan h Mi cu trỳc cú th l phi thi gian hay cú yu t thi gian Trong trng hp cỏc cu trỳc l phi thi gian, thỡ ch nhng trng thỏi hin thi l ỏng quan tõm Cũn trng hp cỏc cu trỳc l cú yu t thi gian, thỡ chỳng ta li quan tõm n vic lu gi cỏc trng thỏi quỏ kh, hin 50 ti v tng lai Trong phn ny, chỳng ta s trung vo cỏc trng thỏi quỏ kh v hin thi m thụi Cỏc loi yu t thi gian cú th l thi gian hp l (/v), thi gian giao tỏc (/t) hay c hai loi (/b) Mt cu trỳc l phi thi gian nu nú khụng c ỏnh du kốm theo vi mt th thi gian: /v, /t hay /b Mt thc th cú th cú mt nh danh chớnh (hay khúa chớnh) v mt vi khúa ph khỏc Mt mi quan h cú hai hoc nhiu nhỏnh, mi nhỏnh c to bi mt thc th Mt nhỏnh cú mt rng buc chớnh c xỏc nh bi hai s, cỏc giỏ tr chung thng s dng ú l 0-1, 1-1, 0-N DuAn/b NhanVien/v MANV Ten 1-1 LamViec/v 0-N TENDA PhongBan/b Luong/v iaChi/v id: TENDA id: MANV Hỡnh 3.6 Lc mc khỏi nim Nu mt thc th l cú yu t thi gian, thỡ vi mi thc th ó hay ang tn ti, lỳc nú i hay lỳc kt thỳc u cú th nhn bit c (õy chớnh l thi gian hp l), hay lỳc ghi li chỳng (trong CSDL) v lỳc xúa b chỳng cng cú th bit c (õy chớnh l thi gian giao tỏc) Cỏc thụng tin ny u l ngm n v khụng phi l b phn thuc tớnh ca thc th.Nu mt thuc tớnh l cú yu t thi gian, thỡ tt c cỏc giỏ tr ca thuc tớnh ú mt thc th cng cú th nhn bit c Nu mt mi quan h l cú yu t thi gian, thỡ lỳc bt u hay lỳc chm dt mi quan h ú u cú th nhn bit c 51 m bo n nh ca CSDL cú yu t thi gian, v cng gii hn phc ca nú v lm cho vic xõy dng mụ hỡnh logic v mc vt lý ca nú c d dng hn v hiu qu hn, thỡ mụ hỡnh ny phi gỏnh vỏc v x lý tt mt s rng buc ca cỏc lc Mt lc mc khỏi nim c gi l n nh nu: Cỏc thuc tớnh cú yu t thi gian ca mt thc th phi cú cựng th thi gian Th thi gian ca mt thc th phi ging vi th ca cỏc thuc tớnh cú yu t thi gian ca nú, khụng cú rng buc no nu nú khụng cú thuc tớnh cú yu t thi gian no Mi thc th cú yu t thi gian cú mt nh danh chớnh (hay khúa chớnh) bt buc, n nh v cỏc thuc tớnh khụng lp; khụng cú rng buc no trờn cỏc nh danh khỏc Tp thc th xut hin nhỏnh [i-1] ca mi quan h theo thi gian mt-nhiu R thỡ cú cựng th thi gian nh R; mi quan h mt-mt c rng buc nh mt-nhiu Tp thc th xut hin nhỏnh [0-N] ca mi quan h theo thi gian mt-nhiu R thỡ cú mt th thi gian thớch hp (khi c chuyn thnh khúa ngoi hp l) vi cỏc th ca R; mi quan h mt-mt c rng buc nh mt-nhiu Mt lc mc khỏi nim m gp tt c cỏc iu kin ny cú th c chuyn i thnh mt lc quan h thớch hp 3.6.2 Mụ hỡnh quan h cú yu t thi gian mc logic Mụ hỡnh ny thng l mụ hỡnh quan h, c chuyn t mụ hỡnh thc th mi quan h Xõy dng mụ hỡnh ny rt quan trng, cú th coi nú l mụ hỡnh ch yu xỏc nh cu trỳc v cỏc phộp toỏn trờn CSDL Chỳng ta cú th xõy 52 dng mụ hỡnh ny theo mt mụ hỡnh quan h cú yu t thi gian núi chung Tuy nhiờn, trờn thc t, cỏc bng cú c t mt lc mc khỏi nim hp lý cựng vi cỏc tớnh cht c th s lm n gin húa vic ci t v a mụ hỡnh quan h thớch hp Mụ hỡnh ny gm cú cỏc bng, cỏc ct, cỏc khúa chớnh, khúa ph v cỏc khúa ngoi Nhng cu trỳc ny cú th l cú yu t thi gian (ngoi tr khúa chớnh) hoc phi thi gian tng ng vi th thi gian ca cu trỳc ú mụ hỡnh mc khỏi nim Mt bng dựng mụ t cho mt thc th c gi l bng thc th, cũn bng chuyn t mt mi quan h nhiunhiu sang c gi l bng mi quan h Cu trỳc ca cỏc bng cú yu t thi gian cng nh thng l: Cỏc bng thi gian hp l cú thờm hai ct l VST v VET cho mi hng mụ t mt s kin (trng thỏi ca mt thc th hay ca mi quan h) hp l sut khong thi gian [VST, VET]; nhng ct mi ny cú th c cp nht mt cỏch rừ rng bi nhng ngi s dng Bt k bng thi gian giao tỏc no cng cú hai ct TST v TET, c xỏc nh l khong thi gian m s kin c ghi li CSDL; nhng ct ny khụng th c cp nht bi nhng ngi s dng Trong mt bng theo hai loi thi gian luụn cú bn ct ny Mt bng thc th gm cú ba loi ct ú l: th nht l ct nh danh ca thc th cú dng l khúa chớnh ca trng thỏi hin thi ca cỏc thc th, th hai l cỏc ct thi gian VST, VET, TST, TET v th ba l cỏc ct cũn, ú l cỏc ct thuc tớnh cú th cú hay khụng cú yu t thi gian Mt bng mi quan h cng cú cu trỳc tng t: nh danh ca mi quan h c to thnh t cỏc khúa chớnh ca cỏc thc th tham gia vo, cỏc ct thi gian v cỏc ct thuc tớnh 53 Cỏc bng thc th v bng mi quan h hp vi to thnh cỏc bng CSDL.Tuy nhiờn, cỏc bng khỏc cng cú th c xõy dng v c s dng bng cỏch suy dn t cỏc bng CSDL Nhng bng ny ũi hi phi c quan tõm c bit c s dng cựng vi cỏc bng CSDL Cỏc bng c s ca CSDL u nhn c t lc mc khỏi nim.V chỳng ta phi xỏc nh cỏc tớnh cht cho cỏc bng cú yu t thi gian m ch cú mt loi thi gian n gin, cỏc ct thi gian c gi chung l Start v End, vỡ c hai loi ú cú cựng tớnh cht ging Trong thi gian hp l, phi m bo khụng cú s thay i trng thỏi no ca thc th hay mi quan h xy cựng mt thi im.Tng t, khụng cú hai trng thỏi no ca cựng mt thc th hay mi quan h cú th c ghi li cựng thi im giao tỏc iu ny a tớnh cht u tiờn: vi bt k trng thỏi s no, s.Start< s.End Trong mt bng thc th cú yu t thi gian, cú th l thi gian hp l hay thi gian giao tỏc, nu cỏc dũng liờn quan n cựng mt thc th, thỡ vi mi dũng hay trng thỏi s1, dũng tip theo cú mt trng thỏi s2 cho s1.End = s2.Start õy l tớnh cht th hai, nh th ti mi thi im mt thc th ch thuc mt v ch mt trng thỏi Th ba, bt k hai trng thỏi (s1, s2) no m s1.End = s2.Start (ngha l hai trng thỏi liờn tip nhau) thỡ hai trng thỏi ú phi khỏc Trong mt bng quan h cú yu t thi gian, mt dũng cho bit rng cỏc thc th tham gia vo c ni vi sut khong thi gian [Start, End].Vi hai dũng r1 v r2 no c xỏc nh trờn cựng thc th, thỡ r1.End< r2.Start hay r2.End< r1.Start 3.6.3 Mụ hỡnh quan h cú yu t thi gian mc vt lý Lc mc vt lý mụ t cỏc cu trỳc d liu thc t c ci t Lc ny c suy ch yu t lc mc logic Khi c so sỏnh vi lc mc logic, lc mc vt lý cú cỏc tớnh cht h tr cho ci t nh sau 54 Mụ hỡnh mc logic biu din mi thc th hay mi quan h nh mt bng n vi mi dũng biu din mt trng thỏi ca mt thc th hay mt mi quan h mc vt lý, cỏc trng thỏi v cỏc dũng cú th c sp xp, chia v li thu c mt khụng gian tt hn, ci thin c vic ci t Mt bng theo hai loi thi gian mc vt lý bao gm cỏc trng thỏi hp l hin thi (TET = VET < ) v cỏc trng thỏi khụng hp l (TET < ) Vi loi thi gian ny, ngi thit k cú th a nhiu mu sp xp khỏc nhau, mi mu cú nhng th li v nhng tr ngi riờng: th nht xp tt c cỏc trng thỏi cựng mt bng, th hai l xp tt c cỏc trng thỏi cựng mt bng + mt bn cỏc trng thỏi hp l hin thi mt bng khỏc, th ba l xp cỏc trng thỏi hp l hin thi mt bng + tt c cỏc trng thỏi khỏc bng khỏc, th t l xp cỏc trng thỏi hp l mt bng + cỏc trng thỏi khụng hp l bng khỏc Cỏc bng vi ch mt loi thi gian cú th c t chc theo cỏch tng t Trong ú, mt bng mc logic bao gm tt c cỏc ct thuc tớnh ca thc th v mi quan h mt - nhiu (nh cỏc khúa ngoi), cỏc thuc tớnh ny l cú yu t thi gian hay phi thi gian Vic lu tr cỏc dũng mt bng n hay sp xp cỏc ct thnh cỏc bng ng nht theo thi gian cú l gim c nhiu d tha Ba mu sp xp c bit: tt c cỏc ct c xp mt bng n, cỏc ct phi thi gian to thnh mt bng v bng th hai dnh cho cỏc ct cú yu t thi gian, cỏc ct phi thi gian to thnh mt bng v mi ct cú yu t thi gian to thnh mt bng riờng Khi thit k CSDL mc vt lý, vic lp ch mc s ci thin thi gian truy cp cho cỏc phộp toỏn mt cỏch nhanh hn Mt vi phộp toỏn theo thi gian cú th c thc hin nhanh hn bng cỏch s dng cỏc cu trỳc b tr da vo ch mc Cho nờn thit k ngi thit k cn phi nm rừ cỏc bc thit k v cỏc u im ca mi mụ hỡnh tng mc cú th thit k mt CSDL hu ớch v d s dng 55 3.6.4 Xõy dng CSDL qun lý hi tho khoa hc cú yu t thi gian Ngi ta cn phi t chc mt c s d liu chun b cho mt hi tho khoa hc - Hi tho s c chia thnh cỏc tiu ban khỏc nhau, thụng tin v mi tiu ban bao gm: tờn tiu ban, tờn ngi iu khin v tờn th ký - Cỏc tỏc gi mun tham gia bỏo cỏo hi tho phi gi trc bn túm tt ca bỏo cỏo bao gm tờn v túm tt bỏo cỏo n mt ban t chc (BTC) Mt tỏc gi cú th gi nhiu bỏo cỏo n BTC v mi mt bỏo cỏo cú th l ca nhiu tỏc gi - Sau nhn c bn túm tt bỏo cỏo, BTC phi tin hnh b trớ cỏc bỏo cỏo vo cỏc tiu ban (mi mt bỏo cỏo ch c trỡnh by mt tiu ban nht nh) T nhng c t trờn, chỳng ta xõy dng mụ hỡnh E-R nh hỡnh 3.7 MaBC Mụ hỡnh E-R: MaTB (1,n) TIEU BAN TenTB TenBC (1,1) BAOCAO TRINHBAY TomTat (1,n) TenNDK TenTK GOI (1,n) TACGIA MaTG Hỡnh 3.7 Mụ hỡnh E-R TenTG 56 Bng c t thuc tớnh Bng 3.14 Bng c t thuc tớnh TấN GII TP THC TH THCH STT TIEUBAN THUC TNH Tờn thuc tớnh MaTB Mó tiu ban TenTB Tờn tiu ban Tiu ban TenNDK BAOCAO Bỏo cỏo khin Tờn th ký MaBC Mó bỏo cỏo TenBC Tờn bỏo cỏo MaTG TACGIA Tờn ngi iu TenTK TTBC Gii thớch Tỏc gi TenTG Túm tt bỏo cỏo Mó tỏc gi H v tờn tỏc gi Mi quan h: - (bc, tb) TRINHBAY: Bỏo cỏo bc c trỡnh by ti tiu ban tb - (bc,tg) GOI: Tỏc gi tg gi bỏo cỏo bc Bõy gi ta tin hnh xõy dng mụ hỡnh quan h nh hỡnh 3.8 di õy 57 * Mụ hỡnh quan h: Hỡnh 3.8 Mụ hỡnh quan h *Mụ hỡnh Time E-R Hỡnh 3.9 Mụ hỡnh TIME E-R 58 * Chuyn t mụ hỡnh quan h sang mụ hỡnh Time E-R Hỡnh 3.10 Mụ hỡnh CSDL quan h cú yu t thi gian 3.7 Tiu kt chng Trong chng 3, lun ó trỡnh by c phng thc gỏn nhón thi gian hp l trờn CSDL cng nh phng thc xõy dng CSDL theo c loi thi gian vi nhng vớ d minh c th Bờn cnh ú, chng ó a c cỏch thc thit k CSDL cú yu t thi gian ng dng gii quyt mt bi toỏn c th cú gỏn nhón thi gian trờn CSDL T ú cho chỳng ta thy rng thit k CSDL l mt cụng vic rt quan trng, c bit quan trng thit k i vi CSDL cú yu t thi gian.Thit k CSDL cú yu t thi gian l mt vic rt khú vỡ s phc ca yu t thi gian em li 59 KT LUN V HNG PHT TRIN Kt lun Trờn c s tỡm hiu v nghiờn cu thit k mụ hỡnh d liu tớch hp yu t thi gian, lun ó t c nhng kt qu sau: - Tỡm hiu mt s khỏi nim liờn quan n CSDL thi gian - Tỡm hiu phng phỏp gỏn nhón thi gian giao tỏc trờn c s d liu - Tỡm hiu phng phỏp gỏn nhón thi gian hp l trờn c s d liu Hng phỏt trin ti - Nghiờn cu v ỏp dng mụ hỡnh d liu tớch hp yu t thi gian v khụng gian vo cỏc ng dng 60 TI LIU THAM KHO Ting Vit Hong Quang, Nguyn Vit Chỏnh, mt cỏch tip cn vic thit k c s d liu thi gian, Tp khoa hc i hc Hu, Tp 74A, S 5,( 2012), 99-107 Hong Quang, H Th Thanh (2009), M rng phng phỏp chuyn i mụ hỡnh TimeER sang mụ hỡnh quan h, Tp Tin hc v iu khin hc, Vin Khoa hc v Cụng ngh Vit Nam, Tp 25 (S 3), trang 246-257 Ting Anh Bonan L., Guoray C (2002), A general object-oriented spatial temporal data model, Symposium on Geospatial Theory, Processing and Applications, Ottawa, Canada Calkins H W (1996), Entity Relationship Modeling of Spatial Data for Geographic Information Systems, International Journal of Geographical Information Systems, January 1996 Christine Parent, Stefano Spaccapietra, et al (1999), Spatio-temporal conceptual models: data structures + space + time, Proceedings of the 7th international symposium on Advances in geographic information systems, ACM Press New York, New York, USA David B Lomet, Roger S Barga, Mohamed F et al (2006), Transaction Time Support Inside a Database Engine, in ICDE, IEEE Computer Society Dilo A (2000), Mapping an extended ER model to a spatial relational model, Masters thesis, International Institute for Geo-Information Science and Earth Observation (ITC) Elnekave S., Last M., Maimon O (2007), A compact Representation of Spatio-Temporal Data, SSTM07, pp.601-606 61 Erwig M., Guting R.H., Schneider M., and Vazirgiannis M., (1999), SpatioTemporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases, GeoInformatica, 3(3), pp.265-291 10 Gao W., Zhang J., Yan Q., Pang L (2005), Study on spatio-temporal data model and visualization technique, Proceedings of International Symposium on Spatio-temporal Modeling, Spatial Reasoning, Analysis, Data Mining and Data Fusion, Peking University, China 11 Guting R H., et al (1994), An Introduction to spatial Database Systems, VLDB Journal, 4, pp.357-399 12 Hamilton J (2008), Method of processing spatial-temporal data processing, Patent Application Publication, US2008/0021945A1, Brighton University, MI, USA 13 Huibing W (2008), Extending object relational database to support spatiotemporal data, The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences Vol XXXVII Part B2, Beijing, China 14 Kristian Torp, Christian S Jensen, Richard T Snodgrass (2000), Effective Timestamping in Database, VLDB Journal, Vol 8, pp 267 - 288 15 Jensen C S (2000), Temporal Database Management, Dr.techn thesis, Aalborg University, (http://www.cs.auc.dk/~csj/Thesis/), chapter 33, pp.1051-1101 16 Jensen C S and Tryfona N (1998), A component-based conceptual model for spatiotemporal design, Chorochronos Technical Report CH-98-10 17 Jensen C S., Tryfona N (1999), Conceptual Data Modeling for Spatiotemporal Applications. Geoinformatica 3(3), pp.245-268 [...]... CSDL thời gian và cách thức gán nhãn thời gian cũng như truy vấn dữ liệu trên CSDL thời gian 29 Chương 3 GÁN NHÃN THỜI GIAN HỢP LỆ TRÊN CƠ SỞ DỮ LIỆU 3.1 Giới thiệu Như chúng ta đã biết, trong CSDL thời gian có 2 loại thời gian là thời gian hợp lệ và thời gian giao tác Ở chương 2 của luận văn đã trình bày được phương thức gán nhãn thời gian giao tác trên CSDL bằng cách thêm vào các thuộc tính thời gian. .. rộng các CSDL thông thường không có nhãn thời gian bằng những kỹ thuật gán nhãn thời gian Có 2 kỹ thuật gán nhãn thời gian cơ bản, kỹ thuật thứ nhất đó là kỹ thuật ghi nhận thông tin thời gian liên quan đến mỗi bộ dữ liệu, kỹ thuật gán nhãn thời gian thứ 2 đó là kỹ thuật ghi nhận thông tin thời gian liên quan đến mỗi thuộc tính trong từng bộ dữ liệu Việc gán nhãn thời gian vào CSDL theo từng kỹ thuật... loại 15 thời gian và một số kỹ thuật gán nhãn thời gian trên CSDL Bên cạnh đó, trong chương này luận văn cũng đã giới thiệu được sơ bộ một số phần mềm cho phép gán nhãn thời gian, truy vấn dữ liệu trên CSDL và luận văn đã trình bày sơ lược phần mềm TSQL2, một phần mềm gán nhãn thời gian thông dụng được mở rộng từ ngôn ngữ truy vấn dữ liệu SQL Tuy nhiên có 1 vấn đề đặt ra đó là với các loại thời gian khác... dữ liệu liên quan đến thời gian Sự khác nhau giữa dữ liệu có yếu tố thời gian và dữ liệu phi thời gian đó là có một khoảng thời gian được thêm vào dữ liệu để biểu diễn cho khi nào thì dữ liệu hợp lệ hay khi nào thì dữ liệu được lưu trữ trong CSDL Dữ liệu sẽ được lưu trữ trong CSDL thông thường nếu nó được kiểm tra xem có hợp lệ tại thời 5 điểm hiện thời không Khi dữ liệu trong một CSDL thông thường... việc gán nhãn thời gian trên CSDL sẽ giải quyết như thế nào? Để giải quyết vấn đề này, trong chương 2 của luận văn sẽ trình bày chi tiết về cách thức gán nhãn thời gian giao tác trên CSDL và trong chương 3 của luận văn sẽ trình bày chi tiết về cách thức gán nhãn thời gian hợp lệ trên CSDL 16 Chương 2 GÁN NHÃN THỜI GIAN GIAO TÁC TRÊN CƠ SỞ DỮ LIỆU 2.1 Giới thiệu Như chúng ta đã tìm hiểu ở chương 1, thời. .. các phiên bản thuộc tính 1.4 Phần mềm gán nhãn thời gian trên cơ sở dữ liệu Ở các phần trước, chúng ta đã bàn luận về việc làm thế nào để mở rộng CSDL theo hướng có yếu tố thời gian Trong mục này, chúng ta sẽ tiếp tục tìm hiểu một số phần mềm cho phép gán nhãn thời gian trên CSDL và truy vấn dữ liệu trên CSDL có yếu tố thời gian Để xây dựng CSDL không có yếu tố thời gian như truyền thống chúng ta thường... quan về CSDL thời gian, trong chương 1 của luận văn này sẽ trình bày một số nội dung cơ bản về CSDL thời gian như sau: Khái quát về CSDL có yếu tố thời gian Các loại thời gian trong CSDL Kỹ thuật gắn kết thời gian vào CSDL Phần mềm gán nhãn thời gian trên CSDL 1.2 Các loại thời gian CSDL có yếu tố thời gian theo nghĩa rộng bao gồm tất cả các ứng dụng CSDL có liên quan đến yếu tố thời gian trong... này, luận văn sẽ trình bày những nội dung như sau: Tìm kiếm một giá trị nhãn thời gian giao tác Liên kết định danh các giao tác với các bộ dữ liệu Biểu diễn giá trị until changed (UC) Các phương pháp gán nhãn thời gian giao tác 17 2.2 Tìm kiếm một giá trị nhãn thời gian giao tác Nếu các bộ dữ liệu được gán nhãn thời gian với thời gian ủy thác, thì sự thay đổi bộ phận phải được hoãn lại cho đến... trình bày phương pháp gán nhãn thời gian bằng kỹ thuật ghi nhận thông tin thời gian liên quan đến mỗi bộ dữ liệu Trong quan hệ thời gian giao tác, bất cứ khi nào có một thay đổi trong CSDL thì mốc thời gian thực tế của giao tác thực hiện sự thay đổi đó sẽ được ghi lại Từng giao tác có phương thức gán nhãn thời gian riêng, cụ thể sẽ được trình bày trong các mục dưới đây: 2.5.1 Gán nhãn thời gian giao... 1.3.1 Kỹ thuật ghi nhận thông tin thời gian liên quan đến mỗi bộ dữ liệu Như luận văn đã nêu ở mục 1.2, thời gian trong CSDL có yếu tố thời gian gồm có 2 loại là thời gian giao tác (TT) và thời gian hợp lệ (VT) Để ghi nhận thông tin thời gian liên quan đến mỗi bộ dữ liệu, ta sẽ thêm 4 trường thời gian vào mỗi bộ dữ liệu đó để lưu các giá trị thời gian Cụ thể mỗi bộ dữ liệu sẽ được thêm 4 trường như sau: ... việc gán nhãn thời gian cho CSDL phần thiếu Vì lựa chọn đề tài: Nghiên cứu số phương pháp gán nhãn thời gian sở liệu Nội dung luận văn giới thiệu sở liệu gán nhãn thời gian số phương pháp gán nhãn. .. có gán nhãn thời gian sở liệu Nội dung luận văn vấn đề sở sở liệu có gán nhãn thời gian, vấn đề sâu mong trình bày thời gian gần 3 Chương KHÁI QUÁT VỀ CƠ SỞ DỮ LIỆU THỜI GIAN 1.1 Giới thiệu Cơ. .. GIAN HỢP LỆ TRÊN CƠ SỞ DỮ LIỆU 3.1 Giới thiệu Như biết, CSDL thời gian có loại thời gian thời gian hợp lệ thời gian giao tác Ở chương luận văn trình bày phương thức gán nhãn thời gian giao tác