Các ràng buộc tồn vẹ n.

Một phần của tài liệu Đồ án tốt nghiệp - Phân tích thiết kế hệ thống - LẬP TRÌNH JSP TECHNOLOGY docx (Trang 118 - 121)

III. Định nghĩa các tag.

c)Các ràng buộc tồn vẹ n.

 (RB1) MAGY là khố chính của GOPY.

 (RB2) MAFILE là khố chính của FILES.

Đồ án tốt nghiệp Gvhd: Ts. Nguyễn Thúc Hải

Svth: Đinh Lê Giang Trang 93

 (RB4) MADG là khố chính của DANHGIA.

 (RB5) MANV là khố chính của NHANVIEN.

 (RB6) MABCN là khố chính của BAOCAONGAY.

 (RB7) MACV là khố chính của WORKS.

 (RB8) MADA là khố chính của DEAN.

 (RB9) MAXL là khố chính của XEPLOAI.

 (RB10) MANV&MACV là khố chính của PHANCONG.

 (RB11) MAPER là khố chính của PERMISSION.

 (RB12) MAGROUP là khố chính của GROUPS.

 (RB13) MAPER & MAGROUP là khố chính của

GROUP_PER.

 (RB14) MANV là khố ngoại của GOPY tham chiếu từ NHANVIEN.

 (RB15) MABC là khố ngoại của FILES tham chiếu từ BAOCAONGAY.

 (RB16) MACV là khĩa ngoại của BAOCAOTONGHOP tham chiếu từ WORKS

 (RB17) MAXL là khố ngoại của DANHGIA tham chiếu từ XEPLOAI.

 (RB18) MAGROUP là khố ngoại của NHANVIEN tham

Đồ án tốt nghiệp Gvhd: Ts. Nguyễn Thúc Hải

Svth: Đinh Lê Giang Trang 94

 (RB19) MACV là khố ngoại của BAOCAONGAY tham chiếu

từ WORKS.

 (RB20) MADG là khố ngoại của WORKS tham chiếu từ DANHGIA.

 (RB21) MADA là khố ngoại của WORKS tham chiếu từ DEAN.

 (RB22) MANV là khố ngoại của PHANCONG tham chiếu từ

NHANVIEN.

 (RB23) MACV là khố ngoại của PHANCONG tham chiếu từ

WORKS.

 (RB24) MAPER & MAGROUP là khố ngoại của (adsbygoogle = window.adsbygoogle || []).push({});

GROUP_PER tham chiếu từ GROUPS & PERMISSION.  (RB25) Ngày nhận chức > Ngày sinh + 24.

 (RB26) Ngày kết thúc >= Ngày bắt đầu.

 (RB27) Một cơng việc cĩ thể cĩ nhiều nhân viên nhưng tại một thời điểm chỉ cĩ một nhân viên thực hiện một cơng việc.

Đồ án tốt nghiệp Gvhd: Ts. Nguyễn Thúc Hải

Svth: Đinh Lê Giang Trang 95

Một phần của tài liệu Đồ án tốt nghiệp - Phân tích thiết kế hệ thống - LẬP TRÌNH JSP TECHNOLOGY docx (Trang 118 - 121)