CREATE TABLE hotel.hotel

(hno FIXED(4) PRIMARY KEY CONSTRAINT hno_cons CHECK hno > 0,

 name CHAR (50) NOT NULL,

 zip CHAR(5) CONSTRAINT zip_cons CHECK

   SUBSTR(zip,1,1) BETWEEN '0' AND '9' AND

   SUBSTR(zip,2,1) BETWEEN '0' AND '9' AND

   SUBSTR(zip,3,1) BETWEEN '0' AND '9' AND

   SUBSTR(zip,4,1) BETWEEN '0' AND '9' AND

   SUBSTR(zip,5,1) BETWEEN '0' AND '9',

 address CHAR (40) NOT NULL,

FOREIGN KEY hotel_zip_in_city (zip) REFERENCES hotel.city ON DELETE CASCADE)