9.19. Диапазонные функции и операторы
Диапазонные типы данных раÑÑматриваютÑÑ Ð² Разделе 8.17.
Ð’ Таблице 9.49 показаны операторы, предназначенные Ð´Ð»Ñ Ñ€Ð°Ð±Ð¾Ñ‚Ñ‹ Ñ Ð´Ð¸Ð°Ð¿Ð°Ð·Ð¾Ð½Ð°Ð¼Ð¸.
Таблица 9.49. Диапазонные операторы
| Оператор | ОпиÑание | Пример | Результат |
|---|---|---|---|
= | равно | 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 |
+ | union | 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-деревьев по диапазонам.
Операторы Ñлева/Ñправа/примыкает вÑегда возвращают false, еÑли один из диапазонов пуÑÑ‚; то еÑÑ‚ÑŒ, ÑчитаетÑÑ, что пуÑтой диапазон находитÑÑ Ð½Ðµ Ñлева и не Ñправа от какого-либо другого диапазона.
Операторы ÑÐ»Ð¾Ð¶ÐµÐ½Ð¸Ñ Ð¸ Ð²Ñ‹Ñ‡Ð¸Ñ‚Ð°Ð½Ð¸Ñ Ð²Ñ‹Ð·Ñ‹Ð²Ð°ÑŽÑ‚ ошибку, еÑли получающийÑÑ Ð² результате диапазон оказываетÑÑ ÑоÑтоÑщим из двух разделённых поддиапазонов, так как его Ð½ÐµÐ»ÑŒÐ·Ñ Ð¿Ñ€ÐµÐ´Ñтавить в Ñтом типе данных.
Ð’ Таблице 9.50 перечиÑлены функции, предназначенные Ð´Ð»Ñ Ñ€Ð°Ð±Ð¾Ñ‚Ñ‹ Ñ Ð´Ð¸Ð°Ð¿Ð°Ð·Ð¾Ð½Ð½Ñ‹Ð¼Ð¸ типами.
Таблица 9.50. Диапазонные функции
| Ð¤ÑƒÐ½ÐºÑ†Ð¸Ñ | Тип результата | ОпиÑание | Пример | Результат |
|---|---|---|---|---|
| тип Ñлемента диапазона | нижнÑÑ Ð³Ñ€Ð°Ð½Ð¸Ñ†Ð° диапазона | lower(numrange(1.1, 2.2)) | 1.1 |
| тип Ñлемента диапазона | верхнÑÑ Ð³Ñ€Ð°Ð½Ð¸Ñ†Ð° диапазона | upper(numrange(1.1, 2.2)) | 2.2 |
| boolean | диапазон пуÑÑ‚? | isempty(numrange(1.1,2.2)) | false |
| boolean | нижнÑÑ Ð³Ñ€Ð°Ð½Ð¸Ñ†Ð° включаетÑÑ? | lower_inc(numrange(1.1, 2.2)) | true |
| boolean | верхнÑÑ Ð³Ñ€Ð°Ð½Ð¸Ñ†Ð° включаетÑÑ? | upper_inc(numrange(1.1, 2.2)) | false |
| boolean | нижнÑÑ Ð³Ñ€Ð°Ð½Ð¸Ñ†Ð° равна беÑконечноÑти? | lower_inf('(,)'::daterange) | true |
| boolean | верхнÑÑ Ð³Ñ€Ð°Ð½Ð¸Ñ†Ð° равна беÑконечноÑти? | upper_inf('(,)'::daterange) | true |
| anyrange | наименьший диапазон, включающий оба заданных диапазона | range_merge('[1,2)'::int4range, '[3,4)'::int4range) | [1,4) |
Функции lower и upper возвращают NULL, еÑли диапазон пуÑÑ‚ или ÑƒÐºÐ°Ð·Ð°Ð½Ð½Ð°Ñ Ð³Ñ€Ð°Ð½Ð¸Ñ†Ð° равна беÑконечноÑти. ЕÑли же пуÑтой диапазон передаётÑÑ Ñ„ÑƒÐ½ÐºÑ†Ð¸Ñм lower_inc, upper_inc, lower_inf и upper_inf, вÑе они возвращают false.