2025年9月25日: PostgreSQL 18 发布！
支持的版本： 当前 (18) / 17 / 16 / 15 / 14 / 13
开发版本： devel
不支持的版本： 12 / 11 / 10 / 9.6 / 9.5 / 9.4 / 9.3 / 9.2
9.20. 范围/多范围函数和运算符
上一步  上一级 第 9 章 函数和运算符 首页  下一步

9.20. 范围/多范围函数和运算符 #

有关范围类型的概述，请参阅第 8.17 节。

表 9.58 显示了可用于范围类型的专用运算符。表 9.59 显示了可用于多范围类型的专用运算符。此外，表 9.1 中显示的常用比较运算符也可用于范围和多范围类型。比较运算符首先按范围的下界排序，只有当下界相等时，它们才比较上界。多范围运算符逐个比较范围，直到有一个不相等。这通常不会产生有用的整体排序，但运算符的存在允许在范围上构造唯一索引。

表 9.58. 范围运算符

运算符

描述

示例

anyrange @> anyrange → boolean

第一个范围是否包含第二个范围？

int4range(2,4) @> int4range(2,3) → t

anyrange @> anyelement → boolean

范围是否包含该元素？

'[2011-01-01,2011-03-01)'::tsrange @> '2011-01-10'::timestamp → t

anyrange <@ anyrange → boolean

第一个范围是否被第二个范围包含？

int4range(2,4) <@ int4range(1,7) → t

anyelement <@ anyrange → boolean

该元素是否包含在范围内？

42 <@ int4range(1,7) → f

anyrange && anyrange → boolean

两个范围是否重叠，即是否有任何元素是共同的？

int8range(3,7) && int8range(4,12) → t

anyrange << anyrange → boolean

第一个范围是否严格位于第二个范围的左侧？

int8range(1,10) << int8range(100,110) → t

anyrange >> anyrange → boolean

第一个范围是否严格位于第二个范围的右侧？

int8range(50,60) >> int8range(20,30) → t

anyrange &< anyrange → boolean

第一个范围是否不延伸到第二个范围的右侧？

int8range(1,20) &< int8range(18,20) → t

anyrange &> anyrange → boolean

第一个范围是否不延伸到第二个范围的左侧？

int8range(7,20) &> int8range(5,10) → t

anyrange -|- anyrange → boolean

两个范围是否相邻？

numrange(1.1,2.2) -|- numrange(2.2,3.3) → t

anyrange + anyrange → anyrange

计算两个范围的并集。范围必须重叠或相邻，以便并集是一个单一的范围（但请参阅range_merge()）。

numrange(5,15) + numrange(10,20) → [5,20)

anyrange * anyrange → anyrange

计算两个范围的交集。

int8range(5,15) * int8range(10,20) → [10,15)

anyrange - anyrange → anyrange

计算两个范围的差集。第二个范围不得被包含在第一个范围中，以免差集不是一个单一范围。

int8range(5,15) - int8range(10,20) → [5,10)

表 9.59. 多范围运算符

运算符

描述

示例

anymultirange @> anymultirange → boolean

第一个多范围是否包含第二个多范围？

'{[2,4)}'::int4multirange @> '{[2,3)}'::int4multirange → t

anymultirange @> anyrange → boolean

多范围是否包含该范围？

'{[2,4)}'::int4multirange @> int4range(2,3) → t

anymultirange @> anyelement → boolean

多范围是否包含该元素？

'{[2011-01-01,2011-03-01)}'::tsmultirange @> '2011-01-10'::timestamp → t

anyrange @> anymultirange → boolean

范围是否包含该多范围？

'[2,4)'::int4range @> '{[2,3)}'::int4multirange → t

anymultirange <@ anymultirange → boolean

第一个多范围是否被第二个多范围包含？

'{[2,4)}'::int4multirange <@ '{[1,7)}'::int4multirange → t

anymultirange <@ anyrange → boolean

多范围是否被范围包含？

'{[2,4)}'::int4multirange <@ int4range(1,7) → t

anyrange <@ anymultirange → boolean

