-- baza za kinematograf

CREATE TABLE tip (
       tip TEXT PRIMARY KEY
);

CREATE TABLE film (
       naslov TEXT PRIMARY KEY,
       tip TEXT NOT NULL REFERENCES tip(tip),
       dolzina INTERVAL NOT NULL,
       opis TEXT
);

CREATE TABLE dvorana (
       ime TEXT PRIMARY KEY,
       kapaciteta INTEGER NOT NULL CHECK (kapaciteta > 0)
);

CREATE TABLE predvajanje (
       id SERIAL,
       film TEXT NOT NULL REFERENCES film(naslov),
       dvorana TEXT NOT NULL REFERENCES dvorana(ime),
       cas TIME NOT NULL,
       CONSTRAINT predvajanje_1 UNIQUE (dvorana, cas)
);
