您可以实现这一点，而无需使用肮脏的技巧。只需扩展外键引用所选选项以包括 variable_id 和 choice_id。
这是一个工作演示。临时表，所以你可以轻松地玩它：
CREATE TABLE systemvariables (
variable_id int PRIMARY KEY
, choice_id int
, variable text
);
INSERT INTO systemvariables(variable_id, variable) VALUES
(1, 'var1')
, (2, 'var2')
, (3, 'var3')
;
CREATE TABLE variableoptions (
option_id int PRIMARY KEY
, variable_id int REFERENCES systemvariables ON UPDATE CASCADE ON DELETE CASCADE
, option text
, UNIQUE (option_id, variable_id) -- needed for the FK
);
ALTER TABLE systemvariables
ADD CONSTRAINT systemvariables_choice_id_fk
FOREIGN KEY (choice_id, variable_id) REFERENCES variableoptions(option_id, variable_id);
INSERT INTO variableoptions VALUES
(1, 'var1_op1', 1)
, (2, 'var1_op2', 1)
, (3, 'var1_op3', 1)
, (4, 'var2_op1', 2)
, (5, 'var2_op2', 2)
, (6, 'var3_op1', 3)
;
允许选择相关选项：
UPDATE systemvariables SET choice_id = 2 WHERE variable_id = 1;
UPDATE systemvariables SET choice_id = 5 WHERE variable_id = 2;
UPDATE systemvariables SET choice_id = 6 WHERE variable_id = 3;
但是没有出格：
UPDATE systemvariables SET choice_id = 7 WHERE variable_id = 3;
UPDATE systemvariables SET choice_id = 4 WHERE variable_id = 1;
ERROR: insert or update on table "systemvariables" violates foreign key constraint "systemvariables_choice_id_fk"
DETAIL: Key (choice_id,variable_id)=(4,1) is not present in table "variableoptions".
正是你想要的。
所有键列NOT NULL
我想我在后来的回答中找到了更好的解决方案：
寻址@ypercube's question in the comments，以避免具有未知关联的条目使所有键列NOT NULL，包括外键。
循环依赖通常会使这成为不可能。这是经典的 chicken-egg 问题：两者中的一个必须先出现才能产生另一个。但是自然找到了解决方法，Postgres 也是如此：可延迟的外键约束。
CREATE TABLE systemvariables (
variable_id int PRIMARY KEY
, variable text
, choice_id int NOT NULL
);
CREATE TABLE variableoptions (
option_id int PRIMARY KEY
, option text
, variable_id int NOT NULL REFERENCES systemvariables
ON UPDATE CASCADE ON DELETE CASCADE DEFERRABLE INITIALLY DEFERRED
, UNIQUE (option_id, variable_id) -- needed for the foreign key
);
ALTER TABLE systemvariables
ADD CONSTRAINT systemvariables_choice_id_fk FOREIGN KEY (choice_id, variable_id)
REFERENCES variableoptions(option_id, variable_id) DEFERRABLE INITIALLY DEFERRED; -- no CASCADING here!
新的变量和相关选项必须插入到同一个事务中：
BEGIN;
INSERT INTO systemvariables (variable_id, variable, choice_id)
VALUES
(1, 'var1', 2)
, (2, 'var2', 5)
, (3, 'var3', 6);
INSERT INTO variableoptions (option_id, option, variable_id)
VALUES
(1, 'var1_op1', 1)
, (2, 'var1_op2', 1)
, (3, 'var1_op3', 1)
, (4, 'var2_op1', 2)
, (5, 'var2_op2', 2)
, (6, 'var3_op1', 3);
END;
NOT NULL 约束不能延迟，它会立即强制执行。但是外键约束可以，因为我们是这样定义的。在交易结束时进行检查，避免了鸡蛋问题。
在这个编辑场景中，两个外键都被延迟。您可以按任意顺序输入变量和选项。
如果您使用 CTE 作为 一个语句 在两个表中输入相关条目，您甚至可以使其与普通的不可延迟 FK 约束一起工作详见the linked answer。
您可能已经注意到第一个外键约束没有CASCADE 修饰符。 （允许对variableoptions.variable_id 的更改级联返回是没有意义的。
另一方面，第二个外键有一个CASCADE 修饰符，但定义为DEFERRABLE。这有一些限制。 The manual:
NO ACTION 检查以外的参考操作不能被推迟，
即使约束被声明为可延迟的。
NO ACTION 是默认值。
因此，INSERT 上的引用完整性检查被推迟，但 DELETE 和 UPDATE 上声明的级联操作不会。在 PostgreSQL 9.0 或更高版本中不允许执行以下操作，因为在每条语句之后都会强制执行：
UPDATE option SET var_id = 4 WHERE var_id = 5;
DELETE FROM var WHERE var_id = 5;
详情：