I. Thiết kế chức năng:
3. Ràng buộc toàn vẹn tham chiếu:
3.1. Mỗi nhân viên phải thuộc một phòng ban quản lý.
Bối cảnh: NHANVIEN, PHONGBAN
∀a ∈ NHANVIEN, ∃b ∈ PHONGBAN: a.PhongBan = b.ID Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
PHONGBAN - + +(ID)
NHANVIEN + - +(PhongBan)
Bối cảnh: NHANVIEN, CHUCVU
∀a ∈ NHANVIEN, ∃b ∈ CHUCVU: a.ChucVu = b.ID Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
CHUCVU - - +(ID)
NHANVIEN + - +(ChucVu)
3.3. Mỗi nhân viên phải thuộc một quốc tịch.
Bối cảnh: THONGTINNHANVIEN,QUOCTICH
∀a ∈ THONGTINNHANVIEN, ∃b ∈ QUOCTICH: a.QuocTich = b.ID Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
QUOCTICH - - +(ID)
THONGTINNHANVIEN + - +(QuocTich)
3.4. Mỗi nhân viên phải thuộc một dân tộc.
Bối cảnh: THONGTINNHANVIEN, DANTOC
∀a ∈ THONGTINNHANVIEN, ∃b ∈ DANTOC: a.DanToc = b.ID Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
DANTOC - - +(ID)
THONGTINNHANVIEN + - +(DanToc)
Tương tự mỗi nhân viên phải thuộc một tôn giáo, một trình độ tin học, trình độ chính trị, …
3.5. Mỗi nhân viên phải có một thông tin nhân viên.
Bối cảnh: NHANVIEN, THONGTINNHANVIEN
∀a ∈ THONGTINNHANVIEN, ∃b ∈ NHANVIEN: a.ID = b.ID Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
NHANVIEN + - +(ID)
THONGTINNHANVIEN - + +(ID)
Bối cảnh: NHANVIEN, QUATRINHCONGTAC
∀a ∈ NHANVIEN, ∃b ∈ QUATRINHCONGTAC: a.ID = b.ID Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
QUATRINHCONGTAC - - +(ID)
NHANVIEN + - +(ID)
3.7. Mỗi nhân viên sẽ có thông tin về khen thưởng của cá nhân.
Bối cảnh: NHANVIEN, KHENTHUONG
∀a ∈ NHANVIEN, ∃b ∈ KHENTHUONG: a.ID = b.ID Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
KHENTHUONG - - +(ID)
NHANVIEN + - +(ID)
Tương tự mỗi nhân viên sẽ có thông tin về kỷ luật, phụ cấp, giảm trừ, luơng…
3.8. Mỗi hợp đồng phải thuộc một loại hợp đồng.
Bối cảnh: HOPDONG, LOAIHOPDONG
∀a ∈ HOPDONG, ∃b ∈ LOAIHOPDONG: a.ID = b.ID Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
HOPDONG - + +(LoaiHopDong)
LOAIHOPDONG + - +(ID)
3.9. Mỗi bảng lương từng tháng sẽ có một nhật ký bản lương.
Bối cảnh: BANGLUONG, NHATKYBANGLUONG
∀a ∈ BANGLUONG, ∃b ∈ NHATKYBANGLUONG: a.Thang = b.Thang Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
BANGLUONG - + +(Thang)
NHATKYBANGLUONG + - +(Thang)
Bối cảnh: UNGVIEN, QUOCTICH
∀a ∈ UNGVIEN, ∃b ∈ QUOCTICH: a.QuocTich = b.ID Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
QUOCTICH - - +(ID)
UNGVIEN + - +(QuocTich)
Ngoài ra mỗi ứng viên phải thuộc một dân tộc, một tôn giáo, trình độ chuyên môn, trình độ tin học, trình độ ngoại ngữ, trình độ chính trị…
3.11. Mọi thân nhân phải có mối quan hệ gia đình với một nhân viên trong công ty.
Bối cảnh: THANNHAN, NHANVIEN
∀a ∈ THANNHAN, ∃b ∈ NHANVIEN: b.ID = a.NHANVIEN_ID
Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
THANNHAN + - +(NHANVIEN_ID)
NHANVIEN - + +(ID)