PostgreSQL范围类型包含性机制疑问及异常结果咨询

核心逻辑：离散类型范围的规范化存储 #

PostgreSQL针对**离散数据类型（如整数、日期）**的范围会自动执行规范化处理，将闭区间[x,x]转换为左闭右开的[x, x+1)形式——这是因为离散类型的范围本质是代表"整值集合"，而非数学意义上的单点。

整数范围（int4range）的表现 #

执行SELECT '[4,4]'::int4range;得到[4,5)的原因：

• 对于整数这类离散类型，闭区间[4,4]等价于左闭右开区间[4,5)，因为4 ≤ x <5的整数只有4，和原定义的单值范围完全等价。
• upper()返回5是规范化后左闭右开区间的上界，但这个值本身并不在范围内。可以用包含性验证：

  SELECT 4 = ANY('[4,4]'::int4range); -- 返回 true
  SELECT 5 = ANY('[4,4]'::int4range); -- 返回 false
  

日期范围（daterange）的异常处理 #

你执行generate_series得到两条结果的问题，根源在于upper()返回的是规范化后的上界2023-10-19，而generate_series会将起止值都作为包含的端点生成序列。

正确提取范围内日期的方式有两种：

1. 利用范围的包含性过滤：

   SELECT d::date AS individual_date
   FROM generate_series('2023-10-18'::date, '2023-10-19'::date, '1 day') d
   WHERE d::date <@ '[2023-10-18,2023-10-18]'::daterange;
   

2. 直接取范围的下界（单值范围的下界就是唯一包含的值）：

   SELECT lower('[2023-10-18,2023-10-18]'::daterange)::date AS individual_date;
   

关键结论 #

• 离散类型范围会自动规范化为左闭右开[)格式，这是PostgreSQL统一范围计算逻辑的设计，避免边界歧义。
• 范围的文本输出是规范化后的形式，但实际包含的元素和原闭区间单值完全一致。
• 不要直接将upper()作为generate_series的结束值，因为该值是规范化后的边界，并不属于原范围。

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