đăng ký s3. Do vậy s3 được chèn vào cơ sở dữ liệu thời gian và s3 được đánh dấu:
200 TOb= {s0, s1, s2, s3} (nếu sinh viên đã chọn lộ trình (1))
- Tương tự: Thông báo (học phần đã thực hiện:
s0, s1, s3 - Sinh viên có thể đăng
201 ký học: s2). S2 được chèn vào cơ sở dữ liệu thời gian và được đánh dấu:202 TOb= {s0, s1, s3, s2} (nếu sinh viên đã chọn lộ trình (3)). 202 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):
203 Thông báo (học phần đã thực hiện: s0, s1, s2 - Bạn có thể đăng ký học: s4). Nếulúc này nhà trường đã chuẩn bị nhóm học phần s4 thì sinh viên có thể đăng ký s4. Do lúc này nhà trường đã chuẩn bị nhóm học phần s4 thì sinh viên có thể đăng ký s4. Do vậy, s4 được chèn vào cơ sở dữ liệu thời gian và được đánh dấu:
204 Tob = {s0, s1, s2, s4}> Tại thời điểm t4 sau t3: > Tại thời điểm t4 sau t3:
205 Khi đã kết thúc nhóm học phần s2 (s3 hoặc s4).
- Thông báo (học phần đã thực hiện: s0, sb s2, s3 - Sinh viên có thể đăng ký học:
s4). Do trước đó nhà trường đã có mở s4 (cho lộ trình (2)) nên sinh viên có thể
đăng ký s4. Do vậy s4 được chèn vào cơ sở dữ liệu thời gian và S3 được đá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 và chèn vào cơ sở dữ liệu cũng như đánh
dấu các nhóm học phần như sau:
207 TOb = {s0, sb s2, s4, s3} (nếu sinh viên đã chọn lộ trình (2))
208 Hoặc
> Tại thời điểm t5 sau t4:
210 Khi đã kết thúc nhóm học phần s2 (s3 hoặc s4). Vì đã đến nhóm học phần cuốiđể tốt nghiệp nên: để tốt nghiệp nên:
- Với sinh viên đăng ký theo lộ trình (1) thì:
211 Thông báo (học phần đã thực hiện: s0, sb s2, s3, s4 - Bạn có thể đăng ký học: s5).Nếu lúc này nhà trường đã có mở s5 thì sinh viên có thể đăng ký s5. Do vậy s5 được Nếu lúc này nhà trường đã có mở s5 thì sinh viên có thể đăng ký s5. Do vậy s5 được chèn vào cơ sở dữ liệu thời gian và s5 được đá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) sẽ có thông báo tương ứng và được đánh dấu như 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: s0, sb s2, s3, s4, s5- 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 đã hoà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 đã hoà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ợ bất kỳ học phần (môn) nào
218 CHƯƠNG 3 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 một số khái niệm đã được giới thiệu và
phát triển để thiết kế cơ sở dữ liệu thời gian (CSDLTG) trên hệ quản trị cơ sở dữ liệu truyền thống. Dựa vào những khái niệm này, xây dựng một cơ sở dữ liệu có yếu tố thời gian để thực hiện việc quản lý sinh viên đăng ký môn , cũng như xây dựng một số thủ tục cập nhật dữ liệu thoả mãn các ràng buộc toàn vẹn thời gian theo các phương pháp kiểm tra đã được đề xuất ở chương 2.
220 3.1 Một so thuật ngữ
- Thời gian song/ Tuoi thọ (Lifespan): là thời gian mà đối tượng tồn tại trong cơ sở dữ liệu (CSDL).
- Thời gian hợp lệ(Valid time): là thời gian mà một sự kiện được xem là đúng
221 trong thực tế.
- Thời gian giao tác (Transaction time): là thời gian mà một sự kiện là đúng và có hiệu lực thi hành.
- Hạt thời gian (Chronon): là khoảng thời gian ngắn nhất (ví dụ: đơn vị thời gian ngắn nhất là giây, giờ, ngày,..) được hỗ trợ bởi một hệ quản trị cơ sở dữ liệu
(HQTCSDL). Nó là một đơn vị cố định, không thể phân chia nhỏ hơn được
nữa. Độ lớn của hạt thời gian là tuỳ thuộc vào mỗi ứng dụng trong cơ sở dữ liệu.