1. Tổ chức và khai thỏc cơ sở dữ liệu truyền thống
5.2.2. Cỏc định nghĩa
Thời khoỏ biểu của trƣờng bao gồm cỏc đặc tớnh đƣợc mụ tả tiờu biểu nhƣ sau:
Tập cỏc sự kiện: E ={e1, e2,…em} là cỏc cỏc buổi học, nú cú thể là lý thuyết, thực hành…mỗi sự kiện phải cú ngƣời tham dự, giảng viờn, khe thời gian, vị trớ nơi giảng viờn giảng bài.
Khe thời gian: T ={t1, t2,…tn}. Khe thời gian chớnh là khoảng thời gian xảy ra sự kiện, nú cú thời gian bắt đầu và thời gian kết thỳc. Cỏc thành phần trong tập khe thời gian cú mẫu dạng: thứ 2, thứ 3,…Mỗi khe thời gian cú giỏ trị mặc định thời gian là Vt vớ dụ trong thời gian tự nghiờn cứu thời gian mặc định là 1 tiếng, đõy cũng là thời gian tối thiểu của một lớp.
Tập hợp phũng học: P ={p1, p2,…pt} Sự kiện xảy ra trong cỏc phũng học. Trong tập phũng học, mỗi thành phần chứ thụng tin liờn quan đến tờn, cỡ, và cỏc thuộc tớnh khỏc.
Tập hợp giảng viờn: L ={l1, l2,…lh}. Trong thực tế một khoỏ học sẽ do cựng một giảng viờn giảng dạy.
Tập lớp học: C ={c1, c2,…ck}. Cỏc lớp chứa thụng tin liờn quan đến tờn và số lƣợng sinh viờn. Số lƣợng sinh viờn liờn quan đến số chỗ ngồi trong phũng học.
Ngoài ra, bài toỏn thời khoỏ biểu cũn cú cỏc ràng buộc. Cỏc ràng buộc cú thể đƣợc phõn theo hai phạm trự: ràng buộc cứng và ràng buộc mềm. Cỏc ràng buộc cứng là cỏc ràng buộc bắt buộc phải tuõn theo và thoả món trong chƣơng trỡnh. Cỏc ràng buộc mềm thỡ cú thể đƣợc vi phạm nhƣng cỏi giỏ phải trả cho sự vi phạm đú phải nằm trong sự cho phộp.
Cỏc ràng buộc cứng tiờu biểu:
1. Mỗi lớp cú một lịch trỡnh để đăng ký trong một thời kỳ cụ thể.
2. Một lớp học, một giảng viờn, một phũng học đều khụng đƣợc gỏn hơn một bài học trong cựng một khe thời gian.
3. Khụng đƣợc bỏ sút lớp nào trong thời khoỏ biểu. 4. Tất cả cỏc phũng học đều đủ lớn để chứa lớp học
5. Mọi cỏc yờu cầu đặc biệt về phũng học đều phải xem xột trƣớc
6. Cỏc bài học đó cú lịch từ trƣớc thỡ phải đƣợc đặt lịch trong khe thời gian xỏc định
7. Tất cả cỏc mụn học phải phõn bố đều nhau.
Cỏc ràng buộc mềm tiờu biểu:
1. Khụng cú cỏc giảng viờn và sinh viờn cú thời khoỏ biểu cú nhiều khe thời gian rỗi (thời gian trống giữa cỏc khoỏ học quỏ nhiều)
2. Cỏc sự kiện cần phải phõn chia đều. 3. Sự ƣu tiờn của giảng viờn.
4. Phũng học cần phải gần văn phũng khoa/ban 5. Cỏc phũng đủ lớn để đỏp ứng đƣợc cỏc yờu cầu.
Mặc dự cỏc ràng buộc mềm khụng giải quyết cỏc khoản xung đột nhƣng chỳng cú vai trũ rất quan trọng trong bài toỏn thời khoỏ biểu thực tế. Nếu tổng chi phớ cho việc vi phạm ràng buộc mềm tiến gần đến 0 thỡ thời khoỏ biểu phỏt sinh sẽ gần đến thời khoỏ biểu tối ƣu.
