Các ràng buộc toàn vẹn

Một phần của tài liệu Xây dựng ứng dụng web 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 (Trang 50 - 57)

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. (adsbygoogle = window.adsbygoogle || []).push({});

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 (adsbygoogle = window.adsbygoogle || []).push({});

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 (adsbygoogle = window.adsbygoogle || []).push({});

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.MaPCMHpc.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 

(pPhanCongCanBop.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Ế

Một phần của tài liệu Xây dựng ứng dụng web 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 (Trang 50 - 57)

(88 trang)