1). Ràng buộc toàn vẹn miền giá trị
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
Ứng dụng: Website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang. Mô tả RBTV 01 Ngày lập: 18/03/2010 Ngƣời lập: Nguyễn Tiến Lẫm Bối cảnh: LopHocPhan
Mô tả: Số lƣợng sinh viên trong lớp học phần phải lớn hơn 0. Biểu diển: lhp LopHocPhan: lhp.ChiTieu > 0
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
LopHocPhan + - +(ChiTieu)
2). Ràng buộc toàn vẹn liên bộ
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
Ứng dụng: Website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang. Mô tả RBTV 02 Ngày lập: 28/03/2010 Ngƣời lập: Nguyễn Tiến Lẫm Bối cảnh: MonHocLoaiPhong
Mô tả: Một môn học học có thể học ở nhiều loại phòng, một loại phòng có thể là nơi
học của nhiều môn học.
Biểu diển: t1, t2 MonHocLoaiPhong:
t1 t2 => t1[MaMH,MaLP] t2[MaMH,MaLP]
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
MonHocLoaiPhong + - +( MaMH,MaLP)
Bảng 14: Mô tả RBTV 02
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
Ứng dụng: Website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang. Mô tả RBTV 03 Ngày lập: 18/03/2010 Ngƣời lập: Nguyễn Tiến Lẫm Bối cảnh: ChiTietKeHoachGiangDay
Mô tả: Trong cùng một học kỳ, một lớp không thể học 2 môn học giống nhau. Biểu diển: t1, t2 ChiTietKeHoachGiangDay:
t1 t2 => t1[MaPCMH, MaMH] t2[MaPCMH, MaMH]
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
ChiTietKeHoachGiangDay + - +(MaPCMH, MaMH)
Bảng 15: Mô tả RBTV 03
3). Ràng buộc toàn vẹn tham chiếu
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
Ứng dụng: Website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang. Mô tả RBTV 04 Ngày lập: 28/03/2010 Ngƣời lập: Nguyễn Tiến Lẫm Bối cảnh: MonHoc,BoMon
Mô tả: Một môn học phải thuộc một bộ môn
Biểu diển: mh MonHoc, bm BoMon: mh.MaBM = bm.MaBM
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
MonHoc + - + (MaBM)
BoMon - + + (MaBM)
Bảng 16: Mô tả RBTV 04
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Ngƣời lập:
Nguyễn Tiến Lẫm
Bối cảnh: Lop, Nganh
Mô tả: Một lớp học phải thuộc một ngành duy nhất
Biểu diển: lop Lop, ng Nganh: lop.MaNG = ng.MaNG
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
Lop + - + (MaNG)
Nganh - + + (MaNG)
Bảng 17: Mô tả RBTV 05
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
Ứng dụng: Website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang. Mô tả RBTV 06 Ngày lập: 28/03/2010 Ngƣời lập: Nguyễn Tiến Lẫm
Bối cảnh: CanBo, LoaiCanBo
Mô tả: Mỗi cán bộ phải thuộc một loại cán bộ duy nhất
Biểu diển: cb CanBo, lcb LoaiCanBo: cb.MaLoaiCB = lcb.MaLoaiCB
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
MonHoc + - + (MaLoaiCB)
BoMon - + + (MaLoaiCB)
4). Ràng buộc toàn vẹn liên bộ - liên quan hệ
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
Ứng dụng: Website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang. Mô tả RBTV 07 Ngày lập: 18/03/2010 Ngƣời lập: Nguyễn Tiến Lẫm
Bối cảnh: KeHoachGiangDay, ChiTietKeHoachGiangDay
Mô tả: Mỗi kế hoạch giảng dạy phải có ít nhất một chi tiết kế hoạch giảng dạy Biểu diển: kh KeHoachGiangDay, ct ChiTietKeHoachGiangDay:
kh.MaPCMH = ct.MaPCMH
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
KeHoachGiangDay - + +(MaPCMH)
ChiTietKeHoachGiangDay + - +( MaPCMH)
Chú ý: Để đảm bảo ràng buộc không bị vi phạm ta xây dựng các giao tác:
Thêm kế hoạch giảng dạy, xóa kế hoạch giảng dạy, sửa kế hoạch giảng dạy thích hợp. Mọi thao tác thêm, xóa, sửa dòng đơn lẻ trên KeHoachGiangDay hoặc ChiTietKeHoachGiangDay đều bị cấm.
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
Ứng dụng: Website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang. Mô tả RBTV 08 Ngày lập: 18/03/2010 Ngƣời lập: Nguyễn Tiến Lẫm
Bối cảnh: ChuongTrinhDaoTao, ChiTietChuongTrinhDaoTao
Mô tả: Mỗi chƣơng trình đào tạo phải có ít nhất một chi tiết chƣơng trình đạo tạo. Biểu diển: dt ChuongTrinhDaoTao, ct ChiTietChuongTrinhDaoTao:
dt.MaCTDT = ct.MaCTDT
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
ChuongTrinhDaoTao - + + (MaCTDT)
ChiTietChuongTrinhDaoTao + - +(MaCTDT)
Bảng 20: Mô tả RBTV 08 5). Ràng buộc toàn vẹn do thuộc tính tổng hợp
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
Ứng dụng: Website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang. Mô tả RBTV 9 Ngày lập: 18/03/2010 Ngƣời lập: Nguyễn Tiến Lẫm
Bối cảnh: KeHoachGiangDay, ChiTietKeHoachGiangDay
Mô tả: Tổng số tín chỉ trên bảng KeHoachGiangDay phải bằng tổng trị giá các tính chỉ trên bảng ChiTietKeHoachGiangDay.
Biểu diển: pc KeHoachGiangDay:
pc.TongTC = (ctChiTietPhanCongMonHocct.MaPCMH pc.MaPCMH)ct.SoTC
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
KeHoachGiangDay - - +(MaPCMH, TongTC)
ChiTietKeHoachGiangDay + + +(MaPCMH,SoTC)
Chú ý: Để đảm bảo ràng buộc không bị vi phạm ta xây dựng các giao tác:
Thêm kế hoạch giảng dạy, xóa kế hoạch giảng dạy, sửa kế hoạch giảng dạy thích hợp.
Bảng 21: Mô tả RBTV 9
Hệ thống thông tin: Hệ thống website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang.
Mô hình quan niệm dữ liệu tƣơng lai
Ứng dụng: Website hỗ trợ lập kế hoạch và phân công giảng dạy theo hệ thống tín chỉ tại trƣờng Đại học An Giang. Mô tả RBTV 10 Ngày lập: 18/03/2010 Ngƣời lập: Nguyễn Tiến Lẫm
Bối cảnh: ChucVu, PhanCongCanBo
Mô tả: Mỗi cán bộ giảng dạy không thể dạy quá số giờ qui định của mình. Biểu diển:
cb CanBo, cv ChucVu: cv.MaCB = cb.MaCB
(pPhanCongCanBo p.MaCBcb.MaCB) p.SoGioDaPhanCong cv.DinhMucGio
Bảng tầm ảnh hƣởng:
R Thêm Xóa Sửa
PhanCongCanBo + - +(SoGio)
ChucVu - + +(DinhMucGio)
Chú ý: Để đảm bảo ràng buộc không bị vi phạm ta xây dựng các giao tác:
Thêm phân công cán bộ, xóa phân công cán bộ, sửa phân công cán bộ thích hợp.
Chương III:THIẾT KẾ