Como restringir valores de linha em uma tabela para corresponder aos valores de linha em outra tabela?

Dado:

CREATE TABLE operation
(
  id BIGINT PRIMARY KEY GENERATED ALWAYS AS IDENTITY;
);

CREATE TABLE listing
(
  id BIGINT PRIMARY KEY GENERATED ALWAYS AS IDENTITY,
  operation_id BIGINT REFERENCES operation (id)
);

CREATE TABLE listing_card
(
  id BIGINT PRIMARY KEY GENERATED ALWAYS AS IDENTITY,
  listing_id BIGINT REFERENCES listing (id),
  listing_operation_id BIGINT REFERENCES operation (id),
  index SMALLINT NOT NULL,
  UNIQUE (listing_operation_id, index)
);

• Várias listagens podem fazer referência à mesma operação.

Como posso garantir que a tabela listingcontenha uma (id, operation_id)combinação que corresponda listing_cardà de (listing_id, listing_operation_id)?

Eu quero algo na linha de, FOREIGN KEY (listing_id, listing_operation_id) REFERENCES listing (id, operation_id)mas não posso fazer isso porque (id, operation_id)não é exclusivo (várias listagens podem fazer referência à mesma operação).

As operações são referenciadas por diferentes tipos de tabelas. O objetivo final do esquema acima é garantir que listing_card.indexseja exclusivo em todas as operações de listagem. Uma única operação pode ser referenciada por 3 listagens diferentes, mas seus índices de cartão devem ser únicos entre si (em toda a operação).