11.

Ngày mua hàng (NGHD) của một khách hàng thành viên sẽ lớn hơn hoặc bằng
ngày khách hàng đó đăng ký thành viên (NGDK)

 Nội dung:
∀ hd ∈ HOADON
∀ kh ∈ KHACHHANG (hd . MAKH =kh . MAKH → hd . NGHD ≥ kh . NGDK )
 Bối cảnh: HOADON, KHACHHANG
 Bảng tầm ảnh hưởng:

Thêm Xoá Sửa

HOADON + - +(MAKH,NGHD)

KHACHHANG - - +(NGDK)

I.12. Ngày bán hàng (NGHD) của một nhân viên phải lớn hơn hoặc bằng ngày nhân
viên đó vào làm

 Nội dung:
∀ hd ∈ HOADON
∀ nv ∈ NHANVIEN ( hd . MANV =nv . MANV →hd . NGHD ≥ nv . NGVL)
 Bối cảnh: HOADON, NHANVIEN
 Bảng tầm ảnh hưởng:

Thêm Xoá Sửa

HOADON + - +(MANV,NGHD)

NHANVIEN - - +(NGVL)

I.13. Mỗi một hóa đơn phải có ít nhất một chi tiết hóa đơn

 Nội dung:
∀ hd ∈ HOADON (∃ct ∈CTHD ( hd . SOHD=ct . SOHD ) )
 Bối cảnh: HOADON, CTHD
 Bảng tầm ảnh hưởng:

Thêm Xoá Sửa

HOADON + - -(*)

CTHD - + -(*)
14. Trị giá của một hóa đơn là tổng thành tiền (số lượng*đơn giá) của các chi tiết
thuộc hóa đơn đó

 Nội dung:
∀ hd ∈ HOADON ¿ )
 Bối cảnh: HOADON, CTHD, SANPHAM
 Bảng tầm ảnh hưởng:

Thêm Xoá Sửa

HOADON + - +(TRIGIA)

CTHD + + +(SL)

SANPHAM - + +(GIA)

15. Doanh số của một khách hàng là tổng trị giá các hóa đơn mà khách hàng thành
viên đó đã mua

 Nội dung:
 ∀ kh ∈ KHACHHANG ¿)
 Bối cảnh: KHACHHANG, HOADON
 Bảng tầm ảnh hưởng:

Thêm Xoá Sửa

KHACHHANG + - +(DOANHSO)

HOADON + + +(MAKH,TRIGIA)