创建CHECK约束实现层级规则时插入报错，寻求技术协助

错误原因 #

当前的CHECK约束逻辑存在缺陷：

• mot_no_socio约束的表达式为Tipo = 'no_socios' AND Motivo_participacion IS NOT NULL，这意味着所有记录都必须满足该表达式为真。当插入Tipo='socios'的记录时，Tipo = 'no_socios'为假，整个表达式结果为假，触发约束违反错误。
• 同理，cuota_socio约束也存在同样问题，插入Tipo='no_socios'的记录时会触发该约束错误。

正确的逻辑应该是：仅当对应Tipo值时才检查字段非空，其他Tipo值无需满足该条件。

修正后的表创建SQL #

CREATE TABLE JUGADORES (
    Id_jugador NUMBER (4) PRIMARY KEY,
    Nombre VARCHAR2(30) NOT NULL,
    Ape1 VARCHAR2(40) NOT NULL,
    Ape2 VARCHAR2(20) NOT NULL,
    Telefono VARCHAR2(15) NOT NULL,
    Elo NUMBER(5) NOT NULL,
    Tipo VARCHAR2(10) CHECK (Tipo IN('socios', 'no_socios')) NOT NULL,
    Cuota_membresia DECIMAL(10, 2) DEFAULT 0,
    Motivo_participacion VARCHAR2 (100) DEFAULT '', 
    Id_torneo NUMBER(4) NOT NULL,
    Fecha_inscripcion DATE NOT NULL,
    -- 修正：当Tipo为socios时Cuota必须非空，其他情况无需检查
    CONSTRAINT cuota_socio CHECK (Tipo != 'socios' OR Cuota_membresia IS NOT NULL),
    -- 修正：当Tipo为no_socios时Motivo必须非空，其他情况无需检查
    CONSTRAINT mot_no_socio CHECK (Tipo != 'no_socios' OR Motivo_participacion IS NOT NULL),
    CONSTRAINT id_jugador_CK CHECK(id_jugador BETWEEN 1000 AND 3000)
);

约束逻辑说明 #

• cuota_socio：
  • 若Tipo='socios'，则Tipo != 'socios'为假，必须满足Cuota_membresia IS NOT NULL才能让整个表达式为真。
  • 若Tipo='no_socios'，则Tipo != 'socios'为真，整个表达式直接为真，无需检查Cuota_membresia。
• mot_no_socio：
  • 若Tipo='no_socios'，则Tipo != 'no_socios'为假，必须满足Motivo_participacion IS NOT NULL才能让整个表达式为真。
  • 若Tipo='socios'，则Tipo != 'no_socios'为真，整个表达式直接为真，无需检查Motivo_participacion。

验证插入操作 #

执行你提供的插入语句：

INSERT INTO JUGADORES (Id_jugador, Nombre, Ape1, Ape2, Telefono, Elo, Tipo, Cuota_membresia, Motivo_participacion, Id_torneo, Fecha_inscripcion)
VALUES (
   1001, 'Pepe', 'Gomez', 'Fran', '587455596', 1500, 'socios', 10.5, '', 1, TO_DATE('2023-12-09', 'YYYY-MM-DD') 
);

此时不会再触发mot_no_socio约束错误，因为Tipo='socios'时该约束自动满足。

若插入Tipo='no_socios'的记录，未指定Motivo_participacion或设为空，则会触发mot_no_socio约束错误，符合需求。

内容的提问来源于stack exchange，提问作者trex