- Quản lý Nhân viên:
1. Danh sách các bảng dữ liệu: Bảng dữ liệu NhanVien:
3.1. RBTV trên một lược đồ quan hệ:
- RBTV miền giá trị:
+Mô tả: Với mỗi nhân viên ngày sinh phải nhỏ hơn ngày cấp giấy CMND
Bối cảnh: NhanVien
Biểu diễn: ∀n∈ NhanVien, n.NgaySinh < n.NgayCap Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
NhanVien + - +(NgaySinh, NgayCap)
+Mô tả: Với mỗi nhân viên ngày đóng BHXH phải lớn hơn ngày sinh
Bối cảnh: NhanVien
Biểu diễn: ∀n∈NhanVien, n.NgayDongBHXH > n.NgayVeCoQuanHienTai
Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
NhanVien + - +( NgayDongBHXH, NgaySinh)
+Mô tả: Với mỗi nhân viên ngày bổ nhiệm chức vụ hiện tại phải lớn hơn hoặc bằng ngày về cơ quan hiện tại
Bối cảnh: NhanVien
Biểu diễn: ∀n∈ NhanVien,
n.NgayBoNhiemChucVuHienTai >=
n.NgayVeCoQuanHienTai
Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
NhanVien + -
+
(NgayBoNhiemChucVuHienTai , NgayVeCoQuanHienTai)
R Thêm Xóa Sửa
NhanVien + - +( NgayDongBHXH, NgaySinh)
+Mô tả: Với mỗi nhân viên ngày vào Đảng phải lớn hơn ngày sinh
Bối cảnh: NhanVien
Biểu diễn: ∀n∈ NhanVien, n.NgayVaoDang > n.NgaySinh
Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
NhanVien + - +(NgayVaoDang,
NgaySinh)
+Mô tả: Với mỗi nhân viên ngày vào Đảng phải nhỏ hơn ngày chính thức vào Đảng
Bối cảnh: NhanVien
Biểu diễn: ∀n∈ NhanVien, n.NgayVaoDang < n.NgayChinhThuc
Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
NhanVien + - +(NgayVaoDang, NgayChinhThuc)
+Mô tả: Với mỗi nhân viên ngày tuyển dụng phải lớn hơn hoặc bằng ngày hợp đồng
Bối cảnh: NhanVien
Biểu diễn: ∀n∈NhanVien, n.NgayTuyenDung> n.NgayHopDong
Bảng tầm ảnh hưởng:
NhanVien + - +( NgayTuyenDung, NgayHopDong)
+Mô tả: Với mỗi nhân viên ngày bổ nhiệm chức vụ hiện tại phải lớn hơn hoặc bằng ngày tuyển dụng
Bối cảnh: NhanVien
Biểu diễn: ∀n∈ NhanVien, n.NgayBoNhiemChucVuHienTai > n.NgayTuyenDung
Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
NhanVien + -
+
(NgayBoNhiemChucVuHienTai , NgayTuyenDung)
+Mô tả: Với mỗi nhân viên mốc tính nâng lương lần sau phải lớn hơn hoặc bằng ngày hưởng
Bối cảnh: NhanVien
Biểu diễn: ∀n∈NhanVien, n.MocTinhNangLuongLanSau >= n.HuongLuongTuNgay
Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
NhanVien + -
+
( MocTinhNangLuongLan Sau,
HuongLuongTuNgay)
+Mô tả: Bậc lương của nhân viên phải lơn hơn hoặc bằng 0 và phải nhỏ hơn hoặc bằng 12
Bối cảnh: NhanVien
Biểu diễn: ∀bl∈NhanVien, bl.BacLuong >= 0 and bl.BacLuong <= 12
+Mô tả: Phụ cấp thâm niên vượt khung của nhân viên phải nhỏ hơn hoặc bằng 100%
Bối cảnh: NhanVien
Biểu diễn: ∀pctnvk∈NhanVien, pctnvk.PhuCapThamNienVuotKhung <= 100
Bảng tầm ảnh hưởng:
R Thêm Xóa Sửa
NhanVien + - (PhuCapThamNienVuotKhun+
g)