test=# create table kunde (id int primary key, name text);
test=*# create table ausleihe (kunde int references kunde, ausleih_slot int, valid bool, check (ausleih_slot between 1 and 4));
test=*# create unique index idx_ausleihe on ausleihe (kunde, ausleih_slot) where valid;