CREATE TABLE gps_request_types (
	id INT NOT NULL AUTO_INCREMENT PRIMARY KEY,
	name VARCHAR(255) UNIQUE
) ENGINE=InnoDB;

CREATE TABLE gps_screens (
	id INT NOT NULL AUTO_INCREMENT PRIMARY KEY,
	screen_size DECIMAL(2,1)
) ENGINE=InnoDB;

CREATE TABLE gps_requests (
	id INT NOT NULL AUTO_INCREMENT PRIMARY KEY,
	request_id INT NOT NULL,
	request_type_id INT NOT NULL,
	screen_id INT NOT NULL,
	approver_service_number INT NOT NULL,
	FOREIGN KEY fk_request_type (request_type_id) REFERENCES gps_request_types (id),
	FOREIGN KEY fk_screen (screen_id) REFERENCES gps_screens (id),
	FOREIGN KEY fk_approver (approver_service_number) REFERENCES users (service_number)
) ENGINE=InnoDB;