Bài 8 Thiết kế hệ thống vật lý

BÀI GING PHÂN TÍCH THIT K H THNG THÔNG TIN       Khoa Công ngh thông tin, i hc Công ngh Oct - 2007 Khoa Công ngh thông tin - i hc Công ngh 2 Nguyn Vn V –Nguyn th Nht Thanh Bài 8 – Thit k h thng vt lý Æ Khái nim v thit k h thng vt lý Æ Thit k c s d liu vt lý Æ Xây dng biu đ lung h thng Æ Thit k kin trúc h thng Æ Thit k các th tc x lý Æ Thit k tng tác, các giao din và báo cáo Æ Ví d Oct - 2007 Khoa Công ngh thông tin - i hc Công ngh 3 Nguyn Vn V –Nguyn th Nht Thanh Tài liu tham kho 1. Nguyn Vn Vy. Giáo trình phân tích thit k HTTT. i hc Công ngh, 2007. 2. Nguyên Vn V. Phân tích thi k HTTT. Hng cu trúc và hng đi tng. NXB Thng kê, 2002. 3. Nguyn Vn Vy. Phân tích và thit k HTTT qun lý. NXB Khoa hc T nhiên và Công ngh, Hà ni, 2007. 4. Nguyn vn Vy, Nguyn Vit Hà. Giáo trình K ngh phn mm. i hc Công ngh, 2006. 5. Grady Booch, James Rumbaugh, Ivar Jacobson. The Unified Modeling language User Guid . Addison-Wesley, 1998. 6. Jeffrey A.Hoffer, Joey F.Gorge, Joseph S.Valacich. Modern Systems Analysis and Design . 2 th Edition, Addison Wesley Longman, Inc. 1999. 7. Sommerville. Software Engineering. 6 th Edition, Addison- Wasley, 2001. Oct - 2007 Khoa Công ngh thông tin - i hc Công ngh 4 Nguyn Vn V –Nguyn th Nht Thanh 1. Thit k c s d liu vt lý Thit k CSDL vt lý là chuyn mô hình d liu lôgic thành các đc t d liu vt lý phù hp vi điu kin thit b & môi trng c th trong không gian và nhu cu s dng. Nó bao gm 2 ni dng: Ł Chn công ngh lu tr và qun lý d liu, bao gm h điu hành, h qun tr CSDL và công c truy nhp. Ł Chuyn mô hình lôgic thành thit k vt lý và xác đnh phnng án cài đt trên h thng thit b Thit k đây tp trung vào ni dung 2. Oct - 2007 Khoa Công ngh thông tin - i hc Công ngh 5 Nguyn Vn V –Nguyn th Nht Thanh a. u vào cho thit k CSDL vt lý u vào gm: º Mô hình d liu lôgic (quan h & biu đ liên kt) º T đin d liu (đnh ngha thuc tính) º Mô t yêu cu s dng d liu (loi, s lng, ví trí, thi gian, cách dùng) º Mong đi ca ngi dùng v s dng, tích hp d liu º Mô t công ngh và thit b s dng (nh đã nêu  trên) Oct - 2007 Khoa Công ngh thông tin - i hc Công ngh 6 Nguyn Vn V –Nguyn th Nht Thanh b. S đ thit k c s d liu vt lý º Cu trúc CSDL logic º Yêu cu s dng º c tính h qun tr, môi trng 1. Phân tích khi lng lu tr và s dng d liu 2. Chin lc phân tán 3. T chc tp 4. Lp ch s 5. Thit k ràng buc an toàn CSDL vt lý Oct - 2007 Khoa Công ngh thông tin - i hc Công ngh 7 Nguyn Vn V –Nguyn th Nht Thanh c. Ni dung thit k CSDL vt lý Các ni dung chính: º Thit k các trng (cho mi bn ghi) º Thit k bn ghi (cho mi tp) º Thit k tp (các loi tp) º Thit k c s d liu vt lý (t chc tp) º Xây dng phng án b trí tp trong không gian º c lng khi lng lu tr Oct - 2007 Khoa Công ngh thông tin - i hc Công ngh 8 Nguyn Vn V –Nguyn th Nht Thanh Ł Trng là mt đn v d liu nh nht mà phn mm h thng nhn ra & thao tác Ł Mc tiêu: ̈ Tit kim không gian nh (chn kích c, kiu) ̈ Biu din đc mi giá tr (kiu, đnh dng) ̈ Ci thin tính toàn vn (biu din, th hin) ̈ H tr thao tác (kiu, đnh dng, th hin) Ł Mt thuc tính trong mô hình d liu logic có th đc biu din thành 1 hay 1 s trng d. Thit k trng c t trng Oct - 2007 Khoa Công ngh thông tin - i hc Công ngh 9 Nguyn Vn V –Nguyn th Nht Thanh d1. Vài đc t tiêu biu mt trng Loai đc t Mô t ni dung Tên trng Theo quy đnh ca h qun tr CSDL Kiu trng Mt kiu đc s dng trong h qun tr CSDL Kích c (size) đn v đo biu din giá tr ca trng Mã hoá (coding) Mt cách có th biu din vn tt giá tr ca trng Quy tc toàn vn DL c t v gii hn đt lên các giá tr trng Các kim soát bo trì Giá tr đc phép thay đi khi nó đc cp nht. Th tc ca DL mt Mô t vic qun lí giá tr mt ca trng Công thc (formula) Mô t công thc tính toán giá tr trng cn tính toán Hng s kim tra c t quan h toán hc vi các trng ch/ s khác. Toàn vn tham chiu c t giá tr trng liên quan đn trong bn ghi khác S hu (ownership) Mô t ngi có quyn truy nhp, cp nht t Oct - 2007 Khoa Công ngh thông tin - i hc Công ngh 10 Nguyn Vn V –Nguyn th Nht Thanh d2. Mt s đc trng thit k trng º Kiu d liu và đnh dng (h qun tr cung cp): º Biu din d liu: DECIMAL(m,n) INTEGER CHAR (m) DATE SMALLINT LOGICAL FLOAT (m, n) •Kim tra tính toàn vn d liu - t giá tr ngm đnh -Kim tra khuôn dng -Kim tra gii hn - Toàn vn tham chiu -Kim tra giá tr rng -Qun lý d liu mt •Chn khoá chính • Mã hoá d liu - Mã hoá phân cp - Mã hoá liên tc -Mã gi nh - Mã thành phn ng ngha •Các trng tính toán OLE [...]... c Xỏc nh cỏc giao di n x lý Nguy n V n V Nguy n th Nh t Thanh u vo: Cỏc bi u Cỏch ti n hnh: lu ng h th ng M i ti n trỡnh mỏy th c hi n xỏc nh 1 x lý Nhúm cỏc ti n trỡnh x lý khụng cú lu ng d li u t bờn ngoi vo v i cỏc giao di n cú lu ng d li u n nú hay t nú n xỏc nh m t giao di n x lý cho nhúm cỏc ti n trỡnh ny Phỏc h a giao di n nh n c K t qu : T p cỏc giao di n x lý (núi chung b ng ho c nh... Thi t k t p v t lý Nguy n V n V Nguy n th Nh t Thanh M t t p v t lý l m t ph n nh c a b nh th c p l u cỏc b n ghi v t lý m t cỏch c l p Cỏc lo i t p: T p d li u T p l y d li u T p giao d ch T p lm vi c T p b o v , sao l u T p l ch s Con tr Ph ng phỏp truy nh p Ph Ph Oct - 2007 ng phỏp tr c ti p ng phỏp giỏn ti p Khoa Cụng ngh thụng tin - i h c Cụng ngh 13 f Thi t k t p v t lý Nguy n V n... t sao cho h p lý Thay cỏc mụ un ki n trỳc m c cao b ng cỏc giao di n liờn k t liờn k t cỏc giao di n m c d i ó nh n c V bi u liờn k t v phỏc h a giao di n liờn k t K t qu : H th ng giao di n t cỏc giao di n thu c nú ng tỏc v phỏc h a Oct - 2007 i h c Cụng ngh Khoa Cụng ngh thụng tin - 34 e1 Vớ du v 1 hờ th ng t ng tỏc Nguy n V n V Nguy n th Nh t Thanh Truy nhập hệ thống Thực đơn liên kết 0 Thực đơn... tin - i h c Cụng ngh 23 e Nguyờn lý & H ng d n cho thi t k t t Nguy n V n V Nguy n th Nh t Thanh Cỏc nguyờn t c thi t k Mụ un hoỏ Ki m soỏt ch c n ng c l p t ng i Kớch th c h p lý M i mụ un ch th c hi n 1 v ch 1 ch c n ng M t mụ un cú th s d ng l i nhi u l n Oct - 2007 H ng d n thi t k Chia thnh cỏc nhõn t M r ng ki m tra m b o ghộp n i l ng Ch n kớch c h p lý m b o k t dớnh ch t T o cỏc...e Thi t k b n ghi v t lý Nguy n V n V Nguy n th Nh t Thanh M t b n ghi v t lý l 1 nhúm cỏc tr l u tr v trớ k nhau trong b nh v ng th i nh 1 n v th ng nh t ng c c g i ra Phi chu n hoỏ: Tỏch/h p nh t cỏc quan h ó chu n húa c quan h phự h p v i i u ki... ng ki m tra m b o ghộp n i l ng Ch n kớch c h p lý m b o k t dớnh ch t T o cỏc mụ un s d ng chung, s d ng l i Khoa Cụng ngh thụng tin - i h c Cụng ngh 24 f Thi t k x lý cụng c Nguy n V n V Nguy n th Nh t Thanh Thi t k mụ un x lý l bi u di n thi t k sao cho d dng ỏnh x sang 1 ngụn ng l p trỡnh M t s cụng c cs d ng nh : Gi mó (Pseudocode), s Nassi-Shneiderman, bi u ho t ng B ng bờn l 1 vớ d v... Nguy n th Nh t Thanh Mụ hỡnh th c th m i quan h Xỏc nh cỏc giao di n nh p li u Cỏc bi u lu ng h th ng Xỏc nh cỏc giao di n x lý Ki n trỳc h th ng m c cao Oct - 2007 Tớch h p cỏc giao Xõy d ng h th ng t ng tỏc Khoa Cụng ngh thụng tin - i h c Cụng ngh H th ng th c n t ng tỏc 28 b Xỏc inh cỏc giao di n nh p li u Nguy n V n V Nguy n th Nh t Thanh u vo: Mụ hỡnh th c th m i quan h Cỏch ti n hnh: M... ch s Y u t c n quan tõm khi thi t k Oct - 2007 L y d li u nhanh Thụng l ng cỏc giao d ch x lý l n S d ng hi u qu khụng gian nh Trỏnh c sai sút v m t d li u T i u hoỏ nhu c u t ch c t p ỏp ng c nhu c u t ng tr ng d li u An ton Khoa Cụng ngh thụng tin - i h c Cụng ngh 14 g Vớ d 1 thi t k t p v t lý Nguy n V n V Nguy n th Nh t Thanh V i h qu n tr CSDL l Access, m t t p d li u k v i cỏc c u trỳc... c K t qu : T p cỏc giao di n x lý (núi chung b ng ho c nh h n s cỏc ti n trỡnh h th ng) Oct - 2007 Khoa Cụng ngh thụng tin - i h c Cụng ngh 31 c1 Xỏc nh cỏc giao di n x lý Nguy n V n V Nguy n th Nh t Thanh khách Cỏc giao di n x lý: 1.kiểm tra các sổ Tiến trình 3.1 2.lập biên bản Tiến trình 3.3 tt sự cố Bi u 3.1 kiểm tra không gửi các sổ lu ng h th ng còn gửi t.t sự cố 3.2 kiểm tra hiện tr ờng đúng... - i h c Cụng ngh 32 d Tớch h p cỏc giao di n nh n c Nguy n V n V Nguy n th Nh t Thanh u vo: Cỏc giao di n nh p li u v x lý Cỏch ti n hnh: Lo i i cỏc giao di n trựng l p H p nh t 1 s giao di n cú cỏc thao tỏc t ng tỏc liờn quan ch t ch v i nhau (cựng s d ng ngu n d li u, x lý liờn t c, s d ng k t qu c a nhau, ) thnh m t giao di n c Phỏc h a giao di n nh n K t qu : T p cỏc giao di n ó tớch h p