ГОСТ Р ИСО/МЭК 9075-93 Информационная технология (ИТ). Язык баз данных SQL с расширением целостности

     5.11 <предикат сравнения>

Функция

Задает сравнение двух значений.

Формат

Правила синтаксиса

1) Типы данных первого и второго <выражения значения> или же <подзапроса> должны быть сравнимы между собой.

Общие правила

1) Результат первого <выражения значения> будем обозначать буквой , а результат <подзапроса> или же второго <выражения значения> - буквой . Мощность результата <подзапроса> не должна превышать 1.

2) Если и представляют собой неопределенные значения или же результатом <подзапроса> является пустой набор, то результатом выражения "<операция сравнения>" будет неизвестное значение.

3) Если и являются определенными значениями, то выражение "<операция сравнения>" может принимать значения "истина" или "ложь":

"" истинно тогда и только тогда, когда равно ;

"" истинно тогда и только тогда, когда не равно ;

"" истинно тогда и только тогда, когда меньше ;

"" истинно тогда и только тогда, когда больше ;

"" истинно тогда и только тогда, когда не больше ;

"" истинно тогда и только тогда, когда не меньше ;

4) Числовые типы сравниваются как алгебраические величины.

5) Сравнение двух символьных строк - это сравнение <символ>ов, занимающих позиции с одним и тем же порядковым номером. Если символьные строки имеют неодинаковую длину, то для сравнения используется рабочая копия более короткой строки, дополненная с правой стороны <пробел>ами таким образом, чтобы ее длина совпадала с длиной более длинной строки.

6) Две символьные строки равны между собой, если равны между собой все <символ>ы, занимающие позиции с одним и тем же порядковым номером. Если две строки не равны, то их отношение определяется путем сравнения между собой первой слева пары несовпадающих <символ>ов. Это сравнение производится в соответствии со схемой упорядочения, определенной разработчиком реализации.

7) Хотя результатом выражения "", когда и являются неопределенными значениями, будет неизвестное значение, в контекстах GROUP BY, OPDER BY и DISTINGT два неопределенных значения считаются тождественными друг другу или же дубликатными.