Лабы / ЛР1 / БД

CREATE TABLE IF NOT EXISTS student
(
	fullname VARCHAR(100) NOT NULL CHECK(fullname ~ '^[A-Za-zА-Яа-яЁё ]+$'),
	passport VARCHAR(10) NOT NULL UNIQUE PRIMARY KEY CHECK (LENGTH(passport)=10 AND passport ~ '^[0-9]{10}$'),
	faculty VARCHAR(100) NOT NULL CHECK(faculty ~ '^[A-Za-zА-Яа-яЁё ]+$'),
	field_of_study VARCHAR(100) NOT NULL CHECK(field_of_study ~ '^[A-Za-zА-Яа-яЁё ]+$')
);

CREATE TABLE IF NOT EXISTS lease_agreement
(
	payment INT NOT NULL CHECK( payment > 0 ),
	fullname VARCHAR(100) NOT NULL CHECK(fullname ~'^[A-Za-zА-Яа-яЁё ]+$'),
	agreement_id INT GENERATED ALWAYS AS IDENTITY NOT NULL PRIMARY KEY,
	student_passport VARCHAR(10) NOT NULL,
	room_id  INT NOT NULL CHECK (room_id > 0),
	room_size INT NOT NULL CHECK (room_size > 0),
	student_No_dormitory INT NOT NULL
);

CREATE TABLE IF NOT EXISTS personal
(
	fullname VARCHAR(100) NOT NULL CHECK(fullname ~ '^[A-Za-zА-Яа-яЁё ]+$'),
	personal_id INT GENERATED ALWAYS AS IDENTITY NOT NULL UNIQUE PRIMARY KEY,
	job_title VARCHAR(100) NOT NULL CHECK(job_title ~'^[A-Za-zА-Яа-яЁё ]+$')
);

CREATE TABLE IF NOT EXISTS dormitory
(
	total_rooms INT NOT NULL CHECK (total_rooms > 0),
	free_rooms INT NOT NULL CHECK (free_rooms > -1 ),
	dormitory_room_id INT NOT NULL,
	address VARCHAR(100) NOT NULL UNIQUE,
	No_dormitory INT GENERATED ALWAYS AS IDENTITY NOT NULL UNIQUE PRIMARY KEY,
	dormitory_personal_id INT NOT NULL
);