PostgreSQL继承表外键引用问题：派生表无法关联如何解决？

PostgreSQL的表继承仅继承表结构与部分行为，子表的数据不会自动同步到父表中。当你设置Comprobante外键引用Compra时，数据库只会检查Compra表本身的行，不会包含CompraVirtual或CompraFisica的记录——这就是你插入CompraFisica后，Boleta关联失败的核心原因。

根据你的业务需求，推荐以下几种可行方案：

方案1：触发器同步父表数据 #

通过触发器自动维护父表Compra的记录，确保子表数据插入/更新/删除时，父表始终有匹配的行，让外键约束正常生效。

示例代码 #

1. 先创建父表与子表：

CREATE TABLE Compra (
    ID VARCHAR PRIMARY KEY,
    Fecha DATE NOT NULL,
    Monto_total NUMERIC NOT NULL
);

CREATE TABLE CompraFisica (
    Medio_Pago VARCHAR,
    DNI VARCHAR
) INHERITS (Compra);

CREATE TABLE CompraVirtual (
    Link VARCHAR
) INHERITS (Compra);

2. 创建同步父表的触发器函数：

CREATE OR REPLACE FUNCTION sync_compra_parent()
RETURNS TRIGGER AS $$
BEGIN
    IF TG_OP = 'INSERT' OR TG_OP = 'UPDATE' THEN
        -- 插入或更新时同步父表，冲突则覆盖
        INSERT INTO Compra (ID, Fecha, Monto_total)
        VALUES (NEW.ID, NEW.Fecha, NEW.Monto_total)
        ON CONFLICT (ID) DO UPDATE
        SET Fecha = NEW.Fecha, Monto_total = NEW.Monto_total;
        RETURN NEW;
    ELSIF TG_OP = 'DELETE' THEN
        -- 删除时同步删除父表对应行
        DELETE FROM Compra WHERE ID = OLD.ID;
        RETURN OLD;
    END IF;
END;
$$ LANGUAGE plpgsql;

3. 给两个子表绑定触发器：

CREATE TRIGGER trigger_comprafisica_sync
AFTER INSERT OR UPDATE OR DELETE ON CompraFisica
FOR EACH ROW EXECUTE FUNCTION sync_compra_parent();

CREATE TRIGGER trigger_compravirtual_sync
AFTER INSERT OR UPDATE OR DELETE ON CompraVirtual
FOR EACH ROW EXECUTE FUNCTION sync_compra_parent();

之后再执行你原来的插入语句，外键约束就能正常通过了。

方案2：触发器实现多态外键（推荐） #

如果不想维护父表的冗余数据，可以直接通过触发器验证ID存在于任意子表中，同时用字段标记关联的子表类型：

示例代码 #

1. 修改Comprobante表，增加类型标记字段：

CREATE TABLE Comprobante (
    Numero VARCHAR PRIMARY KEY,
    ID VARCHAR NOT NULL,
    DNI VARCHAR NOT NULL,
    compra_tipo VARCHAR CHECK (compra_tipo IN ('fisica', 'virtual')) -- 限制合法类型
);

CREATE TABLE Boleta INHERITS (Comprobante);
CREATE TABLE Factura INHERITS (Comprobante);

2. 创建验证外键的触发器函数：

CREATE OR REPLACE FUNCTION validate_compra_existence()
RETURNS TRIGGER AS $$
BEGIN
    IF NEW.compra_tipo = 'fisica' THEN
        IF NOT EXISTS (SELECT 1 FROM CompraFisica WHERE ID = NEW.ID) THEN
            RAISE EXCEPTION 'CompraFisica中不存在ID为 % 的记录', NEW.ID;
        END IF;
    ELSIF NEW.compra_tipo = 'virtual' THEN
        IF NOT EXISTS (SELECT 1 FROM CompraVirtual WHERE ID = NEW.ID) THEN
            RAISE EXCEPTION 'CompraVirtual中不存在ID为 % 的记录', NEW.ID;
        END IF;
    END IF;
    RETURN NEW;
END;
$$ LANGUAGE plpgsql;

3. 给Comprobante绑定触发器：

CREATE TRIGGER trigger_validate_compra
BEFORE INSERT OR UPDATE ON Comprobante
FOR EACH ROW EXECUTE FUNCTION validate_compra_existence();

4. 插入时指定关联类型：

INSERT INTO CompraFisica (ID, Fecha, Monto_total, Medio_Pago, DNI) 
VALUES ('1',CURRENT_DATE,10.5,'si','20794189');

INSERT INTO Boleta (Numero, ID, DNI, compra_tipo) 
VALUES ('1','1','15806955', 'fisica');

这种方式无需维护父表冗余数据，直接检查子表记录，更符合继承的设计初衷。

方案3：改用分区表（PostgreSQL 10+） #

如果你的数据适合按类型划分，可以将Compra设为分区表，CompraVirtual和CompraFisica作为分区。分区表的父表是逻辑视图，所有分区的数据会被父表“包含”，此时外键引用父表时会自动检查所有分区的数据。

示例代码 #

-- 创建分区父表，指定分区键为tipo
CREATE TABLE Compra (
    ID VARCHAR PRIMARY KEY,
    Fecha DATE NOT NULL,
    Monto_total NUMERIC NOT NULL,
    tipo VARCHAR CHECK (tipo IN ('fisica', 'virtual'))
) PARTITION BY LIST (tipo);

-- 创建CompraFisica分区
CREATE TABLE CompraFisica PARTITION OF Compra
FOR VALUES IN ('fisica')
(
    COLUMN Medio_Pago VARCHAR,
    COLUMN DNI VARCHAR
);

-- 创建CompraVirtual分区
CREATE TABLE CompraVirtual PARTITION OF Compra
FOR VALUES IN ('virtual')
(
    COLUMN Link VARCHAR
);

此时插入分区的数据会被视为Compra的一部分，外键引用Compra时会自动检查所有分区，无需额外维护。注意分区表有一定限制（比如分区键必须包含在主键中），需根据业务场景评估是否适用。

内容的提问来源于stack exchange，提问作者Alejandro Joel Ore Garcia