范围是否被多范围包含？

int4range(2,4) <@ '{[1,7)}'::int4multirange → t

anyelement <@ anymultirange → boolean

该元素是否被多范围包含？

4 <@ '{[1,7)}'::int4multirange → t

anymultirange && anymultirange → boolean

两个多范围是否重叠，即是否有任何元素是共同的？

'{[3,7)}'::int8multirange && '{[4,12)}'::int8multirange → t

anymultirange && anyrange → boolean

多范围是否与该范围重叠？

'{[3,7)}'::int8multirange && int8range(4,12) → t

anyrange && anymultirange → boolean

范围是否与多范围重叠？

int8range(3,7) && '{[4,12)}'::int8multirange → t

anymultirange << anymultirange → boolean

第一个多范围是否严格位于第二个多范围的左侧？

'{[1,10)}'::int8multirange << '{[100,110)}'::int8multirange → t

anymultirange << anyrange → boolean

多范围是否严格位于范围的左侧？

'{[1,10)}'::int8multirange << int8range(100,110) → t

anyrange << anymultirange → boolean

范围是否严格位于多范围的左侧？

int8range(1,10) << '{[100,110)}'::int8multirange → t

anymultirange >> anymultirange → boolean

第一个多范围是否严格位于第二个多范围的右侧？

'{[50,60)}'::int8multirange >> '{[20,30)}'::int8multirange → t

anymultirange >> anyrange → boolean

多范围是否严格位于范围的右侧？

'{[50,60)}'::int8multirange >> int8range(20,30) → t

anyrange >> anymultirange → boolean

范围是否严格位于多范围的右侧？

int8range(50,60) >> '{[20,30)}'::int8multirange → t

anymultirange &< anymultirange → boolean

第一个多范围是否不延伸到第二个多范围的右侧？

'{[1,20)}'::int8multirange &< '{[18,20)}'::int8multirange → t

anymultirange &< anyrange → boolean

多范围是否不延伸到范围的右侧？

'{[1,20)}'::int8multirange &< int8range(18,20) → t

anyrange &< anymultirange → boolean

范围是否不延伸到多范围的右侧？

int8range(1,20) &< '{[18,20)}'::int8multirange → t

anymultirange &> anymultirange → boolean

第一个多范围是否不延伸到第二个多范围的左侧？

'{[7,20)}'::int8multirange &> '{[5,10)}'::int8multirange → t

anymultirange &> anyrange → boolean

多范围是否不延伸到范围的左侧？

'{[7,20)}'::int8multirange &> int8range(5,10) → t

anyrange &> anymultirange → boolean

范围是否不延伸到多范围的左侧？

int8range(7,20) &> '{[5,10)}'::int8multirange → t

anymultirange -|- anymultirange → boolean

两个多范围是否相邻？

'{[1.1,2.2)}'::nummultirange -|- '{[2.2,3.3)}'::nummultirange → t

anymultirange -|- anyrange → boolean

多范围是否与范围相邻？

'{[1.1,2.2)}'::nummultirange -|- numrange(2.2,3.3) → t

anyrange -|- anymultirange → boolean

范围是否与多范围相邻？

numrange(1.1,2.2) -|- '{[2.2,3.3)}'::nummultirange → t

anymultirange + anymultirange → anymultirange

计算两个多范围的并集。多范围不必重叠或相邻。

'{[5,10)}'::nummultirange + '{[15,20)}'::nummultirange → {[5,10), [15,20)}

anymultirange * anymultirange → anymultirange

计算两个多范围的交集。

'{[5,15)}'::int8multirange * '{[10,20)}'::int8multirange → {[10,15)}

anymultirange - anymultirange → anymultirange

计算两个多范围的差集。

'{[5,20)}'::int8multirange - '{[10,15)}'::int8multirange → {[5,10), [15,20)}

左侧/右侧/相邻运算符在涉及空范围或空多范围时总是返回 false；也就是说，一个空范围不被认为在任何其他范围之前或之后。

