III.2.1 Thành phần dữ liệu ở mức logic
* Chuyển mơ hình thực thể kết hợp sang mơ hình quan hệ:
Từ mơ hình khái niệm là mơ hình biểu diễn tất cả đối tượng. Mỗi đối tượng là một thể hiện trong thể giới thực. Trong mơ hình quan hệ, chúng ta xét các mối quan hệ giữa từng đối tượng đó. Cụ thể thực hiện qua các bước sau:
Bước 1: Một thực thể chuyển thành một quan hệ tương ứng, đồng thời tạo khóa
chính cho quan hệ. Các quan hệ tương ứng được tạo thành là:
• BaoCaoDuKienPhaiThu(MaDKThu,Thang,TongCong,NgayLap) • BaoCaoDuKienPhaiTra(MaDKTra,Thang,NgayLap,TongCong) • BaoCaoPhaiThu(MaCNPTh,NamThu,NgayLap,TongCong) • BaoCaoPhaiTra(MaCNPT,NamTra,NgayLap,TongCong) • BieuMau(MaBM,TenBM,MucDichSuDung) • DuLieu(MaDL,TenDuLieu,MoTaDuLieu) • ChiTietCongNo(CTCN_MaCTCN,CTCN_ChungTuSo,
CTCN_ChungTuNgay, CTCN_DienGiai, CTCN_No, CTCN_Co, CTCN_ConLai)
• ChiTietDKThu(MaCTDKThu, TenNCC, PTTT, DienGiai, SoTien,
NgayGiaoHang, NgayThuDuKien, GhiChu)
• ChiTietDKTra(MaCTDKTra, TenNCC, PTTT, DienGiai, SoTien,
NgayGiaoHang, NgayChiDuKien, GhiChu)
• ChiTietPhaiThu(MaCTPThu, DienGiai, TenKhachHang, DVT,
SoDuDauKy, SoTienPhatSinh, SoTienDaThu, SoTienConPhaiThu)
• ChiTietPhaiTra(MaCTPTra, DienGiai, TenKhachHang, DVT,
SoDuDauKy, SoTienPhatSinh, SoTienDaTra, SoTienConPhaiTra)
• ChucDanh(MaCD,TenCD)
Sinh viên Xem Thơng tin trên các sổ chi tiết công nợ đã cập nhật
Lập Báo cáo công nợ phải thu và phải
trả
Sinh viên Xem Thông tin
trên chứng từ Cập nhật
Sổ chi tiết công nợ phải thu, phải trả
• DeBai(MaDB,TenDeBai,NoiDung,PhanLoai,NgayLamViec)
• GiaoVien(MaGV,TenGV,Username,Password,Quyen)
• HopDong(MaHD, TenHD, TrangThaiHD, HinhThucTT, ThoiHanTT,
MatHang, TongTienHD, TTBangChu, HTThamGia)
• KhachHang(MaKH, TenKH, DiaChi, DienThoai, SoTaiKhoan, NganHang,
NguoiDaiDien, ChucVu, MaSoThue, MaNH, SoDuDauKy, LoaiKH)
• LoaiBieuMau(MaLoai,TenLoai)
• SoCongNo(MaCN, CN_Bo, CN_DonVi, CN_DoiTuong, CN_TuNgay,
CN_DenNgay, CN_NgayLap)
Bước 2: Các mối kết hợp (1,n) sẽ chuyển thành một quan hệ tương ứng với
thuộc tính:
Thuộc tính khóa là kế thừa lại thuộc tính của các thực thể tham gia vào mối kết hợp. Những thuộc tính cịn lại là các thuộc tính phát sinh của mối kết hợp này.
• DeBai_HopDong(#MaDB,#MaHD,NgayLap)
• ChiTietBieuMau(#MaBM,#MaDL, #SoTT,GiaTriDung, GiaTriSai) Bước 3: Với hai thực thể có quan hệ và mối kết hợp là 1:n.
Bổ sung khóa chính của thực thể phía n vào thực thể phía 1.Thuộc tính khóa mới bổ sung này là khóa ngoại của thực thể phía 1
• BaoCaoDuKienPhaiThu(MaDKThu,Thang,TongCong,NgayLap,#MaDB) • BaoCaoDuKienPhaiTra(MaDKTra,Thang,NgayLap,TongCong,#MaDB) • BaoCaoPhaiThu(MaCNPTh,NamThu,NgayLap,TongCong,#MaDB) • BaoCaoPhaiTra(MaCNPT,NamTra,NgayLap,TongCong,#MaDB) • BieuMau(MaBM,TenBM,MucDichSuDung,#MaCD,#MaHD,#MaLoai) • DuLieu(MaDL,TenDuLieu,MoTaDuLieu) • ChiTietCongNo(CTCN_MaCTCN,CTCN_ChungTuSo,
CTCN_ChungTuNgay, CTCN_DienGiai, CTCN_No, CTCN_Co, CTCN_ConLai,#MaCN)
• ChiTietDKThu(MaCTDKThu, TenNCC, PTTT, DienGiai, SoTien,
NgayGiaoHang, NgayThuDuKien, GhiChu,#MaDKThu)
• ChiTietDKTra(MaCTDKTra, TenNCC, PTTT, DienGiai, SoTien,
NgayGiaoHang, NgayChiDuKien, GhiChu,# MaDKTra)
• ChiTietPhaiThu(MaCTPThu, DienGiai, TenKhachHang, DVT,
SoDuDauKy, SoTienPhatSinh, SoTienDaThu, SoTienConPhaiThu,#MaCNPTh)
• ChiTietPhaiTra(MaCTPTra, DienGiai, TenKhachHang, DVT,
SoDuDauKy, SoTienPhatSinh, SoTienDaTra, SoTienConPhaiTra,#MaCNPT)
• DeBai(MaDB,TenDeBai,NoiDung,PhanLoai,NgayLamViec,#MaGV)
• GiaoVien(MaGV,TenGV,Username,Password,Quyen)
• HopDong(MaHD, TenHD, TrangThaiHD, HinhThucTT, ThoiHanTT,
MatHang, TongTienHD, TTBangChu, HTThamGia,#MaKH)
• KhachHang(MaKH, TenKH, DiaChi, DienThoai, SoTaiKhoan,
NganHang, NguoiDaiDien, ChucVu, MaSoThue, MaNH, SoDuDauKy, LoaiKH)
• LoaiBieuMau(MaLoai,TenLoai)
• SoCongNo(MaCN, CN_Bo, CN_DonVi, CN_DoiTuong, CN_TuNgay,
CN_DenNgay, CN_NgayLap,#MaKH,#MaDB)
III.2.2 Ràng buộc toàn vẹn trên 1 quan hệ a) Ràng buộc khóa chính a) Ràng buộc khóa chính
* R1 : MaDKThu duy nhất trong BaoCaoDuKienPhaiThu
- Biểu diễn :
∀pi ∈ BaoCaoDuKienPhaiThu, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. BaoCaoDuKienPhaiThu <> t2. BaoCaoDuKienPhaiThu
Bối cảnh : BaoCaoDuKienPhaiThu Tầm ảnh hưởng :
T X S
BaoCaoDuKienPhaiThu + - +( MaDKThu)
* R2 : MaDKTra duy nhất trong BaoCaoDuKienPhaiTra
- Biểu diễn :
∀pi ∈ BaoCaoDuKienPhaiTra, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. BaoCaoDuKienPhaiTra <> t2. BaoCaoDuKienPhaiTra
Bối cảnh : BaoCaoDuKienPhaiTra Tầm ảnh hưởng :
T X S
BaoCaoDuKienPhaiTra + - +( MaDKTra)
* R3 : MaCNPTh duy nhất trong BaoCaoPhaiThu
- Biểu diễn :
∀pi ∈ BaoCaoPhaiThu, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. BaoCaoPhaiThu <> t2. BaoCaoPhaiThu
Bối cảnh : BaoCaoPhaiThu Tầm ảnh hưởng :
T X S
* R4 : MaCNPT duy nhất trong BaoCaoPhaiTra
- Biểu diễn :
∀pi ∈ BaoCaoPhaiTra, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. BaoCaoPhaiTra <> t2. BaoCaoPhaiTra
Bối cảnh : BaoCaoPhaiTra Tầm ảnh hưởng :
T X S
BaoCaoPhaiTra + - +( MaCNPT)
* R5 : MaBM duy nhất trong BieuMau
- Biểu diễn :
∀pi ∈ BieuMau, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. BieuMau <> t2. BieuMau
Bối cảnh : BieuMau Tầm ảnh hưởng :
T X S
BieuMau + - +( MaBM)
* R6 : MaDL duy nhất trong DuLieu
- Biểu diễn :
∀pi ∈ DuLieu, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. DuLieu <> t2. DuLieu
Bối cảnh : DuLieu Tầm ảnh hưởng :
T X S
DuLieu + - +( MaDL)
* R7 : CTCN_MaCTCN duy nhất trong ChiTietCongNo
- Biểu diễn :
∀pi ∈ ChiTietCongNo, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. ChiTietCongNo <> t2. ChiTietCongNo
Bối cảnh : ChiTietCongNo Tầm ảnh hưởng :
T X S
ChiTietCongNo + - +( CTCN_MaCTCN)
* R8 : MaCTDKThu duy nhất trong ChiTietDKThu
- Biểu diễn :
∀pi ∈ ChiTietDKThu, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. ChiTietDKThu <> t2. ChiTietDKThu
Bối cảnh : ChiTietDKThu Tầm ảnh hưởng :
T X S
* R9 : MaCTDKTra duy nhất trong ChiTietDKTra
- Biểu diễn :
∀pi ∈ ChiTietDKTra, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. ChiTietDKTra<> t2. ChiTietDKTra
Bối cảnh : ChiTietDKTra Tầm ảnh hưởng :
T X S
ChiTietDKTra + - +( MaCTDKTra )
* R10 : MaCTPThu duy nhất trong ChiTietPhaiThu
- Biểu diễn :
∀pi ∈ ChiTietPhaiThu, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. ChiTietPhaiThu<> t2. ChiTietPhaiThu
Bối cảnh : ChiTietPhaiThu Tầm ảnh hưởng :
T X S
ChiTietPhaiThu + - +( MaCTPThu)
* R11 : MaCTPTra duy nhất trong ChiTietPhaiTra
- Biểu diễn :
∀pi ∈ ChiTietPhaiTra, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. ChiTietPhaiTra <> t2. ChiTietPhaiTra
Bối cảnh : ChiTietPhaiTra Tầm ảnh hưởng :
T X S
ChiTietPhaiTra + - +( MaCTPTra)
* R12: MaCD duy nhất trong ChucDanh
- Biểu diễn :
∀pi ∈ ChucDanh, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. ChucDanh<> t2. ChucDanh
Bối cảnh : ChucDanh Tầm ảnh hưởng :
T X S
ChucDanh + - +( MaCD)
* R13: MaDB duy nhất trong DeBai
- Biểu diễn :
∀pi ∈ DeBai, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. DeBai<> t2. DeBai
Bối cảnh : DeBai Tầm ảnh hưởng :
T X S
* R14: MaGV duy nhất trong GiaoVien
- Biểu diễn :
∀pi ∈ GiaoVien, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. GiaoVien<> t2. GiaoVien
Bối cảnh : GiaoVien Tầm ảnh hưởng :
T X S
GiaoVien + - +( MaGV)
* R15: MaHD duy nhất trong HopDong
- Biểu diễn :
∀pi ∈ HopDong, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. HopDong <> t2. HopDong
Bối cảnh : HopDong Tầm ảnh hưởng :
T X S
HopDong + - +( MaHD)
* R16: MaKH duy nhất trong KhachHang
- Biểu diễn :
∀pi ∈ KhachHang, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. KhachHang <> t2. KhachHang
Bối cảnh : KhachHang Tầm ảnh hưởng :
T X S
KhachHang + - +( MaKH)
* R17: MaLoai duy nhất trong LoaiBieuMau
- Biểu diễn :
∀pi ∈ LoaiBieuMau, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. LoaiBieuMau<> t2. LoaiBieuMau
Bối cảnh : LoaiBieuMau Tầm ảnh hưởng :
T X S
LoaiBieuMau + - +( MaLoai)
* R18: MaCN duy nhất trong SoCongNo
- Biểu diễn :
∀pi ∈ SoCongNo, ∀t1,t2 ∈ pi,t1 <> t2
→ t1. SoCongNo<> t2. SoCongNo
Bối cảnh : SoCongNo Tầm ảnh hưởng :
T X S
b)Ràng buộc miền giá trị * R19 : BaoCaoDuKienPhaiThu. TongCong > =0 + Biểu diễn : ∀h ∈ BaoCaoDuKienPhaiThu → h.Long(TongCong)>=0 + Bối cảnh : BaoCaoDuKienPhaiThu + Tầm ảnh hưởng : T X S BaoCaoDuKienPhaiThu + - +( TongCong) * R20 : BaoCaoDuKienPhaiTra.TongCong >= 0 + Biểu diễn : ∀h ∈ BaoCaoDuKienPhaiTra → h.Long(TongCong)>=0 + Bối cảnh : BaoCaoDuKienPhaiTra + Tầm ảnh hưởng : T X S BaoCaoDuKienPhaiTra + - +( TongCong) * R21 : BaoCaoPhaiThu.TongCong >= 0 + Biểu diễn : ∀h ∈ BaoCaoPhaiThu → h.Long(TongCong)>=0 + Bối cảnh : BaoCaoPhaiThu + Tầm ảnh hưởng : T X S BaoCaoPhaiThu + - +( TongCong) * R22 : BaoCaoPhaiTra.TongCong >= 0 + Biểu diễn : ∀h ∈ BaoCaoPhaiTra → h.Long(TongCong)>=0 + Bối cảnh : BaoCaoPhaiTra + Tầm ảnh hưởng : T X S BaoCaoPhaiTra + - +( TongCong) * R23 : ChiTietCongNo. CTCN_ConLai >= 0 + Biểu diễn : ∀h ∈ ChiTietCongNo → h.Long(CTCN_ConLai)>=0 + Bối cảnh : ChiTietCongNo + Tầm ảnh hưởng : T X S ChiTietCongNo + - +( CTCN_ConLai) * R24 : ChiTietCongNo. CTCN_No >= 0 + Biểu diễn : ∀h ∈ ChiTietCongNo → h.Long(CTCN_No)>=0 + Bối cảnh : ChiTietCongNo + Tầm ảnh hưởng :
T X S
ChiTietCongNo + - +( CTCN_No)
* R25 : ChiTietCongNo. CTCN_ Co >= 0
+ Biểu diễn :
∀h ∈ ChiTietCongNo → h.Long(CTCN_ Co)>=0
+ Bối cảnh : ChiTietCongNo + Tầm ảnh hưởng : T X S ChiTietCongNo + - +( CTCN_ Co) * R26 : ChiTietDKThu. SoTien >= 0 + Biểu diễn : ∀h ∈ ChiTietDKThu SoTien>=0 + Bối cảnh : ChiTietDKThu + Tầm ảnh hưởng : T X S ChiTietDKThu + - +( SoTien) * R27 : ChiTietDKTra. SoTien >= 0 + Biểu diễn : ∀h ∈ ChiTietDKTra SoTien>=0 + Bối cảnh : ChiTietDKTra + Tầm ảnh hưởng : T X S ChiTietDKTra + - +( SoTien) * R28 : ChiTietPhaiThu. SoTienPhatSinh >= 0 + Biểu diễn : ∀h ∈ ChiTietPhaiThu SoTienPhatSinh >=0 + Bối cảnh : ChiTietPhaiThu + Tầm ảnh hưởng : T X S ChiTietPhaiThu + - +( SoTienPhatSinh ) * R29 : ChiTietPhaiThu. SoTienDaThu >= 0 + Biểu diễn : ∀h ∈ ChiTietPhaiThu SoTienDaThu >=0 + Bối cảnh : ChiTietPhaiThu + Tầm ảnh hưởng : T X S ChiTietPhaiThu + - +( SoTienDaThu)
* R30 : ChiTietPhaiThu. SoTienConPhaiThu >= 0 + Biểu diễn : ∀h ∈ ChiTietPhaiThu SoTienConPhaiThu >=0 + Bối cảnh : ChiTietPhaiThu + Tầm ảnh hưởng : T X S ChiTietPhaiThu + - +( SoTienConPhaiThu) * R31 : ChiTietPhaiTra. SoTienPhatSinh >= 0 + Biểu diễn : ∀h ∈ ChiTietPhaiTra SoTienPhatSinh >=0 + Bối cảnh : ChiTietPhaiTra + Tầm ảnh hưởng : T X S ChiTietPhaiTra + - +( SoTienPhatSinh) * R32 : ChiTietPhaiTra. SoTienDaTra >= 0 + Biểu diễn : ∀h ∈ ChiTietPhaiTra SoTienDaTra >=0 + Bối cảnh : ChiTietPhaiTra + Tầm ảnh hưởng : T X S ChiTietPhaiTra + - +( SoTienDaTra) * R33 : ChiTietPhaiTra. SoTienConPhaiTra >= 0 + Biểu diễn : ∀h ∈ ChiTietPhaiTra SoTienConPhaiTra >=0 + Bối cảnh : ChiTietPhaiTra + Tầm ảnh hưởng : T X S ChiTietPhaiTra + - +( SoTienConPhaiTra) * R34 : HopDong. TongTienHD >= 0 + Biểu diễn : ∀h ∈ HopDong TongTienHD >=0 + Bối cảnh : HopDong + Tầm ảnh hưởng : T X S HopDong + - +( TongTienHD)
III.2.3 Ràng buộc toàn vẹn trên nhiều quan hệ a) Ràng buộc tồn tại a) Ràng buộc tồn tại
* R35 : DeBai.MaDB tồn tại trong BaoCaoDuKienPhaiThu
+ Biểu diễn :
BaoCaoDuKienPhaiThu [MaDB] ⊆ DeBai [MaDB]
+ Bối cảnh : DeBai, BaoCaoDuKienPhaiThu + Tầm ảnh hưởng :
T X S
DeBai + - +(MaDB)
BaoCaoDuKienPhaiThu - + +
* R36: DeBai.MaDB tồn tại trong BaoCaoDuKienPhaiTra
+ Biểu diễn :
BaoCaoDuKienPhaiTra [MaDB] ⊆ DeBai [MaDB]
+ Bối cảnh : DeBai, BaoCaoDuKienPhaiTra + Tầm ảnh hưởng :
T X S
DeBai + - +(MaDB)
BaoCaoDuKienPhaiTra - + +
* R37: DeBai.MaDB tồn tại trong BaoCaoPhaiThu
+ Biểu diễn :
BaoCaoPhaiThu [MaDB] ⊆ DeBai [MaDB]
+ Bối cảnh : DeBai, BaoCaoPhaiThu + Tầm ảnh hưởng :
T X S
DeBai + - +(MaDB)
BaoCaoPhaiThu - + +
* R38: DeBai.MaDB tồn tại trong BaoCaoPhaiTra
+ Biểu diễn :
BaoCaoPhaiTra [MaDB] ⊆ DeBai [MaDB]
+ Bối cảnh : DeBai, BaoCaoPhaiTra + Tầm ảnh hưởng :
T X S
DeBai + - +(MaDB)
BaoCaoPhaiTra - + +
* R39: DeBai.MaDB tồn tại trong SoCongNo
+ Biểu diễn :
SoCongNo [MaDB] ⊆ DeBai [MaDB]
+ Bối cảnh : DeBai, SoCongNo + Tầm ảnh hưởng :
DeBai + - +(MaDB)
SoCongNo - + +
* R40: DeBai.MaDB tồn tại trong DeBai_HopDong
+ Biểu diễn :
DeBai_HopDong [MaDB] ⊆ DeBai [MaDB]
+ Bối cảnh : DeBai, DeBai_HopDong + Tầm ảnh hưởng :
T X S
DeBai + - +(MaDB)
DeBai_HopDong - + +
* R41: ChucDanh.MaCD tồn tại trong BieuMau
+ Biểu diễn :
BieuMau [MaDB] ⊆ ChucDanh [MaCD]
+ Bối cảnh : ChucDanh, BieuMau + Tầm ảnh hưởng :
T X S
ChucDanh + - +(MaCD)
BieuMau - + +
* R42: HopDong.MaHD tồn tại trong BieuMau
+ Biểu diễn :
BieuMau [MaHD] ⊆ HopDong [MaHD]
+ Bối cảnh : HopDong, BieuMau + Tầm ảnh hưởng :
T X S
HopDong + - +( MaHD)
BieuMau - + +
* R43: LoaiBieuMau.MaLoai tồn tại trong BieuMau
+ Biểu diễn :
BieuMau [MaLoai] ⊆ LoaiBieuMau [MaLoai]
+ Bối cảnh : LoaiBieuMau, BieuMau + Tầm ảnh hưởng :
T X S
LoaiBieuMau + - +( MaLoai)
BieuMau - + +
* R44: SoCongNo. MaCN tồn tại trong ChiTietCongNo
+ Biểu diễn :
ChiTietCongNo [MaCN] ⊆ SoCongNo [MaCN]
+ Bối cảnh : SoCongNo, ChiTietCongNo + Tầm ảnh hưởng :
T X S
SoCongNo + - +( MaCN)
* R45: BaoCaoDuKienPhaiThu. MaDKThu tồn tại trong ChiTietDKThu
+ Biểu diễn :
ChiTietDKThu [MaDKThu] ⊆ BaoCaoDuKienPhaiThu [MaDKThu]
+ Bối cảnh : BaoCaoDuKienPhaiThu, ChiTietDKThu + Tầm ảnh hưởng :
T X S
BaoCaoDuKienPhaiThu + - +( MaDKThu)
ChiTietDKThu - + +
* R46: BaoCaoDuKienPhaiTra. MaDKTra tồn tại trong ChiTietDKTra
+ Biểu diễn :
ChiTietDKTra [MaDKTra] ⊆ BaoCaoDuKienPhaiTra [MaDKTra]
+ Bối cảnh : BaoCaoDuKienPhaiTra, ChiTietDKTra + Tầm ảnh hưởng :
T X S
BaoCaoDuKienPhaiTra + - +( MaDKTra)
ChiTietDKTra - + +
* R47: BaoCaoPhaiThu. MaCNPTh tồn tại trong ChiTietPhaiThu
+ Biểu diễn :
ChiTietPhaiThu [MaCNPTh] ⊆ BaoCaoPhaiThu [MaCNPTh]
+ Bối cảnh : BaoCaoPhaiThu, ChiTietPhaiThu + Tầm ảnh hưởng :
T X S
BaoCaoPhaiThu + - +( MaCNPTh)
ChiTietPhaiThu - + +
* R48 : BaoCaoPhaiTra. MaCNPT tồn tại trong ChiTietPhaiTra
+ Biểu diễn :
ChiTietPhaiTra [MaCNPT] ⊆ BaoCaoPhaiTra [MaCNPT]
+ Bối cảnh : BaoCaoPhaiTra, ChiTietPhaiTra + Tầm ảnh hưởng :
T X S
BaoCaoPhaiTra + - +( MaCNPT)
ChiTietPhaiTra - + +
* R49 : GiaoVien. MaGV tồn tại trong DeBai
+ Biểu diễn :
DeBai [MaGV] ⊆ GiaoVien [MaGV]
+ Bối cảnh : GiaoVien, DeBai + Tầm ảnh hưởng :
T X S
GiaoVien + - +( MaGV)
* R50 : KhachHang. MaKH tồn tại trong HopDong
+ Biểu diễn :
HopDong [MaKH] ⊆ KhachHang [MaKH]
+ Bối cảnh : KhachHang, HopDong + Tầm ảnh hưởng :
T X S
KhachHang + - +( MaKH)
HopDong - + +
* R51: KhachHang. MaKH tồn tại trong SoCongNo
+ Biểu diễn :
SoCongNo [MaKH] ⊆ KhachHang [MaKH]
+ Bối cảnh : KhachHang, SoCongNo + Tầm ảnh hưởng :
T X S
KhachHang + - +( MaKH)
SoCongNo - + +
* R52: HopDong. MaHD tồn tại trong DeBai_HopDong
+ Biểu diễn :
DeBai_HopDong [MaHD ] ⊆ HopDong [MaHD ]
+ Bối cảnh : HopDong, DeBai_HopDong + Tầm ảnh hưởng :
T X S
HopDong + - +( MaHD )
DeBai_HopDong - + +
* R53 : BieuMau. MaBM tồn tại trong ChiTietBieuMau
+ Biểu diễn :
ChiTietBieuMau [MaBM ] ⊆ BieuMau [MaBM ]
+ Bối cảnh : BieuMau, ChiTietBieuMau + Tầm ảnh hưởng :
T X S
BieuMau + - +( MaBM )
ChiTietBieuMau - + +
* R54 : DuLieu. MaDL tồn tại trong ChiTietBieuMau
+ Biểu diễn :
ChiTietBieuMau [MaDL ] ⊆ DuLieu [MaDL ]
+ Bối cảnh : DuLieu, ChiTietBieuMau + Tầm ảnh hưởng :
T X S
DuLieu + - +( MaDL )
b) Ràng buộc liên thuộc tính, liên quan hệ
* R55: BaoCaoDuKienPhaiThu. NgayLap >= SoCongNo.CN_NgayLap
+ Biểu diễn :
∀h ∈ BaoCaoDuKienPhaiThu & k ∈ SoCongNo → h. NgayLap >= k. CN_NgayLap
+ Bối cảnh : BaoCaoDuKienPhaiThu, SoCongNo + Tầm ảnh hưởng :
T X S
BaoCaoDuKienPhaiThu + - +( NgayLap)
SoCongNo - + +( CN_NgayLap)
* R56: BaoCaoDuKienPhaiTra. NgayLap >= SoCongNo.CN_NgayLap
+ Biểu diễn :
∀h ∈ BaoCaoDuKienPhaiTra & k ∈ SoCongNo → h. NgayLap >= k. CN_NgayLap
+ Bối cảnh : BaoCaoDuKienPhaiTra, SoCongNo + Tầm ảnh hưởng :
T X S
BaoCaoDuKienPhaiTra + - +( NgayLap)
SoCongNo - + +( CN_NgayLap)
* R57: BaoCaoPhaiThu. NgayLap >= BaoCaoDuKienPhaiThu. NgayLap
+ Biểu diễn :
∀h ∈ BaoCaoPhaiThu & k ∈ BaoCaoDuKienPhaiThu → h. NgayLap >= k. NgayLap
+ Bối cảnh : BaoCaoPhaiThu, BaoCaoDuKienPhaiThu + Tầm ảnh hưởng :
T X S
BaoCaoPhaiThu + - +( NgayLap)
BaoCaoDuKienPhaiThu - + +( NgayLap)
* R58: BaoCaoPhaiTra. NgayLap >= BaoCaoDuKienPhaiTra. NgayLap
+ Biểu diễn :
∀h ∈ BaoCaoPhaiTra & k ∈ BaoCaoDuKienPhaiTra → h. NgayLap >= k. NgayLap
+ Bối cảnh : BaoCaoPhaiTra, BaoCaoDuKienPhaiTra + Tầm ảnh hưởng :
T X S
BaoCaoPhaiTra + - +( NgayLap)
BaoCaoDuKienPhaiTra - + +( NgayLap)
* R59: SoCongNo. CN_NgayLap >= DeBai. NgayLamViec
+ Biểu diễn :
∀h ∈ SoCongNo & k ∈ DeBai → h. CN_NgayLap >= k. NgayLamViec
+ Bối cảnh : SoCongNo, DeBai + Tầm ảnh hưởng :
T X S
SoCongNo + - +( CN_NgayLap)
* R60: BaoCaoDuKienPhaiThu. TongCong >= ChiTietCongNo. CTCN_ConLai
+ Biểu diễn :
∀h ∈ BaoCaoDuKienPhaiThu & k ∈ ChiTietCongNo → h. TongCong >= k.
CTCN_ConLai
+ Bối cảnh : BaoCaoDuKienPhaiThu, ChiTietCongNo + Tầm ảnh hưởng :
T X S
BaoCaoDuKienPhaiThu + - +( TongCong)
ChiTietCongNo - + +( CTCN_ConLai)
* R60: BaoCaoDuKienPhaiTra. TongCong >= ChiTietCongNo. CTCN_ConLai
+ Biểu diễn :
∀h ∈ BaoCaoDuKienPhaiTra & k ∈ ChiTietCongNo → h. TongCong >= k.
CTCN_ConLai
+ Bối cảnh : BaoCaoDusKienPhaiTra, ChiTietCongNo + Tầm ảnh hưởng :
T X S
BaoCaoDuKienPhaiTra + - +( TongCong)
ChiTietCongNo - + +( CTCN_ConLai)
* R61: BaoCaoPhaiThu. TongCong >= ChiTietCongNo. CTCN_ConLai
+ Biểu diễn :
∀h ∈ BaoCaoPhaiThu & k ∈ ChiTietCongNo → h. TongCong >= k. CTCN_ConLai
+ Bối cảnh : BaoCaoPhaiThu, ChiTietCongNo + Tầm ảnh hưởng :
T X S
BaoCaoPhaiThu + - +( TongCong)
ChiTietCongNo - + +( CTCN_ConLai)
* R62: BaoCaoPhaiTra. TongCong >= ChiTietCongNo. CTCN_ConLai
+ Biểu diễn :
∀h ∈ BaoCaoPhaiTra & k ∈ ChiTietCongNo → h. TongCong >= k. CTCN_ConLai
+ Bối cảnh : BaoCaoPhaiTra, ChiTietCongNo + Tầm ảnh hưởng :
T X S
BaoCaoPhaiTra + - +( TongCong)
III.2.4 Thành phần xử lý ở mức logic
Biểu đồ 3.12 : Xử lý cho việc quản lý tình huống của giáo viên
TT hợp lệ TT Ko hợp lệ Bắt đầu Giáo viên Đăng nhập Đăng nhập lại Vào màn hình quản lý tình huống Thêm mới tình huống Chỉnh sửa nội dung tình huống Xóa tình huống
Biểu đồ 3.13 : Xử lý cho việc thêm mới tình huống
Bắt đầu
Thêm mới tình huống
Tạo nội dung tình huống Thêm hợp đồng có sẳn vào tình huống Thêm mới hợp đồng
Tạo nội dung cho hợp đồng Lập các chứng từ đi kèm theo hợp đồng Lập các sổ chi tiết công nợ cho các khách hàng
Lập kế hoạch thu chi
Lập báo cáo công nợ phải thu và phải trả
Biểu đồ 3.14 : Xử lý cho việc chỉnh sửa tình huống ,thêm hợp đồng mới vào tình huống Thêm hợp đồng vào tình huống đã có Lập chứng từ đi kèm với hợp đồng mới
Cập nhật sổ chi tiết công nợ cho khách hàng thuộc hợp đồng vừa tạo
Cập nhật kế hoạch thu hoặc kế hoạch chi
Cập nhật báo cáo công nợ phải thu hoặc phải trả
Kết thúc Bắt đầu
Biểu đồ 3.15 : Mơ hình xử lý cho việc thực hiện quy trình của sinh viên