9.19. 范围函数和操作符

范围类型的概述请见Section 8.17

Table 9-49展示了范围类型可用的操作符。

Table 9-49. 范围操作符

操作符描述例子结果
= 等于int4range(1,5) = '[1,4]'::int4ranget
<> 不等于numrange(1.1,2.2) <> numrange(1.1,2.3)t
< 小于int4range(1,10) < int4range(2,3)t
> 大于int4range(1,10) > int4range(1,5)t
<= 小于等于numrange(1.1,2.2) <= numrange(1.1,2.2)t
>= 大于等于numrange(1.1,2.2) >= numrange(1.1,2.0)t
@> 包含范围int4range(2,4) @> int4range(2,3)t
@> 包含元素'[2011-01-01,2011-03-01)'::tsrange @> '2011-01-10'::timestampt
<@ 范围被包含int4range(2,4) <@ int4range(1,7)t
<@ 元素被包含42 <@ int4range(1,7)f
&& 重叠(有公共点)int8range(3,7) && int8range(4,12)t
<< 严格左部int8range(1,10) << int8range(100,110)t
>> 严格右部int8range(50,60) >> int8range(20,30)t
&< 不超过右部int8range(1,20) &< int8range(18,20)t
&> 不超过左部int8range(7,20) &> int8range(5,10)t
-|- 相邻numrange(1.1,2.2) -|- numrange(2.2,3.3)t
+ numrange(5,15) + numrange(10,20)[5,20)
* int8range(5,15) * int8range(10,20)[10,15)
- int8range(5,15) - int8range(10,20)[5,10)

简单比较操作符<><=>=首先比较下界,并且只有在下界相等时才比较上界。这些比较通常对范围不怎么有用,但是还是提供它们以便能够在范围上构建 B树索引。

当涉及一个空范围时,左部/右部/相邻操作符总是返回假;即一个空范围被认为不在任何其他范围前面或者后面。

如果结果范围可能需要包含两个分离的子范围,并和差操作符将会失败,因为这样的范围无法被表示。

Table 9-50显示可用于范围类型的函数。

Table 9-50. 范围函数

函数返回类型描述例子结果
lower(anyrange) 范围的元素类型范围的下界lower(numrange(1.1,2.2))1.1
upper(anyrange) 范围的元素类型范围的上界upper(numrange(1.1,2.2))2.2
isempty(anyrange) boolean范围为空?isempty(numrange(1.1,2.2))false
lower_inc(anyrange) boolean下界包含在内?lower_inc(numrange(1.1,2.2))true
upper_inc(anyrange) boolean上界包含在内?upper_inc(numrange(1.1,2.2))false
lower_inf(anyrange) boolean下界无限?lower_inf('(,)'::daterange)true
upper_inf(anyrange) boolean上界无限?upper_inf('(,)'::daterange)true
range_merge(anyrange, anyrange) anyrange包含两个给定范围的最小范围range_merge('[1,2)'::int4range, '[3,4)'::int4range)[1,4)

如果范围为空或者被请求的界是无限的,lowerupper函数返回空值。函数lower_incupper_inclower_infupper_inf对一个空范围全部返回假。