在其他情况下，空范围和空多范围被视为加法单位元：任何值与空值进行并集运算后仍为自身。任何值减去空值仍为自身。一个空的多范围与一个空范围包含相同的点。每个范围都包含空范围。每个多范围都包含任意数量的空范围。

范围并集和差集运算符如果导致结果范围需要包含两个不相交的子范围，则会失败，因为这样的范围无法表示。有单独的运算符用于并集和差集，它们接受多范围参数并返回多范围，即使它们的参数不相交也不会失败。因此，如果需要对可能不相交的范围执行并集或差集运算，可以通过先将范围转换为多范围来避免错误。

表 9.60 显示了可用于范围类型的函数。表 9.61 显示了可用于多范围类型的函数。

表 9.60. 范围函数

函数

描述

示例

lower ( anyrange ) → anyelement

提取范围的下界（如果范围为空或没有下界，则为 NULL）。

lower(numrange(1.1,2.2)) → 1.1

upper ( anyrange ) → anyelement

提取范围的上界（如果范围为空或没有上界，则为 NULL）。

upper(numrange(1.1,2.2)) → 2.2

isempty ( anyrange ) → boolean

范围是否为空？

isempty(numrange(1.1,2.2)) → f

lower_inc ( anyrange ) → boolean

范围的下界是否包含？

lower_inc(numrange(1.1,2.2)) → t

upper_inc ( anyrange ) → boolean

范围的上界是否包含？

upper_inc(numrange(1.1,2.2)) → f

lower_inf ( anyrange ) → boolean

范围是否没有下界？（下界为 -Infinity 时返回 false。）

lower_inf('(,)'::daterange) → t

upper_inf ( anyrange ) → boolean

范围是否没有上界？（上界为 Infinity 时返回 false。）

upper_inf('(,)'::daterange) → t

range_merge ( anyrange, anyrange ) → anyrange

计算包含两个给定范围的最小范围。

range_merge('[1,2)'::int4range, '[3,4)'::int4range) → [1,4)

表 9.61. 多范围函数

函数

描述

示例

lower ( anymultirange ) → anyelement

提取多范围的下界（如果多范围为空或没有下界，则为 NULL）。

lower('{[1.1,2.2)}'::nummultirange) → 1.1

upper ( anymultirange ) → anyelement

提取多范围的上界（如果多范围为空或没有上界，则为 NULL）。

upper('{[1.1,2.2)}'::nummultirange) → 2.2

isempty ( anymultirange ) → boolean

多范围是否为空？

isempty('{[1.1,2.2)}'::nummultirange) → f

lower_inc ( anymultirange ) → boolean

多范围的下界是否包含？

lower_inc('{[1.1,2.2)}'::nummultirange) → t

upper_inc ( anymultirange ) → boolean

多范围的上界是否包含？

upper_inc('{[1.1,2.2)}'::nummultirange) → f

lower_inf ( anymultirange ) → boolean

多范围是否没有下界？（下界为 -Infinity 时返回 false。）

lower_inf('{(,)}'::datemultirange) → t

upper_inf ( anymultirange ) → boolean

多范围是否没有上界？（上界为 Infinity 时返回 false。）

upper_inf('{(,)}'::datemultirange) → t

range_merge ( anymultirange ) → anyrange

计算包含整个多范围的最小范围。

range_merge('{[1,2), [3,4)}'::int4multirange) → [1,4)

multirange ( anyrange ) → anymultirange

返回一个只包含给定范围的多范围。

multirange('[1,2)'::int4range) → {[1,2)}

unnest ( anymultirange ) → setof anyrange

将多范围展开为一组升序排列的范围。

unnest('{[1,2), [3,4)}'::int4multirange) →

 [1,2)
 [3,4)

lower_inc、upper_inc、lower_inf 和 upper_inf 函数对空范围或空多范围都返回 false。

上一步  上一级  下一步
9.19. 数组函数和运算符  首页  9.21. 聚合函数

提交更正

如果您在文档中发现任何不正确之处、与您在使用特定功能时的经验不符之处，或者需要进一步澄清的内容，请使用此表单报告文档问题。