Как мога да дефинирам това ограничение?

Решение за това, което искате

Ако приемем, че искате да наложите това:

1. "Id_Lot" всъщност съществува в "Lot"."Code" . -> FK ограничение
2. "Lot"."Empty" за мястото е TRUE само по време на проверката.

Вие можете направете това с NOT VALID CHECK ограничение с помощта на фалшив IMMUTABLE функция за проверка на другата маса. Подробности:

• Деактивирайте всички ограничения и проверки на таблици, докато възстановявате дъмп

Но вашият модел на данни е нестабилен в редица аспекти. Бих предложил много по-чист подход.

По-чист дизайн с ограничение за изключване

Не съхранявайте дали партидата в момента е празна излишно с партидата. Това е много податливо на грешки и е податливо на проблеми с паралелността. Наложете, че всяка партида може да бъде взета само веднъж наведнъж с ограничение за изключване . За да работи това, запазете часа на излизане в ticket , допълнително.

CREATE TABLE lot (
  lot_id   varchar(4) NOT NULL PRIMARY KEY  -- I would use integer if possible
, lot_type text NOT NULL
);

Няма излишно текущо състояние в lot таблица.

За да работи ограничението за изключване, имате нужда от допълнителния модул btree_gist . Подробни инструкции:

CREATE TABLE ticket (
  ticket_id  serial PRIMARY KEY
, during     tsrange NOT NULL
, license_plate text NOT NULL REFERENCES "Vehicle"("L_Plate"),
, lot_id     int NOT NULL REFERENCES  lot
, CONSTRAINT lot_uni_ticket EXCLUDE USING gist (lot_id WITH =, during WITH &&)
, CONSTRAINT during_lower_bound_not_null CHECK (NOT lower_inf(during))
, CONSTRAINT during_bounds CHECK (lower_inc(during) AND NOT upper_inc(during))
);