9.21. 范围/多范围函数和操作符 — PostgreSQL 19

支持中的版本：当前版本 (18) / 17 / 16 / 15 / 14

开发中的版本： 19 / 20devel

已结束支持的版本： 13 / 12 / 11 / 10 / 9.6 / 9.5 / 9.4 / 9.3 / 9.2

预发布版本文档。 PostgreSQL 19beta4 为测试版本，最终发布内容可能有所不同。

9.21. 范围/多范围函数和操作符
上一页	上一级	第 9 章函数和操作符	起始页	下一页

9.21. 范围/多范围函数和操作符 #

范围类型的概述可参见第 8.17 节。

表 9.59 显示了范围类型的专用操作符。表 9.60 显示了多范围类型的专用操作符。除此之外，表 9.1 中所示的常用比较操作符也适用于范围类型和多范围类型。比较操作符首先按范围下界排序，只有当它们相等时才比较上界。多范围操作符逐个比较范围，直到某个范围不相等为止。这通常不会导致有用的总体排序，但提供的操作符允许在范围上构造唯一索引。

表 9.59. 范围操作符

操作符描述示例
`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)`

操作符

描述

示例

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.60. 多范围操作符

操作符描述示例
`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)}`

操作符

描述

示例

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)}

涉及空范围或空多范围时，左侧、右侧和相邻操作符总是返回假；也就是说，空范围不被视为位于任何其他范围之前或之后。

在其他运算中，空范围和空多范围被视为加法单位元：任何值与空范围或空多范围值求并集，结果仍是该值本身。任何值减去空范围或空多范围值，结果也仍是该值本身。空多范围与空范围具有完全相同的点。每个范围都包含空范围。每个多范围包含任意多个空范围。

如果结果范围需要包含两个不相交的子范围，范围并集和差集操作符会失败，因为这样的范围无法表示。另有接受多范围参数并返回多范围的并集和差集操作符，即使参数彼此不相交，也不会失败。因此，如果需要对可能不相交的范围求并集或差集，可以先将范围转换为多范围来避免错误。

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

表 9.61. 范围函数

函数描述示例
`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` 时返回假。） `lower_inf('(,)'::daterange)` → `t`
`upper_inf` ( `anyrange` ) → `boolean` 范围是否没有上界？（上界为 `Infinity` 时返回假。） `upper_inf('(,)'::daterange)` → `t`
`range_merge` ( `anyrange`, `anyrange` ) → `anyrange` 计算包含两个给定范围的最小范围。 `range_merge('[1,2)'::int4range, '[3,4)'::int4range)` → `[1,4)`
`range_minus_multi` ( `anyrange`, `anyrange` ) → `setof anyrange` 返回从第一个范围中减去第二个范围后剩下的非空范围。每个范围返回一行，因此如果第二个范围将第一个范围分成两部分，就会有两个结果。如果减法得到空范围，则不会返回任何行。 `range_minus_multi('[0,10)'::int4range, '[3,4)'::int4range)` → [0,3) [4,10)

函数

描述

示例

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 时返回假。）

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

upper_inf ( anyrange ) → boolean

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

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

range_merge ( anyrange, anyrange ) → anyrange

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

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

range_minus_multi ( anyrange, anyrange ) → setof anyrange

返回从第一个范围中减去第二个范围后剩下的非空范围。每个范围返回一行，因此如果第二个范围将第一个范围分成两部分，就会有两个结果。如果减法得到空范围，则不会返回任何行。

range_minus_multi('[0,10)'::int4range, '[3,4)'::int4range) →

 [0,3)
 [4,10)

表 9.62. 多范围函数

函数描述示例
`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` 时返回假。） `lower_inf('{(,)}'::datemultirange)` → `t`
`upper_inf` ( `anymultirange` ) → `boolean` 多范围是否没有上界？（上界为 `Infinity` 时返回假。） `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)
`multirange_minus_multi` ( `anymultirange`, `anymultirange` ) → `setof anymultirange` 返回从第一个多范围中减去第二个多范围后剩下的非空多范围。如果减法得到空多范围，则不会返回任何行。永远不会返回两行，因为单个多范围总能容纳任何结果。 `multirange_minus_multi('{[0,10)}'::int4multirange, '{[3,4)}'::int4multirange)` → `{[0,3), [4,10)}`

函数

描述

示例

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 时返回假。）

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

upper_inf ( anymultirange ) → boolean

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

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)

multirange_minus_multi ( anymultirange, anymultirange ) → setof anymultirange

返回从第一个多范围中减去第二个多范围后剩下的非空多范围。如果减法得到空多范围，则不会返回任何行。永远不会返回两行，因为单个多范围总能容纳任何结果。

multirange_minus_multi('{[0,10)}'::int4multirange, '{[3,4)}'::int4multirange) → {[0,3), [4,10)}

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

上一页	上一级	下一页
9.20. 数组函数和操作符	起始页	9.22. 聚合函数

报告文档问题

阅读上游文档. 反馈更正前请先核对当前版本手册.