For this:"any given value of fk_col that there is a maximum of one row with bool_col = true."why don't you (instead) create partial unique index:CREATE UNIQUE INDEX on exclusion_example(fk_col, bool_col) WHERE bool_col IS TRUE;
pgsql-general by date:
Соглашаюсь с условиями обработки персональных данных