条件唯一约束，相同外键忽略

Question

我有一种情况，我需要有条件地为两列（FK_1、NAME）维护一个唯一约束。该约束不应应用于第二个外键相同 (FK_2) 的行。

ID    FK_1     FK_2    NAME
1     2        3       'X01'
2     2        3       'X01-A'
3     2        3       'X01'  --Accepted
4     2        4       'X01'  --Violation
5     3        5       'X01'  --Accepted

我想要完成的是第 1、2 和 3 行是有效的，因为 FK_2 是相同的。它们打破了唯一约束，但唯一约束被忽略，因为 FK_2 是相同的。第 4 行将违反 (FK_1,NAME) 的唯一约束，因为 FK_2 将是新的。最后，由于 (FK_1,NAME) 上的唯一约束的正常功能，第 5 行很好。

它正在尝试确定如何处理复杂的第 3 行。

当 FK_2 的等价物在某种程度上被硬编码 (Oracle: function based index selective uniqueness) 时，我已经看到了几个如何解决同样问题的示例，但我不确定如何为外键解决这个问题，我真的无法控制 FK_2 的值。

我尝试实现基于函数的唯一索引，但它导致 ORA-04091 异常。

CREATE OR REPLACE FUNCTION UNQ_TEST_FUNCTION(var_fk_1 IN NUMBER, var_fk_2 IN NUMBER, var_name IN VARCHAR2) RETURN NUMBER DETERMINISTIC IS
    result          NUMBER;
BEGIN
    result := null;
    IF (var_fk_1 IS NULL OR var_fk_2 IS NULL OR var_name IS NULL ) THEN
        result := null;
    ELSE
        SELECT COUNT(ID) INTO result FROM TEST1 WHERE
            FK_2 != var_fk_2 AND FK_1 = var_fk_1 AND NAME = var_name;
        IF (result <= 0) THEN
            result := null;
        ELSE
            result := 1;
        END IF;
    END IF;

    RETURN result;
END;

CREATE UNIQUE INDEX UNQ_TEST ON TEST1 
    (
        UNQ_TEST_FUNCTION("FK_1","FK_2","NAME")
    ) 
;

INSERT INTO TEST1 (ID, FK_1, FK_2, NAME)
    VALUES (1, 2, 3, 'X01');

ORA-04091: table TEST1 is mutating, trigger/function may not see it

这个异常很合理，但是无法查询表让我不知去向。

Answer 1

一个有趣的问题。我会通过以下方式解决这个问题：

CREATE TABLE t123_fk(
  FK_1 int,
  FK_2 int,
  CONSTRAINT t123_fk_pk PRIMARY KEY(FK_1, FK_2),
  CONSTRAINT fk_2_is_new_constr_violated UNIQUE(FK_1)
);

CREATE TABLE t123(
  ID int,
  FK_1 int,
  FK_2 int,
  NAME varchar2(100),
  constraint t123_fk FOREIGN KEY(FK_1, FK_2) REFERENCES t123_fk
);

CREATE OR REPLACE TRIGGER some_name 
BEFORE INSERT OR UPDATE ON t123
FOR EACH ROW
BEGIN
  INSERT INTO t123_fk( fk_1, fk_2 )
  SELECT :new.FK_1, :new.FK_2 FROM dual
  WHERE NOT EXISTS(
     SELECT 1 FROM t123_fk
     WHERE fk_1 = :new.fk_1 AND fk_2 = :new.fk_2
  );
END;
/

表t123 是包含我们数据的主表。
表t123_fk和触发器是辅助的，它们只是用来帮助我们强制约束（顺便说一句，我们的约束在上面的代码中被命名为fk_2_is_new_constr_violated）。

---

这是一个测试——第四次插入将被数据库拒绝：

insert into t123( id, fk_1, fk_2, name) values(1,2,3,'X01');
insert into t123( id, fk_1, fk_2, name) values(2,2,3,'X01-A');
insert into t123( id, fk_1, fk_2, name) values(3,2,3,'X01');
insert into t123( id, fk_1, fk_2, name) values(4,2,4,'X01'); // this insert will be rejected
insert into t123( id, fk_1, fk_2, name) values(5,3,5,'X01');