186 Xét đồ thị chuyển trạng thái như Hình 2.4, và giả sử đây là mô hình đào tạo
cho sinh viên theo học tại một cơ sở đào tạo nào đó.
187 Theo đó, để hoàn thành chương trình đào tạo, một sinh viên phải học đủ các
học phần từ S0 đế S5 (trong đó S0 là nhóm học phần cơ sở phải học đầu tiên, S5 là nhóm học phần để tốt nghiệp) thoả mãn các ràng buộc toàn vẹn được chỉ ra trong kết
quả thực hiện thủ tục SEARCHING_SEQUENCE (đã trình bày trong mục 2.2.2 bê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 trên các thủ tục đã được trình bày trong các mục 2.4.1 và 2.4.2, sinh viên này có thể đăng ký, tham gia vào các nhóm học phần Su cũng như theo dõi quá trình học tập của mình như sau:
> Tại thời điểm tó.
192 Tất cả các sinh viên phải hoàn tất nhóm học phẩn cơ sở. Vì vậy S0 được chèn
vào cơ sở dữ liệu thời gian, và được đánh dấu: TOb = {s0}
> Tại thời điểm t1 ngay sau t0:
193 Khi đã kết thúc nhóm học phần S0.
194 Thông báo (học phần đã được thực hiện: S0. Sinh viên có thể đăng ký học
phần tiếp theo: S1).
195 Lúc này, nếu nhà trường đã chuẩn bị nhóm học phần S1, sinh viên này có thể
đăng ký để theo học S1. Vì vậy S1 được chèn vào cơ sở dữ liệu thời gian, được đánh dấu: TOb = {S0, S1}.
> Tại thời điểm t2, sau t1:
196 Khi đã kết thúc nhóm học phần s1, và giả sừ, lúc này nhà trường đã chuẩn bị
cả 2 nhóm học phần s2 và 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 có thể chọn s2 hay s3. Vì vậy s2 hoặc s3 được chèn vào cơ sở dữ liệu thời gian, s2 hoặc s3 được đánh dấu: