如何编写CONSTRAINT检查列中是否包含指定区间的所有整数？

你的思路核心是对的，但需要补充去重逻辑——如果列里有重复值，直接用COUNT(col)会导致误判，正确的判断公式应该是：
MAX(column_name) - MIN(column_name) + 1 = COUNT(DISTINCT column_name)
（比如你的示例中，MAX=6，MIN=0，计算得7；COUNT(DISTINCT col)=6，7≠6，所以判定为false，符合预期）

但普通的列级CHECK约束无法直接使用聚合函数，需要根据你使用的数据库类型选择实现方式：

1. PostgreSQL 实现（表级CHECK约束） #

PostgreSQL支持在表级CHECK约束中使用子查询，直接添加约束即可：

ALTER TABLE your_table
ADD CONSTRAINT check_continuous_integer_range
CHECK (
  (SELECT MAX(your_column) - MIN(your_column) + 1 FROM your_table) 
  = 
  (SELECT COUNT(DISTINCT your_column) FROM your_table)
);

注意：这个约束会在每次插入、更新、删除数据时触发全表聚合查询，小表没问题，但大表可能影响性能。

2. MySQL 实现（触发器） #

MySQL的CHECK约束不支持子查询，需要用触发器来实现校验逻辑：

DELIMITER //
CREATE TRIGGER validate_continuous_range
BEFORE INSERT ON your_table
FOR EACH ROW
BEGIN
  DECLARE max_val INT;
  DECLARE min_val INT;
  DECLARE distinct_count INT;
  
  -- 获取当前表的区间范围和唯一值数量
  SELECT MAX(your_column), MIN(your_column), COUNT(DISTINCT your_column)
  INTO max_val, min_val, distinct_count
  FROM your_table;
  
  -- 如果表非空，校验插入后是否满足连续条件
  IF max_val IS NOT NULL AND min_val IS NOT NULL THEN
    -- 新行尚未插入，所以唯一值数量要加1
    IF (max_val - min_val + 1) != (distinct_count + 1) THEN
      SIGNAL SQLSTATE '45000' 
      SET MESSAGE_TEXT = '列值未覆盖连续区间，存在缺失值';
    END IF;
  END IF;
END //
DELIMITER ;

你还需要创建对应的BEFORE UPDATE触发器，逻辑和上面一致，确保更新操作也会被校验。

额外注意事项 #

• 如果列允许空值，MAX、MIN和COUNT(DISTINCT)都会自动忽略空值，不影响校验逻辑；如果需要主动排除空值，可在子查询中加WHERE your_column IS NOT NULL
• 当表中只有一行数据时，公式会自动成立（MAX=MIN，计算得1，COUNT(DISTINCT)也为1），符合预期
• 大表场景下，全表聚合的性能开销较大，建议改用辅助表维护区间状态，或者在业务层做校验，而非数据库层面

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