Ràng buộc toàn vẹn đa phiên bản cơ sở dữ liệu thời gian và ứng dụng luận văn thạc sĩ

Bộ CÔNG THƯƠNG TRƯỜNG ĐẠI HỌC CÔNG NGHIỆP TP.HCM LÂM THANH HÙNG RÀNG BUỘC TOÀN VẸN ĐA PHIÊN BẢN TRÊN Cơ SỞ DỮ LIỆU THỜI GIAN VÀ ỨNG DỤNG Chuyên ngành: KHOA HỌC MÁY TÍNH Mã ngành: 60.48.01.01 LUẬN VĂN THẠC SĨ TP HỒ CHÍ MINH, NĂM 2017 Cơng trình hồn thành Trường Đại học Cơng nghiệp TP Hồ Chí Minh Người hướng dẫn khoa học: TS Phạm Văn Chung Người phản biện 1: TS Võ Thị Ngọc Châu Người phản biện 2: TS Nguyễn Thành Sơn Luận văn thạc sĩ bảo vệ Hội đồng chấm bảo vệ Luận văn thạc sĩ Trường Đại học Công nghiệp thành phố Hồ Chí Minh ngày 19 tháng 12 năm 2017 Thành phần Hội đồng đánh giá luận văn thạc sĩ gồm: PGS.TS Huỳnh Trung Hiếu : Chủ tịch hội đồng TS Võ Thị Ngọc Châu : Phản biện TS Nguyễn Thành Sơn : Phản biện TS Võ Thị Thanh Vân : Uỷ viên TS Phạm Thị Thiết : Thư ký CHỦ TỊCH HỘI ĐÒNG TRƯỞNG KHOA CNTT Bộ CƠNG THƯƠNG CỘNG HỊA XÃ HỘI CHỦ NGHĨA VIỆT NAM TRƯỜNG ĐẠI HỌC CÔNG NGHIỆP Độc lập - Tự - Hạnh phúc THÀNH PHÓ HỒ CHÍ MINH NHIỆM VỤ LUẬN VĂN THẠC SĨ Họ tên học viên: Lâm Thanh Hùng MSHV: 15001111 Ngày, tháng, năm sinh: 10/12/1959 Nơi sinh: Sài Gòn Chuyên ngành: Khoa học Máy tính Mã chuyên ngành: 60480101 I TÊN ĐÈ TÀI: Ràng buộc toàn vẹn đa phiên sở liệu thời gian ứng dụng NHIỆM VỤ VÀ NỘI DUNG: • Nghiên cứu thuật tốn tìm đuờng Hamiton có thứ tự topo • ứng dụng thuật tốn tìm đuờng Hamiton có thứ tự topo • Nghiên cứu phuơng pháp kiểm tra ràng buộc toàn vẹn liệu nhiều phiên • Xây dựng phuơng pháp kiểm tra ràng buộc toàn vẹn liệu nhiều phiên • Phân tích thiết kế sở liệu có tính thời gian • Viết chuơng trình thử nghiệm (sử dụng phần liệu đào tạo truờng cao đẳng) II.NGÀY GIAO NHIỆM VỤ: 29 tháng 12 năm 2016 III.NGÀY HOÀN THÀNH NHIỆM VỤ: 29 tháng 12 năm 2017 IV NGƯỜI HƯỚNG DẪN KHOA HỌC: TS Phạm Văn Chung Tp Hồ Chí Minh, ngày tháng năm 20 NGƯỜI HƯỚNG DẪN CHỦ NHIỆM Bộ MƠN ĐÀO TẠO TRƯỞNG KHOA Cơng nghệ Thơng tin LỜI CẢM ƠN Trước tiên xin gửi lời cảm ơn sâu sắc đến TS Phạm Văn Chung, người tận tình hướng dẫn đồng hành tơi suốt thời gian thực luận văn vừa qua Cảm ơn ban Giám hiệu nhà trường, phòng Quản lý sau đại học khoa Công nghệ Thông tin trường đại học Cơng Nghiệp TP Hồ Chí Minh hỗ trợ, tạo điều kiện tốt để học viên khác hồn thành luận văn Tơi xin gửi lời cảm ơn đến bạn bè, người thân gia đình ủng hộ, động viên giúp tơi kiên trì thực luận văn Tuy hồn thành, cịn hạn chế định nên mong nhận đóng góp để luận văn hồn thiện Xin chân thành cảm ơn TÓM TẮT LUẬN VĂN THẠC SĨ Ngày nay, nhiều ứng dụng quản lý sử dụng sở liệu thời gian; yếu tố thời gian làm cho sở liệu đầy đủ ve mặt “lịch sử” liệu hơn, nhung đồng thời làm cho phức tạp [1] Việc sử dụng sở liệu thời gian đòi hỏi phải có phương pháp mang tính hệ thống để kiểm tra ràng buộc tồn vẹn, số ràng buộc dãy trạng thái có thứ tự thay trạng thái đơn sở liệu truyền thống [4] Trong luận văn này, chủ yếu nghiên cứu làm để kiểm tra ràng buộc toàn vẹn thời gian sở liệu thời gian: có nghĩa, kiểm tra ràng buộc dãy trạng thái có thứ tự topo xây dựng ứng dụng quản lý đào tạo nhằm theo dõi việc học tập sinh viên cho phép sinh viên đăng ký môn học theo học kỳ theo chương trình chọn trước ABSTRACT Nowadays, many applications use the temporal database, the time factor makes the full database in terms of the "history" of the data, but also makes it more complicated [1] The use of temporal database requires a systematic approach to checking integrity constraints, among of them are binding on the state ordered sequences instead of the single state as in traditional databases [4] In this thesis, mainly research how to check the integrity constraints on time for temporal database: means, check constraints on the state topological ordered sequences, and building training management applications to monitor student learning and allow students to course registration each semester according to a preselected program LỜI CAM ĐOAN Tôi cam đoan cơng trình nghiên cứu riêng tôi, thực hướng dẫn khoa học khoa học TS Phạm Văn Chung Các kết nghiên cứu nêu luận văn trung thực chưa công bố công trình khác Tơi xin chịu hồn tồn trách nhiệm nghiên cứu Học viên Lâm Thanh Hùng MỤC LỤC DANH MỤC HÌNH DANH MỤC BẢNG BIỂU 15 16 17 Hình 2.1 Đồ thị T có đỉnh khởi đầu s0 đỉnh kết thúc s5 18 Đồ thị chuyển trạng thái T gồm thành phần: 19 V = {So, S1, S2, S3, S4, S5} L 20 = {^ /1, / , l 9} 21 Vo = So, Ve = Se 22 hàm chuyển trạng thái 23 (s , /0) ^ 24 (s ^ ) ^ s3, (s2, /3) ^ s3 25 (s , /4) ^ s4, (s3, ^5) ^ s4 26 (s , /6) ^ s5, (s3, /7) ^ s2 27 (s^ /8) ^ s3, (s^ /9) ^ s5 28 Một đồ thị chuyển trạng thái gọi hợp lệ (valid) có đường s ( / b sb ) ^ s2 b 2 từ đỉnh khởi đầu, qua tất đỉnh trung gian, tới đỉnh kết thúc (mỗi đỉnh qua lần) • 29 Định nghĩa (Dãy trạng thái đầy đủ) Một dãy trạng thái đầy đủ (Full-State Sequence) danh sách có thứ tự đỉnh (trạng thái) mà đối tuợng di chuyển qua từ đỉnh khởi đầu đến đỉnh kết thúc đồ thị chuyển trạng thái, qua tất đỉnh trung gian, đỉnh lần 30 Ví du: = (s0, s1, s3, s2, s4, s5) dãy trạng thái đầy đủ đồ thị chuyển trạng thái T Hình • 31 Định nghĩa (Ràng buộc toàn vẹn dãy chuyển trạng thái) Cho = (s0, s1, , sn) danh sách đỉnh (trạng thái) mà đối tuợng di chuyển qua Nếu cập nhật làm hay nhiều đỉnh (trạng thái) thuộc (ngoại trừ đỉnh sn) cập nhật vi phạm ràng buộc toàn vẹn dãy chuyển trạng thái (Integrity constraint for discontinued state sequence) 32 Xét lại ví dụ Hình bên trên, giả sử đối tuợng có = (s0, s1, s2, s3, s4, s5) Cập nhật làm đối tuợng bị trạng thái trong (ngoại trừ s5) vi phạm ràng buộc toàn vẹn dãy chuyển trạng thái • 33 Định nghĩa (Ràng buộc tồn vẹn theo thứ tự thời gian) Xét cặp đỉnh (trạng thái) kề i j đồ thị chuyển trạng thái (nghĩa là, có cung nối i j) Giả sử thời gian hợp lệ đối tuợng i j [t1, t2] [Í3, /4] Nếu t3 > t2 [t1, t2] [t3, t4] thoả mãn ràng buộc toàn vẹn theo thứ tự thời gian (Integrity constraint belong to time instant) - xem Hình 2.2 34 t1 ?2 Í4 35 -—I -F=l I— 36 Validtime 37 Hình 2.2 Ràng buộc toàn vẹn theo thứ tự thời gian 2.2 Tìm kiêm dãy trạng thái đầy đủ 38 Cho đồ thị chuyển trạng thái (Transition Graph) T = (V, E) có n đỉnh (|V = n), đỉnh khởi đầu v0, đỉnh kết thúc vn-1 (v0, vn-1 e V) 39 Bài toán đặt ra: viết thủ tục cho phép nhập vào đỉnh cung T, kiểm tra T có hợp lệ hay khơng, có nghĩa T có phải đồ thị nửa Hamilton hay không Neu T hợp lệ: Thông báo T hợp lệ, dãy trạng thái đầy đủ (Full-State Sequences) T (ơi = v0, , vn-1) Ngược lại: Thông báo lỗi (T không hợp lệ) 40 Để giải tốn trên, ngồi thuật tốn đệ quy (recursive algorithm) SEARCH_HAMILTON (đã trình bày trang trước), luận văn sử dụng thủ tục không đệ quy (non-recursive procedure) SEARCHING_SEQUENCE, trình bày Hình 2.3 (bên dưới) 2.2.1 41 Thủ tục Searching_Sequence Thủ tục xây dựng dựa phương pháp vét cạn, cho phép liệt kê dãy trạng thái đầy đủ ơị (những đường Hamilton có thứ tự topo) đồ thị chuyển trạng thái T có n đỉnh cho trước Khởi đầu dãy ợ có đỉnh v0 (là đỉnh khởi đầu T), sau đỉnh khác T ghi vào ơị ợ dãy trạng thái đầy đủ [5] 42 Procedure SEARCHING_SEQUENCE 43 (* Input: đồ thị chuyển trạng thái T, đỉnh khởi đầu v0, đỉnh kết thúc vn-1 44 Output: T hợp lệ, dãy trạng thái đầy đủ ơị, ghi kết File hay thông báo T không hợp lệ.*) 45 46 Dem : integer; begin 47 Khởi tạo Ợ- ban đầu có v0; 48 while đỉnh cuối k < > vn-1 49 begin 50 Dem := 0; 51 for each ơị (* với ơị *) 52 begin (*xét đỉnh liền ke k *) 53 for j e ke(k) 54 begin 55 ifj Ể ke(k) 56 Dem := Dem + 1; 57 end; 58 if (Dem = 1) then 59 Thêm j vào cuối ơi'; 60 if (Dem > 1) then 61 begin 62 Tạo (Dem -1) dãy số cho dãy tăng 1; 63 (*O2, 03, 0-4, *) 64 Chép đỉnh ơi- tới dãy mới; 65 Thêm j khác vào cuối Oi- dãy mới; 66 end; 67 end; 68 end; 69 if Tìm đuợc dãy trạng thái đầy đủ then 70 begin 71 Thông báo T hợp lệ; 72 Thông báo dãy trạng thái đầy đủ ơi-; 73 Ghi kết File; 74 end; 75 else 76 Thông báo lỗi (T không hợp lệ); 77 end; 78 2.2.2 79 Hình 2.3 Thủ tục Searching_Sequence [5] Kết thực thủ tục Xét ví dụ đồ thị chuyển trạng thái nhu hình sau: 81 80 82 Hình 2.4 Một ví dụ tìm kiếm dãy trạng thái đầy đủ đồ thị chuyển trạng thái 83 Ta có kết thực thủ tục sau: 84 T hợp lệ (T đồ thị nửa Hamilton) 85 Các dãy trạng thái đầy đủ T sau: s0 ^ s1 ^ s2 ^ s3 ^ s4 ^ s5 86 s0 ^ ÍỊ ^ s2 ^ s4 ^ s3 ^ s5 87 s0 ^ s1 ^ s3 ^ s2 ^ s4 ^ s5 2.2.3 88 Phân tích thủ tục: Xét thủ tục SEARCHING_SEQUENCE, v 0, vn-1 biết trước, hay nói cách khác, cố định đỉnh đầu đỉnh cuối nên có cách để chọn đỉnh đầu đỉnh kết thúc 89 Gọi d bậc cực đại T Khi đó, đỉnh trung gian có tối đa d cách lựa chọn (hay d cạnh ra) Do đó, có tối đa 1*d* *d*1 = d ”' dãy trạng thái đầy đủ T, hay độ phức tạp thuật toán (thủ tục) ơ(d”' ) 2.2.4 90 Nhận xét đánh giá Thủ tục SEARCHING_SEQUENCE sử dụng vòng lặp nên giảm chi phí nhớ dễ quản lý so với thủ tục xây dựng thuật toán đệ quy 91 Trong ứng dụng thực tế, thủ tục SEARCHING_SEQUENCE thực lần (kết lưu file) phí thủ tục khơng ảnh hưởng đến chi phí kiểm tra ràng buộc tồn vẹn tốn ứng dụng luận văn Hơn nữa, d nhỏ so với n, đặc biệt n thật lớn (bậc d T không thay đổi số đỉnh đồ thị tăng cao) 92 93 2.3 Kiêm tra ràng buộc toàn vẹn đô thị chuyên trạng thái Trong mục này, luận văn tập trung vào việc kiểm tra ràng buộc toàn vẹn đồ thị chuyển trạng thái cho truớc, giả sử đỉnh tuơng đuơng với (nhóm) đối tuợng sở liệu thời gian 94 Việc cập nhật đỉnh giống nhu cập nhật (hay số bộ) bảng Do để đơn giản, gọi cập nhật đỉnh Việc kiểm tra ràng buộc toàn vẹn liên quan đến thao tác chèn (insert), sửa (update), xoá (delete) chắn liên quan đến đỉnh Vì cần xét cụ thể ba trường hợp thao tác cập nhật 95 Khi đồ thị chuyển đổi trạng thái tạo thành nhiều dãy trạng thái khác nhau, lúc việc kiểm tra tồn vẹn dãy trạng thái khác nhau, ta gọi việc kiểm tra ràng buộc toàn vẹn nhiều phiên 2.3.1 96 Thao tác chèn Một đối tượng Ob chèn vào đỉnh su đồ thị chuyển trạng thái Điều có nghĩa, Ob di chuyển tới su Tuỳ vào dãy trạng thái đầy đủ đồ thị, trường hợp kiểm tra ràng buộc tồn vẹn su khác 97 Ví dụ: 98 100 101 99Hình 2.5 Đồ thị chuyển trạng thái có hai dãy trạng thái đầy đủ Trong ví dụ (Hình 2.5), sử dụng đồ thị chuyển trạng thái đơn giản để minh hoạ cho việc kiểm tra ràng buộc toàn vẹn tuỳ theo trạng thái mà người dùng lựa chọn Trong ví dụ này, có hai dãy trạng thái đầy đủ s 0, s1, s2, s3, s4 s0, s1, s3, s2, s4 Việc di chuyển Ob đồ thị tự chọn hai dãy trạng thái - Neu Ob chèn vào đỉnh s0 Ob chưa tồn đỉnh nào, không cần kiểm tra ràng buộc toàn vẹn - Nếu Ob đỉnh s1 có thao tác chèn, Ob cóthể lựachọn s2 s3 - Nếu Ob đỉnh s2 có thao tác chèn, Ob cóthể lựachọn s3 s4 - Nếu Ob đỉnh s3 có thao tác chèn, Ob cóthể lựachọn s2 s4 2.3.2 102 Thao tác sửa Thao tác khơng phải kiểm tra ràng buộc tồn vẹn đối tượng có liệu đỉnh, có nghĩa di chuyển đến đỉnh Vì vậy, đối tượng không vi phạm dãy trạng thái đầy đủ đồ thị chuyển trạng thái Tuy nhiên, cần cần kiểm tra liệu có tính thời gian (valid-time) cho phù hợp định nghĩa đối tượng nhóm đối tượng (nhóm gồm nhiều học phần) cần kiểm tra hợp lệ việc thay đổi (thay thế) đối tượng 2.3.3 103 Thao tác xố Một đối tượng bị xoá đỉnh (một bị xoá) Thao tác phải kiểm tra xem có thoả mãn định nghĩa (ràng buộc toàn vẹn dãy chuyển trạng thái) mục 2.1 hay không Neu định nghĩa khơng thoả, thao tác xố bị từ chối 2.4 Các thủ tục kiêm tra ràng buộc toàn vẹn 104 Xét đồ thị chuyển trạng thái T có n đỉnh, với s đỉnh khởi đầu, s đỉnh u cập nhật, ts, t giá trị thời gian hợp lệ khởi đầu kết thúc đối tượng e Ob, T bảng liệu (Data table), ghi lại đỉnh mà Ob di chuyển qua Ob 105 Giả sử T hợp lệ ơị dãy trạng thái đầy đủ T 106 Quá trình thực ràng buộc toàn vẹn việc kiểm tra thực ràng buộc tồn vẹn đối tượng mơ tả cách tổng quát Hình 2.6 bên 107 108 109 Hình 2.6 Mơ tả tổng qt việc kiểm tra đối tượng thực thi ràng buộc toàn 2.4.1 Kiểm tra thao tác cập nhật vẹn 110 Mỗi thao tác cập nhật Insert hay Delete Ob đồ thị chuyển trạng thái T gọi thực ràng buộc toàn vẹn T 111 Việc kiểm tra ràng buộc toàn vẹn với thao tác thực thủ tục INSERT_CHECK DELETE_CHECK, trình bày sau: 112 Procuedure INSERT_CHECK(us, t , t , ơị) begin 113 if (s = s0 AND Ob chưa tồn T ) then 114 begin 115 Chèn Ob vào su; 116 Chèn su vào T ; 117 end 118 if (su đỉnh Ob di chuyển đến) then 119 begin 120 (* so sánh (t , t ) với (t’ , t ’ ) - giá trị thời gian hợp lệ Ob cập nhật su trước *) 121 if (ts > t ’s) then (* thoả mãn định nghĩa *) Chèn Ob vào su; 122 else 123 Thông báo lỗi (Thao tác không hợp lệ) 124 end; 125 if (s s0 AND Ob chưa di chuyển đế s ) then 126 begin 127 Tạo danh sách rỗng L ; 128 MATCHING(Ltemp, d); if ( then 129 u temp) 130 begin 131 Chèn Ob vào s ; 132 Chèn su vào T ; 133 end; 134 else 135 Thông báo lỗi (Thao tác không hợp lệ); 136 end; 137 end; s e u Ob s e s e u u temp s L u Ob 138 Function MATCHING (L , ợ) t: integer; 139 begin 140 t := 0; 141 for each (ơi in T ) 142 if (t phần tử = T ) then 143 begin temp Ob Chèn phần tử (t+1) vào temp ; Loại bớt phần tử trùng, giữ lại phần tử phân biệt 144 145 L L temp ; 146 end; 147 (* return Ltemp *) 148 end; 149 Procedure DELETE_CHECK (su) Begin 150 151 152 153 If (Thoả mãn định nghĩa 3) then Xoá Ob đỉnh s ; End; u 154 Procedure CHECK 155 (* global variables: T, Ob *) 156 Begin 157 Do case of 158 Ob inserted : INSERT_CHECK (su, t , t , ơị ) 159 Ob deleted : DELETE_CHECK (sU); End; End; s 160 161 162 2.4.2 163 e Hình 2.7 Kiểm tra thao tác cập nhật Kiểm tra thực ràng buộc toàn vẹn Việc kiểm tra thực ràng buộc tồn vẹn kiểm tra đối tượng thực thi ràng buộc có thứ tự dãy trạng thái đầy đủ ơj tìm từ đồ thị chuyển trạng thái T 164 • Thủ tục CHECKING 165 Bất lúc nào, người sử dụng kiểm tra q trình thực ràng buộc toàn vẹn đối tượng Neu đối tượng thoả mãn đầy đủ ràng buộc tồn vẹn tất phần tử dãy trạng thái đầy đủ đánh dấu, nghĩa được liệt kê đầy đủ TOb (Xem thủ tục Hình 2.7) 166 Theo đó, thủ tục Checking thông báo đối tượng thực xong ràng buộc toàn vẹn hiển thị danh sách ràng buộc toàn vẹn mà đối tượng thực Thủ tục CHECKING trình bày sau: 167 Procedure CHECKING 168 t: integer; 169 begin 170 t :=0; 171 for each (s in T ) 172 t = t+1; 173 for each (ơ in T) 174 if (t = n) AND To = ơị) then 175 Thông báo (Ob thực xong RBTV) 176 else u ob i b 177 Các RBTV thực T ; 178 Thông báo người sử dụng lựa chọn phần tử (t+1) Ob ơi; end; 179 Hình 2.8 Kiếm tra thực ràng buộc tồn vẹn 180 • Tính đắn thủ tục Checking 181 Thủ tục CHECKING mang lại kết 182 Giả sử có k dãy trạng thái đầy đủ (k > 0), dãy có n phần tử (n > 1) sau: = ( 0, , s s n-1 ) 183 Ơ2 = ( 0, , s 184 ỡk ( 0, , ) 185 Các phần tử nằm khoảng s0 đến sn-1 giống nhau, khác ve thứ s s S n-1 ) n-1 tự Mỗi lần thực hiện, thủ tục INSERT_CHECK đỉnh s u mà người sử dụng lựa chọn, cập nhật hay không Nếu su cập nhật, ghi vào T Như vậy, sau thời gian thực thi ràng buộc toàn vẹn có dãy trạng Ob thái đầy đủ ơi' mà phần tử đánh dấu, nghĩa liệt kê đầy đủ T Nói cách khác, đối tượng thực xong ràng buộc tồn vẹn Ob gán cho Neu khơng, danh sách ràng buộc tồn vẹn s u mà đối tượng thực hiển thị 2.4.3 186 Ví dụ minh hoạ việc kiểm tra thực ràng buộc toàn vẹn Xét đồ thị chuyển trạng thái Hình 2.4, giả sử mơ hình đào tạo cho sinh viên theo học sở đào tạo 187 Theo đó, để hồn thành chương trình đào tạo, sinh viên phải học đủ học phần từ S0 đế S5 (trong S0 nhóm học phần sở phải học đầu tiên, S5 nhóm học phần để tốt nghiệp) thoả mãn ràng buộc toàn vẹn kết thực thủ tục SEARCHING_SEQUENCE (đã trình bày mục 2.2.2 bên trên): 188 So ^ S1 ^ S2 ^ S3 ^ S4 ^ S5 (1) 189 So ^ S1 ^ S2 ^ S4 ^ S3 ^ S5 (2) 190 So ^ S1 ^ S3 ^ S2 ^ S4 ^ S5 (3) 191 Dựa thủ tục trình bày mục 2.4.1 2.4.2, sinh viên đăng ký, tham gia vào nhóm học phần Su theo dõi trình học tập sau: > Tại thời điểm tó 192 Tất sinh viên phải hồn tất nhóm học phẩn sở Vì S0 chèn vào sở liệu thời gian, đánh dấu: TOb = {s0} > Tại thời điểm t sau t0: 193 Khi kết thúc nhóm học phần S0 194 Thơng báo (học phần thực hiện: S0 Sinh viên đăng ký học phần tiếp theo: S1) 195 Lúc này, nhà trường chuẩn bị nhóm học phần S1, sinh viên đăng ký để theo học S1 Vì S1 chèn vào sở liệu thời gian, đánh dấu: T Ob S S } 0, ={ > Tại thời điểm t2, sau t1: 196 Khi kết thúc nhóm học phần s1, giả sừ, lúc nhà trường chuẩn bị nhóm học phần s2 s3, tuỳ theo lộ trình sinh viên chọn lúc đầu mà có thơng báo tương ứng để sinh viên chọn s2 hay s3 Vì s2 s3 chèn vào sở liệu thời gian, s2 s3 đánh dấu: 197 TOb = {s0, s1, s2} (nếu sinh viên chọn lộ trình (1) hay (2)) 198 Hoặc TOb = {s0, s1, s3} (nếu sinh viên chọn lộ trình (3)) > Tại thời điểm t3 sau t2: 199 Khi kết thúc nhóm học phần s2 (hoặc s3) - Thông báo (học phần thực hiện: s0, s1, s2 - Sinh viên đăng ký học: s3) Do trước nhà trường có mở s3 (cho lộ trình (3)) nên sinh viên đăng ký s3 Do s3 chèn vào sở liệu thời gian s3 đánh dấu: 200 - TOb = {s0, s1, s2, s3} (nếu sinh viên chọn lộ trình (1)) Tương tự: s0, s1, 201 Thông báo (học phần s3 - Sinh viên thực hiện: đăng ký học: s2) S2 chèn vào sở liệu thời gian đánh dấu: 202 - 203 TOb = {s0, s1, s3, s2} (nếu sinh viên chọn lộ trình (3)) Riêng với sinh viên chọn lộ trình (2): Thơng báo (học phần thực hiện: s0, s1, s2 - Bạn đăng ký học: s4) Nếu lúc nhà trường chuẩn bị nhóm học phần s4 sinh viên đăng ký s4 Do vậy, s4 chèn vào sở liệu thời gian đánh dấu: 204 Tob = {s0, s1, s2, s4} > Tại thời điểm t4 sau t3: 205 Khi kết thúc nhóm học phần s2 (s3 s4) - Thông báo (học phần thực hiện: s0, sb s2, s3 - Sinh viên đăng ký học: s4) Do trước nhà trường có mở s4 (cho lộ trình (2)) nên sinh viên đăng ký s4 Do s4 chèn vào sở liệu thời gian S3 đánh dấu: 206 - Tob = {so, sb s2, s3, s4} (nếu sinh viên chọn lộ trình (1)) Tương tự ta có thơng báo tương ứng chèn vào sở liệu đánh dấu nhóm học phần sau: 207 TOb = {s0, sb s2, s4, s3} (nếu sinh viên chọn lộ trình (2)) 208 Hoặc 209 TOb = {s0, sb s3, s2, s4} (nếu sinh viên chọn lộ trình (3)) > Tại thời điểm t5 sau t4: 210 Khi kết thúc nhóm học phần s2 (s3 s4) Vì đến nhóm học phần cuối để tốt nghiệp nên: 211 Với sinh viên đăng ký theo lộ trình (1) thì: Thơng báo (học phần thực hiện: s0, sb s2, s3, s4 - Bạn đăng ký học: s5) Nếu lúc nhà trường có mở s5 sinh viên đăng ký s5 Do s5 chèn vào sở liệu thời gian s5 đánh dấu: 212 TOb = {s0, sb s2, s3, s4, s5} (nếu sinh viên chọn lộ trình (1)) - Tương tự cho sinh viên đăng ký theo lộ trình (2) hay (3) có thơng báo tương ứng đánh dấu sau: 213 TOb = {s0, sb s2, s4, s3, s5} (nếu sinh viên chọn lộ trình (2)) 214 Hay 215 TOb = {s0, sb s3, s2, s4, s5} (nếu sinh viên chọn lộ trình (3)) > Tại thời điểm t6 sau t5: 216 Khi kết thúc nhóm học phần s5 - Thơng báo (học phần thực hiện: s , sb s , s , s , s - Bạn hoàn thành chương trình đào tạo') (nếu sinh viên chọn lộ trình (1)) - Thơng báo (học phần thực hiện: s0, sb s2, s4, s3, s5 - Bạn hồn thành chương trình đào tạo) (nếu sinh viên chọn lộ trình (2)) - Thơng báo (học phần thực hiện: s0, sb s3, s2, s4, s5 - Bạn hồn thành chương trình đào tạo) (nếu sinh viên chọn lộ trình (3)) 217 Ket thúc nhóm học phần phải bảo đảm không nợ học phần (mơn) tất nhóm học phần 218 CHƯƠNG XÂY DựNG Cơ SỞ DỮ LIỆU CHO ỨNG DỤNG 219 Trong chương này, luận văn trình bày số khái niệm giới thiệu phát triển để thiết kế sở liệu thời gian (CSDLTG) hệ quản trị sở liệu truyền thống Dựa vào khái niệm này, xây dựng sở liệu có yếu tố thời gian để thực việc quản lý sinh viên đăng ký môn , xây dựng số thủ tục cập nhật liệu thoả mãn ràng buộc toàn vẹn thời gian theo phương pháp kiểm tra đề xuất chương 220 3.1 Một so thuật ngữ - Thời gian song/ Tuoi thọ (Lifespan): thời gian mà đối tượng tồn sở liệu (CSDL) - Thời gian hợp lệ (Valid time): thời gian mà kiện xem 221 thực tế - Thời gian giao tác (Transaction time): thời gian mà kiện có hiệu lực thi hành - Hạt thời gian (Chronon): khoảng thời gian ngắn (ví dụ: đơn vị thời gian ngắn giây, giờ, ngày, ) hỗ trợ hệ quản trị sở liệu (HQTCSDL) Nó đơn vị cố định, phân chia nhỏ Độ lớn hạt thời gian tuỳ thuộc vào ứng dụng sở liệu ... góp để luận văn hồn thiện Xin chân thành cảm ơn TÓM TẮT LUẬN VĂN THẠC SĨ Ngày nay, nhiều ứng dụng quản lý sử dụng sở liệu thời gian; yếu tố thời gian làm cho sở liệu đầy đủ ve mặt “lịch sử” liệu. .. tra ràng buộc tồn vẹn liệu nhiều phiên • Xây dựng phuơng pháp kiểm tra ràng buộc toàn vẹn liệu nhiều phiên • Phân tích thiết kế sở liệu có tính thời gian • Viết chuơng trình thử nghiệm (sử dụng. .. thay trạng thái đơn sở liệu truyền thống [4] Trong luận văn này, chủ yếu nghiên cứu làm để kiểm tra ràng buộc toàn vẹn thời gian sở liệu thời gian: có nghĩa, kiểm tra ràng buộc dãy trạng thái