Cela fonctionnerait pour INSERTS :
create or replace function is_superuser(int) returns boolean as $$
select exists (
select 1
from "user"
where id = $1
and superuser = true
);
$$ language sql;
Et puis une contrainte de vérification sur la table user_has_job :
create table user_has_job (
user_id integer references "user"(id),
job_id integer references job(id),
constraint user_has_job_pk PRIMARY KEY (user_id, job_id),
constraint chk_is_superuser check (is_superuser(user_id))
);
Fonctionne pour les encarts :
postgres=# insert into "user" (name,superuser) values ('name1',false);
INSERT 0 1
postgres=# insert into "user" (name,superuser) values ('name2',true);
INSERT 0 1
postgres=# insert into job (description) values ('test');
INSERT 0 1
postgres=# insert into user_has_job (user_id,job_id) values (1,1);
ERROR: new row for relation "user_has_job" violates check constraint "chk_is_superuser"
DETAIL: Failing row contains (1, 1).
postgres=# insert into user_has_job (user_id,job_id) values (2,1);
INSERT 0 1
Cependant c'est possible :
postgres=# update "user" set superuser=false;
UPDATE 2
Donc, si vous autorisez la mise à jour des utilisateurs, vous devez créer un déclencheur de mise à jour sur la table des utilisateurs pour empêcher cela si l'utilisateur a des emplois.