9.19. 范圍函數和操作符 · PostgreSQL 中文文檔 9.3

# 9.19\. 范圍函數和操作符參閱[Section 8.17](#calibre_link-1153)獲取范圍類型的概述。 [Table 9-44](#calibre_link-1983)顯示了范圍類型可用的操作符。 **Table 9-44\. 范圍操作符** | 操作符 | 描述 | 示例 | 結果 | | --- | --- | --- | --- | | `=` | 等于 | `int4range(1,5) = '[1,4]'::int4range` | `t` | | `<>` | 不等于 | `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'::timestamp` | `t` | | `<@` | 范圍包含于 | `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-tree索引才提供的。左于/右于/鄰近操作符當包含空范圍時也會返回false；也就是，不認為空范圍在其他范圍之前或之后。并集和差集操作符在結果范圍需要包含兩個不相交的子范圍時失敗，因此不能表示這樣一個范圍。 [Table 9-45](#calibre_link-1984)顯示了可以和范圍一起使用的函數。 **Table 9-45\. 范圍函數** | 函數 | 返回類型 | 描述 | 示例 | 結果 | | --- | --- | --- | --- | --- | | ``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` | 如果范圍是空或者需要的界限是無窮的，`lower`和`upper` 函數返回null。`lower_inc`, `upper_inc`, `lower_inf`和`upper_inf`函數均對空范圍返回false。