II XÂY DỰNG HỆ THỐNG:
4. Mô tả các ràng buộc toàn vẹn:
4.1 Bảng danh sách các ràng buộc toàn vẹn:
STT Mã ràng
buộc Mô tả Bảng
1 R1 Các diện tích của Địa ốc phải lớn hơn 0. DIAOC
2 R2 Giá bán của Địa ốc phải lớn hơn 0. DIAOC
3 R3 Kích cỡ của Mẫu quảng cáo Bảng phải lớn hơn 0.
GIATIEN_QC_BANG
4 R4 Giá tiền của Mẫu quảng cáo Bảng phải lớn hơn 0.
GIATIEN_QC_BANG
5 R5 Giá tiền của Mẫu quảng cáo Báo phải lớn hơn 0.
GIATIEN_QC_BAO
6 R6 Giá tiền tương ứng số lượng Tờ bướm phải lớn hơn 0.
GIATIEN_TOBUOM
7 R7 Số lượng Tờ bướm phải lớn hơn “Số lượng phát hành tối thiểu (50)”.
GIATIEN_TOBUOM
8 R8 Ký hiệu của Loại địa ốc không được trùng nhau (là duy nhất).
LOAIDIAOC
9 R9 Số từ mô tả thông tin địa ốc không quá 100.
NOIDUNG_QC
10 R10 Thời gian kết thúc rao bán địa ốc phải không nhỏ hơn thời gian bắt đầu ra bán.
PHIEUDANGKY
11 R11 Số tiền phải trả của khách hàng phải lớn hơn 0.
PHIEUDANGKY
4.2 Mô tả chi tiết các ràng buộc toàn vẹn:
- Các ràng buộc toàn vẹn của bảng DIAOC:
R1: Các diện tích của Địa ốc phải lớn hơn 0.
Nội dung: ∀do ∈ DIAOC: do.DienTichDat > 0 ˄ do.DienTichXayDung > 0
R2: Giá bán của Địa ốc phải lớn hơn 0. Nội dung: ∀do ∈ DIAOC: do.GiaBan > 0
Bảng tầm ảnh hưởng của các RBTV:
DIAOC Thêm Xóa Sửa
R1 + - +(DienTichDat, DienTichXayDung)
R2 + - +(GiaBan)
- Các ràng buộc toàn vẹn của bảng GIATIEN_QC_BANG:
R3: Kích cỡ của Mẫu quảng cáo Bảng phải lớn hơn 0. Nội dung: ∀gt ∈ GIATIEN_QC_BANG: gt.KichCo > 0
R4: Giá tiền của Mẫu quảng cáo Bảng phải lớn hơn 0. Nội dung: ∀gt ∈ GIATIEN_QC_BANG: gt.GiaTien > 0
Đại học Công Nghệ Thông Tin
Bảng tầm ảnh hưởng của các RBTV:
GIATIEN_QC_BANG Thêm Xóa Sửa
R3 + - +(KichCo)
R4 + - +(GiaTien)
- Các ràng buộc toàn vẹn của bảng GIATIEN_QC_BAO:
R5: Giá tiền của Mẫu quảng cáo Báo phải lớn hơn 0. Nội dung: ∀gt ∈ GIATIEN_QC_BAO: gt.GiaTien > 0
Bảng tầm ảnh hưởng của các RBTV:
GIATIEN_QC_BAO Thêm Xóa Sửa
R5 + - +(GiaTien)
- Các ràng buộc toàn vẹn của bảng GIATIEN_TOBUOM:
R6: Giá tiền tương ứng số lượng Tờ bướm phải lớn hơn 0. Nội dung: ∀gt ∈ GIATIEN_TOBUOM: gt.GiaTien > 0
R7: Số lượng Tờ bướm phải lớn hơn “Số lượng phát hành tối thiểu (50)”. Nội dung: ∀gt ∈ GIATIEN_TOBUOM: gt.SoLuong > 50
Bảng tầm ảnh hưởng của các RBTV:
GIATIEN_TOBUOM Thêm Xóa Sửa
R6 + - +(GiaTien)
R7 + - +(SoLuong)
- Các ràng buộc toàn vẹn của bảng LOAIDIAOC:
R8: Ký hiệu của Loại địa ốc không được trùng nhau (là duy nhất). Nội dung: ∀Ldo1, ∀Ldo2 ∈ LOAIDIAOC: Ldo1.KyHieu <> Ldo2
Bảng tầm ảnh hưởng của các RBTV:
LOAIDIAOC Thêm Xóa Sửa
R8 + - +(KyHieu)
- Các ràng buộc toàn vẹn của bảng NOIDUNGQC:
R9: Số từ mô tả thông tin địa ốc không quá 100.
Nội dung: ∀nd ∈ NOIDUNGQC: nd.ThongTinDiaOc.getSoTu() <= 100
Bảng tầm ảnh hưởng của các RBTV:
NOIDUNGQC Thêm Xóa Sửa
R9 + - +(ThongTinDiaOc)
- Các ràng buộc toàn vẹn của bảng PHIEUDANGKY:
R10: Thời gian kết thúc rao bán địa ốc phải không nhỏ hơn thời gian bắt đầu ra bán.
Đại học Công Nghệ Thông Tin
Nội dung: ∀pdk ∈ PHIEUDANGKY: pdk.DenNgay >= pdk.TuNgay
Bảng tầm ảnh hưởng của các RBTV:
PHIEUDANGKY Thêm Xóa Sửa
R10 + - +(TuNgay, DenNgay)
Đại học Công Nghệ Thông Tin