VI.1. Mơ Hình Dữ Liệu Ở Mức Quan Niệm( ERD):
VI.1.2. Mơ hình vật lý:
VI.1.3. Mơ tả các thực thể:
Nhân viên:
- Tên thực thể: NHANVIEN.
- Tân từ: Mỗi nhân viên( NHANVIEN) cĩ một mã nhân viên( MANHANVIEN) duy nhất để phân biệt với các nhân viên khác, cĩ tên nhân viên ( TENNHANVIEN).
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MANHANVIEN Mã nhân viên Nvarchar Khĩa chính 10 2 TENNHANVIEN Tên nhân viên Nvarchar Khác rỗng 100
Giảng Viên:
-Tên thực thể :GIANGVIEN
-Tân từ: Mỗi giảng viên (GIANGVIEN) cĩ một mã giang vien( MAGIANGVIEN) duy nhất để phân biệt với các giảng viên khác, mỗi giảng viên cịn cĩ một tên giảng viên ( TENGIANGVIEN ) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MAGIANGVIEN Magiangvien Nvarchar Khĩa chính 10 2 TENGIANGVIEN Tengiangvien Nvarchar Khác rỗng 100
Chức Vụ:
- Tên thực thể: CHUCVU.
- Tân từ: Mỗi chức vụ( CHUCVU) cĩ một mã chức vụ( MACHUCVU) duy nhất để phân biệt với các chức vụ khác, mỗi chức vụ cịn cĩ một tên chức vụ
(TENCHUCVU) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MACHUCVU Mã chức vụ Nvarchar Khĩa chính 10 2 TENCHUCVU Tên chức vụ Nvarchar Khác rỗng 100
Mức Lương:
- Tên thực thể: MUCLUONG.
- Tân từ: Mỗi mức lương (MUCLUONG) cĩ một mã mức lương
( MAMUCLUONG) duy nhất để phân biệt với các mức lương khác, mỗi mức lương cịn cĩ một lương cơ bản (LUONGCOBAN), phụ cấp (PHUCAP),hệ số
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MAMUCLUONG Mã mức lương Nvarchar Khĩa chính 10 2 LUONGCOBAN Lương cơ bản Numeric Khác rỗng 8 3 PHUCAP Phụ cấp Numeric Khác rỗng 100 4 HESOLUONG Hệ số lương float Khác rỗng 100
Phịng Ban:
- Tên thực thể: PHONGBAN.
Tân từ: Mỗi phịng ban (PHONGBAN) cĩ một mã phịng ban (MAPHONGBAN) duy nhất để phân biệt với các phịng ban khác, mỗi phịng ban cịn cĩ tên phịng ban (TENPHONGBAN) và vị trí (VITTRI).
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu
Ràng buộc Độ dài
1 MAPHONGBAN Mã phịng ban Nvarchar Khĩa chính 10 2 TENPHONGBAN Tên phịng ban Nvarchar Khác rỗng 50
3 VITRI Vị trí Nvarchar Khác rỗng 100
Phiếu Bảo Hiểm:
- Tên thực thể: PHIEUBAOHIEM
- Tân từ: Mỗi phiếu bảo hiểm (PHIEUBAOHIEM) cĩ một Số Phiếu Bảo Hiểm (SOPHIEUBH) duy nhất để phân biệt với phiếu bảo hiểm khác, mỗi phiếu bảo hiểm cịn cĩ ngày đăng ký (NGAYDANGKY), nơi đăng ký (NOIDANGKY), phần trăm (PHANTRAM).
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu
Ràng buộc Độ dài
1 SOPHIEUBH Số phiếu bảo hiểm Nvarchar Khĩa chính 10 2 NGAYDANGKY Ngày đăng ký Nvarchar Khác rỗng 50 3 NOIDANGKY Nơi đăng ký Nvarchar Khác rỗng 50 4 PHANTRAM Phần trăm Numeric Khác rỗng 100
Phiếu Chi Tháng:
- Tên thực thể: PHIEUCHITHANG.
- Tân từ: Mỗi phiếu chi tháng (PHIEUCHITHANG) cĩ một số phiếu chi tháng ( SOPHIEUCHI) duy nhất để phân biệt với các phiếu chi tháng khác, mỗi phiếu chi tháng cịn cĩ một ngày lập phiếu (NGAYLAP), lý do (LYDO), người lập chi (NGUOICHI)duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu
Ràng buộc Độ dài
1 SOPHIEUCHI Số phiếu chi tháng Nvarchar Khĩa chính 10 2 NGAYLAP Ngày lập phiếu Datetime Khác rỗng 8
3 LYDO Lý do Nvarchar Khác rỗng 100
4 NGUOILAPPHIEU Người lập phiếu Nvarchar Khác rỗng 100
Phiếu Chi Giảng Viên:
- Tên thực thể: PHIEUCHIGIANGVIEN
- Tân từ: Mỗi phiếu chi giảng viên (PHIEUCHIGV) cĩ một số phiếu chi giảng dạy (SOPHIEUCHIGD) duy nhất để phân biệt với phiếu chi khác, mỗi phiếu chi cịn cĩ ngày chi (NGAYCHI) và người chi (NGUOICHI) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu
Ràng buộc Độ dài
1 SOPHIEUCHIGD Số phiều chi GD Nvarchar Khĩa chính 10 2 NGAYCHI Ngày Chi Datetime Khác rỗng 50 3 NGUOICHI Người chi Nvarchar Khác rỗng 100
Phiếu Thưởng:
- Tên thực thể: PHIEUTHUONG.
- Tân từ: Mỗi phiếu thưởng (PHIEUTHUONG) cĩ một số phiếu thưởng (SOPHIEUTHUONG) duy nhất để phân biệt với phiếu thưởng khác, mỗi phiếu thưởng cịn cĩ ngày lập (NGAYLAP), lý do (LYDO), Người chi (NGUOICHI) duy nhất.
ST T
Tên thuộc tính Tên đầy đủ Kiểu dữ liệu
Ràng buộc Độ dài
1 SOPHIEUTHUONG Số phiếu thưởng Nvarchar Khĩa chính 10 2 NGAYLAP Ngày lập phiếu Datetime Khác rỗng 8
3 LYDO Lý do Nvarchar Khác rỗng 100
4 NGUOILAPPHIEU Người lập phiếu Nvarchar Khác rỗng 100
Sinh Viên:
- Tên thực thể: SINHVIEN.
- Tân từ: Mỗi sinh vien( SINHVIEN) cĩ một mã sinh viên( MASINHVIEN) duy nhất để phân biệt với các sinh viên khác, mỗi sinh viên cịn cĩ một tên sinhviên ( TENSINHVIEN) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MASINHVIEN Mã sinh viên Nvarchar Khĩa chính 10 2 TENSINHVIEN Tên sinh viên Nvarchar Khác rỗng 100
Học Kỳ:
- Tên thực thể: HOCKY.
- Tân từ: Mỗi học kỳ( HOCKY) cĩ một mã học kỳ ( MAHOCKY) duy nhất
để phân biệt với các học kỳ khác, mỗi học kỳ cịn cĩ một tên học kỳ( TENHOCKY) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MAHOCKY Mã học kỳ Nvarchar Khĩa chính 10 2 TENHOCKY Tên học kỳ Nvarchar Khác rỗng 100
Lớp Học:
- Tên thực thể: LOPHOC.
- Tân từ: Mỗi lớp( LOPHOC) cĩ một mã lớp ( MA LOP) duy nhất để phân biệt với các lớp khác, mỗi lớp cịn cĩ một tên lớp ( TEN LOP) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MA LOP Mã lớp Nvarchar Khĩa chính 10
2 TEN LOP Tên lớp Nvarchar Khác rỗng 100
Mơn Học:
- Tên thực thể: MONHOC.
- Tân từ: Mỗi mơn(MONHOC) cĩ một mơn ( MAMON) duy nhất để phân biệt với các mơn khác, mỗi mơn cịn cĩ một tên mơn ( TENMON) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MAMON Mã mơn Nvarchar Khĩa chính 10
2 TENMON Tên mơn Nvarchar Khác rỗng 100
Ngành Học:
- Tên thực thể: NGANHHOC.
- Tân từ: Mỗi ngành(NGANHHOC) cĩ một ngành ( MANGANH) duy nhất
để phân biệt với các ngành khác, mỗi ngành cịn cĩ một tên ngành ( TENNGANH) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MANGANH Mã ngành Nvarchar Khĩa chính 10 2 TENNGANH Tên ngành Nvarchar Khác rỗng 100
Bậc Học:
- Tên thực thể: BACHOC.
- Tân từ: Mỗi bậc (BACHOC) cĩ một bậc ( MABAC) duy nhất để phân biệt với các bậc khác, mỗi bậc cịn cĩ một tên bậc ( TENBAC) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MABAC Mã bậc Nvarchar Khĩa chính 10
2 TENBAC Tên bậc Nvarchar Khác rỗng 100
Phiếu Thu Học Phí:
- Tên thực thể: PHIEUTHUHOCPHI.
- Tân từ: Mỗi phiếu thu học phí (PHIEUTHUHOCPHI) cĩ một số phiếu thu học phí ( SOPHIEUTHUHOCPHI) duy nhất để phân biệt với các phiếu thu học
(LYDO), người lập phiếu (NGUOILAPPHIEU)duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu
Ràng buộc Độ dài
1 SOPHIEUTHU_HP Số phiếu thu học phí
Numberic Khĩa chính 10
2 NGAYLAP Ngàylập phiếu Datetime Khác rỗng 8
3 LYDO Lý do Nvarchar Khác rỗng 100
4 NGUOILAPPHIEU Người lập phiếu Nvarchar Khác rỗng 100
Phiếu Đăng Ký:
- Tên thực thể: PHIEUDANGKY
- Tân từ: Mỗi phiếu đăng ký (PHIEUDANGKY) cĩ một số phiếu đăng ký (SOPHIEUDK) duy nhất để phân biệt với phiếu đăng ký khác, mỗi phiếu đăng ký cịn cĩ ngày đăng ký (NGAYDK) duy nhất.
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 SOPHIEUDK Số phiếu đăng ký Nvarchar Khĩa chính 10 2 NGAYDK Ngày đăng ký Datetime Khác rỗng 100
VI.1.4. .Mơ tả các mối kết hợp:
- Mỗi Ngành cĩ một hay nhiều Bậc và mỗi Bậc cĩ một hay nhiều Ngành
Mơ tả mối kết hợp Ngành_Bậc:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MABAC Mã bậc Nvarchar Khĩa chính 10
2 MANGANH Mã Ngành Nvarchar Khĩa chính 10
- Mỗi Ngành_Bậc cĩ một hay nhiều Học Kỳ và mỗi Học Kỳ cũng cĩ một hay nhiều Ngành_Bậc:
Mơ tả mối kết hợp Học Kỳ-Ngành_Bậc:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu
Ràng buộc Độ dài
1 MANGANH Mã Ngành Nvarchar Khĩa chính 10 2 MABAC Mã Bậc Nvarchar Khĩa chính 10 3 MAHOCKY Mã Học Kỳ Numberic Khĩa chính 10 4 NAMHOC Năm Học Nvarchar Khĩa chính 10 5 SOTIEN Số Tiền Numberic Khác rỗng 100
- Mỗi Sinh Viên chỉ học một Lớp, một Lớp cĩ một hay nhiều Sinh Viên:
Mơ tả mối kết hợp SINHVIEN_LOP:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MASINHVIEN Mã Sinh Viên Nvarchar Khĩa chính 10
2 MALOP Mã Lớp Nvarchar Khĩa chính 10
- Mỗi Mơn Học cĩ một hay nhiều Phiếu Đăng Ký, mỗi Phiếu đăng Ký cũng cĩ một hay nhiều Mơn Học:
- Mơ tả mối kết hợp PhieuDK_MonHoc
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MAMON Mã Mơn Nvarchar Khĩa chính 10
2 SOPHIEUDK Số Phiếu DK Nvarchar Khĩa chính 10
- Mỗi Sinh Viên cĩ một hay nhiều Phiếu Thu HP, mỗi Phiếu Thu HP chỉ
Mơ tả mối kết hợp PhieuThuHP_SinhVien:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MASINHVIEN Mã Sinh Viên Nvarchar Khĩa chính 10 2 SOPHIEUTHUHP Số Phiếu Thu
Học Phí
Numberic Khĩa chính 10
- Mỗi Học Kỳ cĩ một hay nhiều Phiếu Thu HP, mỗi Phiếu Thu HP chỉ
thuộc một Học Kỳ:
Mơ tả mối kết hợp PhieuThuHP_HocKy:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MAHOCKY Mã Học Kỳ Numberic Khĩa chính 10 2 SOPHIEUTHUHP Số Phiếu Thu
Học Phí
Numberic Khĩa chính 10
- Mỗi Giảng Viên cĩ một hay nhiều Phiếu Chi GD, mỗi Phiếu Chi GD thuộc một Giảng Viên:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MAGIANGVIEN Mã Giảng Viên Nvarchar Khĩa chính 10 2 SOPHIEUCHIGD Số Phiếu Chi
Giảng Dạy
Numberic Khĩa chính 10
- Mỗi Phiếu Chi Giảng Dạy cĩ một hay nhiều Mơn Học, mỗi Mơn Học cĩ một hoặc nhiều Phiếu Chi Giảng Dạy:
Mơ tả mối kết hợp MonHoc_PhieuChiGD:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu
Ràng buộc Độ dài
1 SOPHIEUCHIGD Số phiếu chi Giảng Dạy
Nvarchar Khĩa chính 10
2 MAMON Ma Mơn Nvarchar Khĩa chính 10
4 HESO Hệ Số Numberic Khác rỗng 8
- Mỗi Giảng Viên cĩ một hoặc khơng cĩ Chức Vụ nào, mỗi Chức vụ cĩ một hay nhiều Giảng Viên:
Mơ tả mối kết hợp GiangViên_ChucVu:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MAGIANGVIEN Mã Giảng Viên Nvarchar Khĩa chính 10 2 MACHUCVU Mã Chức Vụ Nvarchar Khĩa chính 10
- Mỗi Nhân Viên cĩ một hoặc khơng cĩ Chức Vụ nào, mỗi Chức vụ cĩ một hay nhiều Nhân Viên:
Mơ tả mối kết hợp NhanVien_ChucVu:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MANHANVIEN Mã Nhân Viên Nvarchar Khĩa chính 10 2 MACHUCVU Mã Chức Vụ Nvarchar Khĩa chính 10
- Mỗi Giảng Viên cĩ một hoặc khơng cĩ Mức Lương nào, mỗi Mức Lương cĩ một hay nhiều Giảng Viên:
Mơ tả mối kết hợp GiangVien_MucLuong:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MAGIANGVIEN Mã Giảng Viên Nvarchar Khĩa chính 10 2 MAMUCLUONG Mã Mức Lương Nvarchar Khĩa chính 10
- Mỗi Nhân Viên cĩ một cĩ Mức Lương, mỗi Mức Lương cĩ một hay nhiều Nhân Viên:
Mơ tả mối kết hợp NhanVien_MucLuong:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 MANHANVIEN Mã Nhân Viên Nvarchar Khĩa chính 10 2 MAMUCLUONG Mã Mức Lương Nvarchar Khĩa chính 10
- Mỗi Giảng Viên khơng cĩ hoặc cĩ nhiều Phiếu Chi Tháng, mỗi Phiếu Chi Tháng cĩ một hay nhiều Giảng Viên:
Mơ tả mối kết hợp PhieuChiThang_GiangVien:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 SOPHIEUCHI Số phiếu chi Tháng Nvarchar Khĩa chính 10 2 MAGV Ma Giảng Viên Nvarchar Khĩa chính 10
- Mỗi Nhân Viên cĩ một hoặc cĩ nhiều Phiếu Chi Tháng, mỗi Phiếu Chi Tháng cĩ một hay nhiều Nhân Viên:
Mơ tả mối kết hợp NhanVien_PhieuChiThang:
STT Tên thuộc tính Tên đầy đủ Kiểu dữ liệu Ràng buộc Độ dài
1 SOPHIEUCHI Số phiếu chi Tháng Nvarchar Khĩa chính 10 2 MANV Ma Nhân Viên Nvarchar Khĩa chính 10
VI.1.5. Chuyển các thực thể kết hợp sang quan hệ:
Từ mơ hình thực thể kết hợp ở trên ta chuyển sang mơ hình quan hệ
sau đây. Với từng thực thể trong mơ hình kết hợp ta tạo thành quan hệ Q tương
ứng theo nguyên tắc:
- Tên thực thể chuyển thành tên quan hệ.
- Thuộc tính của thực thể chuyển thành thuộc tính của quan hệ. - Khĩa của thực thể chuyển thành khĩa của quan hệ.
Đối với mối kết hợp( n, n), giữa các thực thể tạo nên mối quan hệ
Q. Quan hệ Q này chứa các thuộc tính hiện cĩ của mối kết hợp, đồng thời bổ
sung các thuộc tính khố chính của hai hay nhiều của mối kết hợp trong quan hệ
Q. Các thuộc tính này là khố chính của mối quan hệ.
Đối với mối kết hợp( 1, n) bổ sung các thuộc tính khố chính của thực thể phía n vào thực thể phía 1, thuộc tính mới bổ sung này là khố ngoại của thực thể phía 1.
thực thể phía 1 vào thực thể phía 1, thuộc tính mới bổ sung này là khố ngoại của thực thể phía 1.
- NHANVIEN( MANHANVIEN, HOTENNHANVIEN, GIOITINH, NGAYSINH, DIACHI , DIENTHOAI , HINHANH, MACHUCVU, NGHIEPVU, MAPHONGBAN, TRANGTHAI, USERNAME, PASSWORD, MAQUYEN).
-GIANGVIEN(MAGIANGVIEN , HOTENGIANGVIEN , GIOITINH , NGAYSINH, DIACHI, DIENTHOAI , HINHANH, MACHUCVU , HOCVI, CHUYENMON ,MAPHONGBAN, TRANGTHAI)
- SINHVIEN(MASINHVIEN , HOTENSINHVIEN , NGAYSINH , GIOITINH, DIACHI , DIENTHOAI, MALOP, TRANGTHAI )
- LOPHOC (MALOP,TENLOP, SISO, MANGANH, MABAC) - NGANHHOC (MANGANH , TENNGANH)
- BACHOC (MABAC ,TENBAC)
- HOCKY(MAHOCKY , TENHOCKY,THOIGIANBATDAU, THOIGIANKETTHUC)
- NGANH_BAC(MANGANH,MABAC)
- HOCKY_HOCPHI (MANGHANH, MABAC, MAHOCKY , MANAMHOC , SOTIEN)
- MONHOC (MAMONHOC, TENMONHOC, SOTINCHI, DONGIA) - PHIEUDANGKY (SOPHIEUDK, NGAYDK, MASINHVIEN) - DANGKY_MONHOC (SOPHIEUDK, MAMON)
- PHIEUTHUHOCPHI (SOPHIEUTHU, NGAYLAP,LYDO, NGUOILAPPHIEU, MASINHVIEN, MAHOCKY, SOTIEN )
- MUCLUONG (MAMUCLUONG , MUCLUONGCANBAN, PHUCAP, HESO, HESOTRACHNHIEM)
- CHITIETTRALUONG_GV (MAGIANGVIEN, MAMUCLUONG, NGAYTRA)
- CHITIETTRALUONG_NV (MANHANVIEN, MAMUCLUONG, NGAYTRA)
-PHIEUCHITHANG(SOPHIEUCHI , NGAYCHI ,LYDO, NGUOILAPPHIEU)
-PHIEUCHI_GV(SOPHIEUCHI-GD , NGAYCHI , NGUOILAPPHIEU, MAGIANGVIEN)
-TRALUONG_NV(SOPHIEUCHI ,SOTIEN, MANHANVIEN) -TRALUONG_GV(SOPHIEUCHI,SOTIEN,MAGIANGVIEN) -TRALUONG_GD(MAMON, SOPHIEUCHI-GD, HESO) - PHIEUTHUONG (SOPHIEUTHUONG, NGAYLAP, LYDO, NGUOICHI)
- THUONGNHANVIEN (SOPHIEUTHUONG, MANHANVIEN, TIENTHUONG)
- THUONGGIANGVIEN (SOPHIEUTHUONG, MAGIANGVIEN, TIENTHUONG)
- BAOHIEM (MABAOHIEM, TIENBAOHIEM, PHANTRAM) - CHITIETBAOHIEM (MABAOHIEM, MAMUCLUONG, SOTIEN) - PHONGBAN (MAPHONGBAN, TENPHONGBAN, VITRI)
- QUYEN (MAQUYEN, TENQUYEN)
VI.2. Xác Định Dạng Chuẩn Của Lược Đồ Cơ Sở Dữ Liệu:
Lược đồ cơ sở dữ liệu( LDCSDL) này đạt dạng chuẩn 1 vì mọi thuộc tính khơng khĩa đều là thuộc tính nguyên tố( tức chỉ cĩ 1 ngữ nghĩa duy nhất).
LDCSDL này đạt dạng chuẩn 2 vì mọi thuộc tính khơng khố của các phụ thuộc hàm đều khơng phụ thuộc đầy đủ vào khĩa.
khơng phụ thuộc bắc cầu vào khĩa.
LDCSDL này đạt dạng chuẩn BCK vì mọi phụ thuộc hàm khơng hiển nhiên đều cĩ vế trái chứa khố( siêu khĩa).
VI.3. Ràng Buộc Tồn Vẹn Và Bảng Tầm Ảnh Hưởng:
VI.3.1. Ràng buộc tồn vẹn trên một quan hệ:
Ràng buộc về miền giá trị của thuộc tính: RB1: “thời gian bắt đầu một học kỳ phải nhỏ hơn thời gian kết thúc”. ĐK: ∀qi,qj∈THocKy , i≠j thì: qi.ThờiGianBatDau<qj.ThoiGianKetThuc Tầm ảnh hưởng: RB1 Thêm Xĩa Sửa HOC KY +(ThoiGianBatDau,ThoiGianKetThuc) - +
RB2: “Hệ số lương của mỗi mức lương phải dương”.
ĐK: ∀q ∈TMucLuong thì: qi.HeSo >0 Tầm ảnh hưởng: RB2 Thêm Xĩa Sửa MucLuong +(HeSo) - + RB3: “Số Tín Chỉ của mỗi mơn học phải dương”. ĐK: ∀q ∈TMonHoc thì: qi.SoTinChi >0
Tầm ảnh hưởng:
RB3 Thêm Xĩa Sửa
MonHoc +(SoTinChi) - +
Ràng buộc liên bộ trên một lược đồ quan hệ ( ràng buộc về khĩa chính): RB4: Điều Kiện: ∀qi,qj∈TChucVu, i ≠ j thì: qi.MaChucVu ≠ qj.MaChucVu Tầm ảnh hưởng: RB4 Thêm Xĩa Sửa ChucVu +(MaChucVu) - + RB5: Điều Kiện: ∀qi,qj∈TNhanVien, i ≠ j thì: qi.MaNV ≠ qj./NhanVien Tầm ảnh hưởng: RB5 Thêm Xĩa Sửa NhanVien +(MaNV) - + RB6: Điều Kiện: ∀qi,qj∈TGiangVien, i ≠ j thì: qi.MaGV ≠ qj.MaGV Tầm ảnh hưởng: RB6 Thêm Xĩa Sửa GiangVien +(MaGV) - +
RB7: Điều Kiện: ∀qi,qj∈TSinhVien, i ≠ j thì: qi.MaSV ≠ qj.MaSV Tầm ảnh hưởng: RB7 Thêm Xĩa Sửa SinhVien +(MaSV) - + RB8: Điều kiện: ∀qi , qj∈ TTraLuongGiangVien, i ≠ j thì: qi. SoPhieuChi ≠ qj. SoPhieuChi hoặc qi.MaGV ≠ qj.MaGV Tầm ảnh hưởng: RB8 Thêm Xĩa Sửa
TraLuongGiangVien +(SoPhieuChi, MaGV) - +
RB9: Điều kiện: ∀qi , qj∈ TTraLuongNhanVien, i ≠ j thì: qi. SoPhieuChi ≠ qj. SoPhieuChi
hoặc qi.MaNV ≠ qj.MaNV Tầm ảnh hưởng:
RB9 Thêm Xĩa Sửa
TraLuongNhanVien +(SoPhieuChi, MaNV) - +
RB10: Điều Kiện: ∀qi,qj∈TPhieuChiGD, i ≠ j thì: qi.SoPhieuChiGD ≠ qj.SoPhieuChiGD Tầm ảnh hưởng:
RB10 Thêm Xĩa Sửa PhieuChiGD +(SoPhieuChiGD) - + RB11: Điều Kiện: ∀qi,qj∈TPhieuChiThang, i ≠ j thì: qi.SoPhieuChi ≠ qj.SoPhieuChi Tầm ảnh hưởng: RB11 Thêm Xĩa Sửa PhieuChiThang +(SoPhieuChi) - + RB12: Điều Kiện: ∀qi,qj∈TPhieuThuHocPhi, i ≠ j thì: qi.SoPhieuThu ≠ qj.SoPhieuThu Tầm ảnh hưởng: RB12 Thêm Xĩa Sửa PhieuThuHocPhi +(SoPhieuThu) - + RB13: Điều Kiện: ∀qi,qj∈TPhieuThuHocPhi_HocLai, i ≠ j thì: qi.SoPhieuThu_HL ≠ qj.SoPhieuThu_HL Tầm ảnh hưởng: RB13 Thêm Xĩa Sửa PhieuThuHocPhi_HocLai +(SoPhieuThu_HL) - +
VI.3.2. Ràng buộc tồn vẹn trên nhiều lược đồ quan hệ:
Ràng buộc về phụ thuộc tồn tại:
- RB14: ” MaSV là khĩa ngoại của PhieuThuHocPhi tham khảo từ SinhVien”. PhieuThuHocPhi [MaSV] ⊆ SinhVien [MaSV].