cube — тип данных для представления многомерных кубов#

Модуль реализует тип данных cube для представления многомерных кубов.

Модуль считается «надежным», то есть его могут устанавливать неподключенные пользователи с привилегией CREATE на текущей базе данных.

Синтаксис#

Таблица «Внешние представления кубов» показывает допустимые внешние представления для типа cube. x*, y* и т.д. обозначают числа с плавающей точкой.

Внешние представления кубов:

Порядок ввода противоположных углов куба не имеет значения. Функция cube автоматически меняет местами значения при необходимости для создания унифицированного внутреннего представления «нижний левый – верхний правый». Когда углы совпадают, cube хранит только один угол вместе с флагом «является точкой», чтобы избежать расточительства пространства.

Пробелы игнорируются при вводе, поэтому [(x),(y)] это то же самое, что и [ ( x ), ( y ) ].

Точность#

Значения хранятся внутри как 64-битные числа с плавающей запятой. Это означает, что числа с более чем примерно 16 значащими цифрами будут усечены.

Использование#

Таблица «Операторы кубов» показывает специализированные операторы, предоставляемые для типа cube.

Операторы кубов:

В дополнение к вышеуказанным операторам, обычные операторы сравнения доступны для типа cube. Эти операторы сначала сравнивают первые координаты и, если они равны, сравнивают вторые координаты и т.д. Они существуют главным образом для поддержки класса операторов индекса B-дерева для cube, который может быть полезен, например, для ограничения уникальности на столбец cube. В противном случае этот порядок не имеет большого практического значения.

Модуль cube также предоставляет класс операторов индекса GiST для значений cube. Индекс GiST cube можно использовать для поиска значений с использованием операторов =, &&, @> и <@ в предложениях WHERE.

Кроме того, индекс GiST cube можно использовать для нахождения ближайших соседей с помощью метрических операторов <->, <#> и <=> в предложениях ORDER BY. Например, ближайшего соседа трехмерной точки (0.5, 0.5, 0.5) можно было бы найти эффективно следующим образом:

SELECT c FROM test ORDER BY c <-> cube(array[0.5,0.5,0.5]) LIMIT 1;

Оператор ~> также может использоваться таким образом для эффективного извлечения первых нескольких значений, отсортированных по выбранной координате. Например, чтобы получить первые несколько кубов, упорядоченных по первой координате (нижний левый угол), можно использовать запрос:

SELECT c FROM test ORDER BY c ~> 1 LIMIT 5;

А чтобы получить 2D-кубы, упорядоченные по первой координате верхнего правого угла в порядке убывания:

SELECT c FROM test ORDER BY c ~> 3 DESC LIMIT 5;

Таблица «Функции для работы с кубами» показывает доступные функции.

Функции для работы с кубами:

Значения по умолчанию#

Я считаю, что этот объединение:

select cube_union('(0,5,2),(2,3,1)', '0');
cube_union
-------------------
(0, 0, 0),(2, 5, 2)
(1 row)

не противоречит здравому смыслу, так же как и пересечение

select cube_inter('(0,-1),(1,1)', '(-2),(2)');
cube_inter
-------------
(0, 0),(1, 0)
(1 row)

Во всех бинарных операциях с кубами разных размеров я предполагаю, что меньший размер является декартовой проекцией, то есть имеет нули вместо координат, опущенных в строковом представлении. Приведенные выше примеры эквивалентны:

cube_union('(0,5,2),(2,3,1)','(0,0,0),(0,0,0)');
cube_inter('(0,-1),(1,1)','(-2,0),(2,0)');

Следующий предикат содержания использует синтаксис точки, хотя на самом деле второй аргумент внутренне представлен коробкой. Этот синтаксис делает ненужным определение отдельного типа точек и функций для предикатов (коробка, точка).

select cube_contains('(0,0),(1,1)', '0.5,0.5');
cube_contains
--------------
t
(1 row)

Примечания#

Для примеров использования см. регрессионный тест sql/cube.sql.

Во избежание некорректного применения этого типа, существует ограничение равное 100 на количество измерений кубов. Его можно изменить в cubedata.h.