如何检查PostgreSQL表中数据是否严格递增

嘿，这个问题问得好！要判断temp(a int)表里的数值是不是严格递增序列，首先得搞清楚一个关键点：SQL表本质上是无序的集合，所以你得先明确按什么顺序来判断递增——比如是数据的插入顺序（这时候需要一个排序字段，比如自增ID、时间戳），还是单纯按a值的大小顺序？从你的例子来看，应该是指表中的行按某个顺序排列后，每一行的a都严格大于前一行的a。下面给你几种常见场景的解决办法：

场景1：有排序字段（比如自增ID表示插入顺序） #

如果你的表有一个用来确定顺序的字段（比如id，假设它是自增的，代表数据插入的先后），用窗口函数LAG()来比较当前行和前一行的a值是最直观的方式：

SELECT 
  CASE 
    WHEN EXISTS (
      SELECT 1 
      FROM (
        SELECT 
          a,
          LAG(a) OVER (ORDER BY id) AS previous_a
        FROM temp
      ) AS ordered_temp
      WHERE a <= previous_a
    ) THEN '❌ 不是严格递增序列'
    ELSE '✅ 是严格递增序列'
  END AS result;

代码解释 #

1. 子查询ordered_temp里，LAG(a) OVER (ORDER BY id)会获取当前行的前一行a值（按id排序，也就是插入顺序）。
2. 外层查询检查是否存在任何一行的a小于等于前一行的a——如果存在，说明序列不符合严格递增的要求；反之则符合。

场景2：没有排序字段，检查所有a值是否唯一 #

如果你的表只有a列，没有其他排序字段，那我们只能检查所有a值是否唯一：因为如果有重复值，不管怎么排序都不可能是严格递增序列；而如果所有值唯一，按a升序排列后自然是严格递增的。

SELECT 
  CASE 
    WHEN COUNT(DISTINCT a) = COUNT(a) THEN '✅ 所有值唯一（按升序排列为严格递增序列）'
    ELSE '❌ 存在重复值，不是严格递增序列'
  END AS result;

代码解释 #

• COUNT(DISTINCT a)是去重后的行数，COUNT(a)是总行数。如果两者相等，说明所有a值都唯一，满足严格递增的基本要求；如果不相等，说明有重复值，不符合条件。

兼容老版本数据库的方案（无窗口函数支持） #

如果你用的是不支持窗口函数的老版本数据库（比如MySQL 5.x），可以用自连接的方式实现场景1的逻辑：

SELECT 
  CASE 
    WHEN EXISTS (
      SELECT 1 
      FROM temp t1
      JOIN temp t2 ON t2.id = t1.id + 1
      WHERE t2.a <= t1.a
    ) THEN '❌ 不是严格递增序列'
    ELSE '✅ 是严格递增序列'
  END AS result;

这个方法通过自连接，比较相邻ID的a值，判断是否存在后一行的a不大于前一行的情况。

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