a. Ràng buộc toàn vẹn về miền giá trị: R1.Số lượng nhập>0
Bối cảnh: table ChiTietPhieuNhap Điều kiện: V pn Є ChiTietPhieuNhap Thì pn.[SoLuong]>0
Cuối: V
Tầm ảnh hưởng:
Thêm Xóa Sửa
ChiTietPhieuNhap + [SoLuong]
- +
[SoLuong]
Bối cảnh: table ChiTietHoaDon Điều kiện: V pn Є ChiTietHoaDon Thì pn.[SoLuong]>0
Cuối: V
Tầm ảnh hưởng:
Thêm Xóa Sửa
ChiTietHoaDon +
[SoLuong]
- +
[SoLuong]
R3.Đơn giá nhập>0
Bối cảnh: table ChiTietPhieuNhap
Điều kiện: V DonGia Є ChiTietPhieuNhap Thì pn.[DonGia]>0
Cuối: V
Tầm ảnh hưởng:
Thêm Xóa Sửa
PHIEUNHAPKHO +
[DonGia]
- +
[DonGia]
R4.Đơn giá bán
Bối cảnh: table ChiTietHoaDon
Thì pn.[Gia]>0 Cuối: V
Tầm ảnh hưởng:
Thêm Xóa Sửa
ChiTietHoaDon +
[Gia]
- +
[Gia]
R5.NgayLap <= NgayHienHanh Bối cảnh: table PhieuNhap
Điều kiện: V pn Є PhieuNhap Thì pn.[NgayLap] <=NgayHienHanh Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
PhieuNhap +
[NgayLap]
- +
[NgayLap]
R6.NgayGiao<=NgayHienHanh Bối cảnh: table HOADON
Thì hd.[NgayGiao] <= NgayHienHanh Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
HOADON +
[NgayGiao]
- +
[NgayGiao]
b. Ràng buộc toàn vẹn liên bộ
R1.Mỗi NCC đều có MaNCC đề phân biệt Bối cảnh:table NCC
Điều kiện: V ncc1,ncc2 Є NCC Thì ncc1.[MaNCC ]#ncc2.[ MaNCC] Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
NCC +
[MaNCC]
- +
[MaNCC]
R2.Mỗi KHACHHANG đều có một MaKH Bối cảnh:table KHACHHANG
Điều kiện: V kh1,kh2 Є KHACHHANG Thì kh1.[MaKH ]#kh2.[MaKH ]
Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
KHACHHANG +
[MaKH]
- +
[MaKH]
Bối cảnh: table NHANVIEN
Điều kiện: V nv1, nv2 Є NHANVIEN Thì nv1.[MaNV ]#nv2.[MaNV ] Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
NHANVIEN +
[MaNV]
- +
[MaNV]
R4.Mỗi PHIEUNHAPKHO đều có một SoPhieuNhap để phân biệt Bối cảnh: table PHIEUNHAP
Điều kiện: V pn1, pn2 Є PHIEUNHAP
Thì pn1.[SoPhieuNhap ]#pn2.[SoPhieuNhap] Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
PHIEUNHAP +
[SoPhieuNhap]
- +
[SoPhieuNhap]
R5.Mỗi HANGHOA đều có một MaHH để phân biệt Bối cảnh: table HANGHOA
Điều kiện: V hh1, hh2 Є HANGHOA Thì hh1.[MaHH ]#hh2.[MaHH ] Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
HANGHOA +
[MaHH]
- +
[MaHH]
R6.Mỗi PHIEUNHAPKHO đều có một SoPhieuNhap và MaHH để phân biệt Bối cảnh: PHIEUNHAPKHO
Thì pnk1.[SoPN] # pnk2.[SoPN] ^ pnk1.[MaHH] # pnk2.[MaHH] Cuối V
Tầm ảnh hưởng:
Thêm Xóa Sửa
PHIEUNHAPKHO +
[SoPhieuNhap],[MaHH]
- +
[SoPhieuNhap],[MaHH]
R7. Mỗi DONDH đều có một SoDH đề phân biệt Bối cảnh: DONDH
Điều kiện: V dh1, dh2 Є DONDH Thì dh1.[SoDH ]#dh2.[SoDH ] Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
DONDH +
[SoDH]
- +
[SoDH]
R8.Mỗi HOADON đều có một SoHD để phân biệt Bối cảnh: HOADON
Điều kiện: V hd1, hd2 Є HOADON Thì hd1.[SoDH ]#hd2.[SoDH ] Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
HOADON +
[SoDH]
- +
[SoDH]
R9. Mỗi KHACHHANGVANGLAI đều có MaKH đề phân biệt Bối cảnh: KHACHHANGVANGLAI
Thì khvl1.[SoDH ]#khvl2.[SoDH ] Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
KHACHHANGVL +
[MaKH]
- +
[MaKH]
R10.Mỗi KHACHHANGTHUONGXUYEN đều có MaKH đề phân biệt Bối cảnh: KHACHHANGTHUONGXUYEN
Điều kiện: V khtx1, khtx2 Є KHACHHANGTHUONGXUYEN Thì khtx1.[SoDH ]#khtx2.[SoDH ]
Cuối:
Tầm ảnh hưởng:
Thêm Xóa Sửa
KHACHHANGTX +
[MaKH]
- +
[MaKH]
R11. Mỗi CT-CUNGCAp đều có MaNCC và MaHH đề phân biệt Bối cảnh: CT_CUNGCAP
Điều kiện: V ctcc Є CT_CUNGCAP
Thì ctcc1.[MaNCC] # ctcc2.[MaNCC] ^ ctcc1.[MaHH] # ctcc2.[MaHH] Cuối V
Tầm ảnh hưởng:
Thêm Xóa Sửa
CT_CUNGCAP +
[MaNCC],[MaHH]
- +
[MaNCC],[MaHH]
R12.Mỗi CT-NHAP đều có SoPhieuNhap và MaHH để phân biệt Bối cảnh: CT_NHAP
Thì ctn1.[SoPhieuNhap] # ctn2.[SoPhieuNhap] ^ ctn1.[MaHH] # ctn2.[MaHH] Cuối V
Tầm ảnh hưởng:
Thêm Xóa Sửa
CT_NHAP +
[SoPhieuNhap],[MaHH]
- +
[SoPhieuNhap],[MaHH]
R13. Mỗi CT-GIAO đều có MaHH và SoHD để phân biệt Bối cảnh: CT_GIAO
Điều kiện: V ctg Є CT_GIAO
Thì ctg1.[SoHD] # ctg2.[SoHD] ^ ctg1.[MaHH] # ctg2.[MaHH] Cuối V
Tầm ảnh hưởng:
Thêm Xóa Sửa
CT_GIAO +
[SoHD],[MaHH]
- +
[SoHD],[MaHH]
Ràng buộc toàn vẹn về khóa ngoại: 1.Bối cảnh:DonDH,NhanVien.
Điều kiện : ddh DonDH,: nv NhanVien. Thì nv.[SoDH] ddh.[SoDH]
Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
NhanVien + - +
DonDH - + -
2.Bối cảnh:NCC,DonDH.
Thì ncc.[SoDH] ddh.[SoDH] Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
NCC + - +
DonDH - + -
3.Bối cảnh:NhanVien,HoaDon.
Điều kiện : nv , hd HoaDon. Thì nv.[SoHD] ddh.[SoHD]
Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
NhanVien + - +
HoaDon - + -
4.Bối cảnh:NhanVien,PHIEUNHAPKHO.
Điều kiện : nv NhanVien,: pnk PHIEUNHAPKHO. Thì nv.[SoPhieuNhap] pnk.[ SoPhieuNhap]
Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
NhanVien + - +
PHIEUNHAPKHO - + -
5.Bối cảnh:KHACHHANGVANGLAI,KHACHHANG.
Điều kiện : khvl KHACHHANGVANGLAI,: kh KHACHHANG. Thì khvl.[MaKH] kh.[ MaKH]
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
KHACHHANGVANGLAI + - +
KHACHHANG - + -
6.Bối cảnh:KHACHHANGTHUONGXUYEN,KHACHHANG. Điều kiện : khtx DonDH,: kh KHACHHANG. Thì khtx.[MaKH] kh.[ MaKH]
Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
KHACHHANGTHUONGXUYEN + - +
KHACHHANG - + -
7.Bối cảnh:CT_CUNGCAP,NCC.
Điều kiện : ctcc CT_CUNGCAP,: ncc NCC. Thì ctcc.[MaNCC] ncc.[ MaNCC]
Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
CT_CUNGCAP + - +
NCC - + -
8.Bối cảnh:CT_CUNGCAP,HANGHOA.
Điều kiện : ctcc CT_CUNGCAP,: hh HANGHOA. Thì ctcc.[MaHH] hh.[ MaHH]
Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
HANGHOA - + - 9.Bối cảnh: CT_NHAP, HANGHOA.
Điều kiện : ctn CT_NHAP,: hh HANGHOA. Thì ctn.[MaHH] hh.[ MaHH]
Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
CT_NHAP + - +
HANGHOA - + -
10.Bối cảnh: CT_NHAP, PHIEUNHAPKHO.
Điều kiện : ctn CT_NHAP,: pnk PHIEUNHAPKHO. Thì ctn.[SoPhieuNhap] pnk.[ SoPhieuNhap]
Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
CT_NHAP + - +
PHIEUNHAPKHO - + -
11.Bối cảnh: CT_GIAO, HANGHOA.
Điều kiện : ctg CT_GIAO,: hh HANGHOA. Thì ctg.[MaHH] hh.[ MaHH]
Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
CT_GIAO + - +
HANGHOA - + -
12.Bối cảnh: CT_GIAO, HOADON.
Thì ctg.[SoHD] hd.[ SoHD] Cuối
Bảng tầm ảnh hưởng:
Thêm xóa Sửa
CT_GIAO + - +