PostgreSQL tsrange: правильно ли для lower_inf ('(- infinity, today)' :: tsrange) false?

Question

В процессе написания программы, которая принимает литералы tsrange от пользователя, которые затем подключаются к различным SQL-запросам, сегодня я тестировал некоторые tsranges, чтобы увидеть, как они интерпретируются PostgreSQL 9.3.5.

Это один, в частности, ведет себя странно: '(-Infinity, сегодня)' :: tsrange

Функция lower_inf говорит нижняя граница не бесконечна

test=> SELECT lower_inf('(-infinity,today)'::tsrange); 
lower_inf 
----------- 
f 
(1 row) 

Еще PostgreSQL (!) сообщает, что этот tsrange содержит отметку времени, например «1000-01-01 BC». , ,

test=> SELECT '(-infinity,today)'::tsrange @> '1000-01-01 BC'::timestamp; 
?column? 
---------- 
t 
(1 row) 

Может ли кто-нибудь пролить свет на это?

Answer 1

Путаница происходит от двух разных значений «бесконечности» здесь.

1. timestamp типы принимают special values for infinity and -infinity.
2. Типы диапазонов имеют общее понятие для диапазонов без нижней/верхней границы. Функции для тестирования для него называются lower_inf() and upper_inf(), но они действительно тестируют «без ограничений» в диапазоне. Диапазоны без верхней/нижней границы включаютзначениеinfinity/-infinity для timestamp соответственно.

Per documentation:

Кроме того, некоторые типы элементов имеют понятие «бесконечность», но это просто другое значение постольку, поскольку механизмы типа диапазона обеспокоены. Например, для , в диапазонах временных интервалов, [today,] означает то же, что и [today,). Но [today,infinity] означает что-то отличное от [today,infinity) - последнее исключает специальное значение временной отметки infinity.

SQL Fiddle.

Может эти функции должны быть действительно называется что-то вроде lower_nobound() и upper_nobound(), чтобы избежать путаницы ...