第三次作业_2016302580242_刘瑞康1
需积分: 0 194 浏览量
2022-08-08
20:16:10
上传
评论
收藏 15KB DOCX 举报
Exer3 Part I
CREATE DOMAIN HotelNumber AS INT UNSIGNED;
CREATE DOMAIN HotelName AS VARCHAR(32);
CREATE DOMAIN City AS VARCHAR(64);
CREATE DOMAIN RoomNumber AS INT
CHECK (VALUE BETWEEN 1 AND 100);
CREATE DOMAIN Type AS CHAR(6)
CHECK (VALUE IN (‘Single’, ‘Double’, ‘Family’));
CREATE DOMAIN Price AS INT UNSIGNED;
CREATE DOMAIN GuestNumber AS INT UNSIGNED;
CREATE DOMAIN DateFrom AS DATE;
CREATE DOMAIN DateTo AS DATE;
CREATE TABLE Hotel(
hotelNo HotelNumber NOT NULL,
hotelName HotelName NOT NULL,
city City NOT NULL,
PRIMARY KEY (hotelNo)
);
CREATE TABLE Room(
roomNo RoomNumber NOT NULL,
hotelNo HotelNumber NOT NULL,
type Type NOT NULL,
price Price NOT NULL,
PRIMARY KEY (roomNo, hotelNo),
FOREIGN KEY (hotelNo)
);
CREATE TABLE Booking(
hotelNo HotelNumber NOT NULL,
guestNo GuestNumber NOT NULL,
dateFrom DateFrom NOT NULL,
dateTo DateTo NOT NULL,
roomNo RoomNumber NOT NULL,
PRIMARY KEY (hotelNo, guestNo, dateFrom),
FOREIGN KEY (hotelNo)
);
评论0