Описание

Команда CREATE OPERATOR определяет новый оператор name. Пользователь, определяющий оператор, становится его владельцем. Если указано имя схемы, то оператор создаётся в указанной схеме. В противном случае он создаётся в текущей схеме.

Имя оператора — это последовательность длиной до NAMEDATALEN-1 (по умолчанию 63) символов из следующего списка:

Существует несколько ограничений на выбор имени:

Оператор != преобразуется в <> при вводе, поэтому эти два имени всегда эквивалентны.

Для бинарных операторов должны быть определены и LEFTARG, и RIGHTARG. Для префиксных операторов должен быть определён только RIGHTARG. Функция function_name должна быть предварительно определена с помощью команды CREATE FUNCTION и должна быть определена для принятия правильного количества аргументов (одного или двух) указанных типов.

В синтаксисе CREATE OPERATOR ключевые слова FUNCTION и PROCEDURE эквивалентны, но ссылаться в любом случае должна на функцию, а не на процедуру. Использование ключевого слова PROCEDURE здесь является историческим и устаревшим.

Другие предложения задают необязательные атрибуты оптимизации оператора. Их значение подробно описано в разделе Раздел 5.1.15.

Чтобы иметь возможность создать оператор, вы должны иметь привилегию USAGE на типы аргументов и возвращаемый тип, а также привилегию EXECUTE на лежащую в основе функцию. Если указан коммутирующий или отрицающий оператор, вы должны владеть этими операторами.

Параметры

Чтобы указать имя оператора с указанием схемы в аргументах com_op или других необязательных аргументах, используйте синтаксис OPERATOR(), например:

COMMUTATOR = OPERATOR(myschema.===) ,

Примечания

Дополнительную информацию см. в разделах Раздел 5.1.14 и Раздел 5.1.15.

При определении самокоммутирующего оператора вы просто его определяете. При определении пары коммутирующих операторов всё немного сложнее: как первому оператору, который определяется, ссылаться на другой, который вы ещё не определили? Существует три решения этой проблемы:

Во всех трёх случаях вы должны владеть обоими операторами, чтобы пометить их как коммутирующие.

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

Невозможно указать лексический приоритет оператора в команде CREATE OPERATOR, поскольку поведение парсера в отношении приоритета жёстко зашито. Подробности о приоритетах см. в разделе Раздел 2.1.1.6.

Устаревшие параметры SORT1, SORT2, LTCMP и GTCMP ранее использовались для указания имён операторов сортировки, связанных с оператором, поддерживающим соединение слиянием. В этом больше нет необходимости, поскольку информация о связанных операторах теперь находится путём просмотра семейств операторов B-дерева. Если один из этих параметров задан, он игнорируется, за исключением неявной установки MERGES в true.

Используйте DROP OPERATOR для удаления пользовательских операторов из базы данных. Используйте ALTER OPERATOR для изменения операторов в базе данных.

Примеры

Следующая команда определяет новый оператор равенства площадей для типа данных box:

CREATE OPERATOR === (
    LEFTARG = box,
    RIGHTARG = box,
    FUNCTION = area_equal_function,
    COMMUTATOR = ===,
    NEGATOR = !==,
    RESTRICT = area_restriction_function,
    JOIN = area_join_function,
    HASHES, MERGES
);

Совместимость

CREATE OPERATOR является расширением Digital Q.DataBase. В стандарте SQL нет положений для пользовательских операторов.

Смотрите также