C. THIẾT KẾ
b) Ràng buộc toàn vẹn liên thuộc tính –liên quan hệ
*RB5
*RB6
Bối cảnh: KHÁCH HÀNG(Customer)
Mô tả: CMND/Passport,Visa phải có đủ 9 kí tự hoặc 13 kí tự cho Passport Biểu diễn: ∀ customer ∈ Customer: customer.Idcode=xxxxxxxxx Bảng tầm ảnh hưởng:
Tên Thêm Xóa Sửa
Customer + - -(Idcode)
Bối cảnh: DỊCH VỤ (Service) Mô tả: Giá của dịch vụ phải >=0
Biểu diễn: ∀ service ∈ Service: service.Price=>0 Bảng tầm ảnh hưởng:
Tên Thêm Xóa Sửa
Service + - +(Price)
Bối cảnh: PHÒNG(ROOM),LOẠI PHÒNG(Kind)
Mô tả:Phòng phải có giá nằm trong các trường hợp sau (350.000,280.000,260.000,230.000) Biểu diễn: ∀ room ∈ Room: room∈ ( (350.000,280.000,260.000,230.000)) ^∃ kind∈Kind: room.KindID=kind.KindID
Bảng tầm ảnh hưởng:
Tên Thêm Xóa Sửa
Kind - + +(KindID)
Trang 97/113 *RB7
Tô Trung Đoàn (DTH061034) Khoa: Kĩ thuật-Công Nghệ-Môi Trường Huỳnh Văn Thiện (DTH0610) Lớp DH7TH
Bối cảnh: NHÂN VIÊN (Emloyee),PHÒNG BAN(Partial) Mô tả:Nhân viên phải thuộc một Bộ phận
Biểu diễn: ∀ employee ∈ Employee^∃ partial ∈ Partial :employee.PartialID=partial.Partial Bảng tầm ảnh hưởng:
Tên Thêm Xóa Sửa
Employee + + +( PartialID)
Partial - + +( PartialID)
Bối cảnh: BỘ PHẬN (Partial),NGƯỜI QUẢN LÝ (Manager) Mô tả:Bộ phận phải được quản lý bởi Người quản lý
Biểu diễn: ∀ manager ∈ Manager^∃ partial ∈ Partial : manager.ManagerID= partial.ManagerID
Bảng tầm ảnh hưởng:
Tên Thêm Xóa Sửa
Manager + - + (ManagerID)
*RB8
*RB9
(*) Một số trường hợp xóa Phòng không làm ảnh hưởng đến Hệ thống,tuy nhiên một số trường hợp lại ảnh hưởng đến các lược đồ quan hệ khác.
*RB10
*RB11
Bối cảnh: NGƯỜI QUẢN LÝ (Manager),CHỨC VỤ (Function)
Mô tả:Người quản lý sẽ có các chức vụ khác nhau hoặc có thể có nhiều chức vụ Biểu diễn: ∀manager∈Manager ^∃ function∈Function:
manager.FunctionID=function.FunctionID
Bảng tầm ảnh hưởng:
Tên Thêm Xóa Sửa
Manager + - +( FunctionID)
Function - + +( FunctionID)
Bối cảnh: Phòng(Room) ,Khách hàng(Customer), Thuê Phòng(HiringRoom) Mô tả:Khách hàng sẽ thuê Phòng thông qua Thuê Phòng
Biểu diễn: ∀customer∈Customer,room ∈Room,hiring∈Hiring:
customer.CustomerID=hiring.CustomerID^hiring.RoomID=room.RoomID
Bảng tầm ảnh hưởng:
Tên Thêm Xóa Sửa
HiringRoom + - +( RoomID)
Room - +(*) +( RoomID)
Bối cảnh: Phòng(Room) ,Khách hàng(Customer), đặt Phòng(OrdingRoom) Mô tả:Khách hàng sẽ đặt Phòng thông qua Đặt Phòng
Biểu diễn: ∀customer∈Customer,room ∈Room,ording∈Ording:
customer.CustomerID=ording.CustomerID^ording.RoomID=room.RoomID
Bảng tầm ảnh hưởng:
Tên Thêm Xóa Sửa
OrdingRoom + - +( RoomID)
Trang 99/113