3122410248-Nguyễn Nhật Nam

QUẢN LÝ ĐỀ ÁN
RBTV 1: Mỗi đề án phải có một phòng ban chủ trì.
- Bối cảnh: DEAN, PHONGBAN
- Ngôn ngữ hình thức:
∀t Є DEAN (
∃u Є PHONGBAN (t.PHONG = u.MAPHG)
)
- Bảng tầm ảnh hưởng:
RBTV 1 Thêm Xóa Sửa
DEAN + - + (PHONG)
PHONGBAN - + + (MAPHG)

RBTV 2: Mỗi đề án phải có ít nhất một nhân viên tham gia.

- Bối cảnh: DEAN, PHANCONG
- Ngôn ngữ hình thức:
∀t Є DEAN (
Σ({u Є PHANCONG | t.MADA = u.MADA}) >= 1
)
- Bảng tầm ảnh hưởng:
RBTV 2 Thêm Xóa Sửa
DEAN + - + (MADA)
PHANCONG - + + (MANV)

RBTV 3: Mỗi nhân viên chỉ được tham gia tối đa 10 đề án cùng lúc.
- Bối cảnh: NHANVIEN, PHANCONG
- Ngôn ngữ hình thức:
∀t Є NHANVIEN (
Σ({u Є PHANCONG | t.MANV = u.MANV}) <= 10)
)
- Bảng tầm ảnh hưởng:
RBTV 3 Thêm Xóa Sửa
NHANVIEN - - -
PHANCONG + - + (MANV)

RBTV 4: Mỗi trưởng phòng chỉ được tham gia một đề án với vai trò quản lý.
- Bối cảnh: NHANVIEN, PHONGBAN, PHANCONG
- Ngôn ngữ hình thức:
∀t Є NHANVIEN (
∃u Є PHONGBAN (t.MANV = u.TRPHG) ᴧ
Σ({v Є PHANCONG | t.MANV = v.MANV}) = 1
)
- Bảng tầm ảnh hưởng:
RBTV 4 Thêm Xóa Sửa
NHANVIEN - + + (MANV)
PHONGBAN + + + (TRPHG,
 MAPHG)
PHANCONG + - + (MANV)

QUẢN LÝ SINH VIÊN

RBTV 1: Mã sinh viên (MASV) là duy nhất.
- Bối cảnh: SINHVIEN
- Ngôn ngữ hình thức:
∀ t1, t2 Є SINHVIEN (
t1 ≠ t2 ᴧ
t1.MASV ≠ t2.MASV
)
- Bảng tầm ảnh hưởng:
RBTV 1 Thêm Xóa Sửa
SINHVIEN + - + (MASV)

RBTV 2: Mỗi môn học phải có 1 khoa phụ trách

- Bối cảnh: MHOC, KHOA
- Ngôn ngữ hình thức:
∀t Є MHOC (
∃u Є KHOA (t.MAKHOA= u.MAKHOA)
)
- Bảng tầm ảnh hưởng:
RBTV 2 Thêm Xóa Sửa
MHOC + - + (MAKHOA)
KHOA - + + (MAKHOA)

RBTV 3: Mỗi sinh viên chỉ thuộc về một khoa.

- Bối cảnh: SINHVIEN
- Ngôn ngữ hình thức:
∀t Є SINHVIEN (
Σ({u Є KHOA | t.MAKHOA= u.MAKHOA}) = 1
)
- Bảng tầm ảnh hưởng:
RBTV 3 Thêm Xóa Sửa
SINHVIEN + - + (MAKHOA)
KHOA - + + (MAKHOA)