Предикат сравнения

Этот предикат предназначен для спецификации сравнения двух строчных значений. Синтаксис предиката следующий:

comparison_predicate ::=

row_value_constructor comp_op row_value_constructor

comp_op ::= = | <> ("неравно")| < | >

| <= "меньше или равно"| >= "больше или равно"

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

Пусть X и Y обозначают соответствующие элементы строк-операндов, а xv и yv - их значения. Тогда:

1. если xv и/или yv являются неопределенными значениями, то значение условия X comp_op Y -unknown;

2. в противном случае значением условия X comp_op Y является true или false в соответствии с естественными правилами применения операции сравнения.

При этом:

• Числа сравниваются в соответствии с правилами алгебры.

• Сравнение двух символьных строк производится следующим образом:

  • если длина строки X не равна длине строки Y, то для выравнивания длин строк более короткая строка расширяется символами набивки(pad symbol); если для используемого набора символов порядок сортировки явным образом не специфицирован, то в качестве символа набивки используется пробел;

  • далее производится лексикографическое сравнение строк в соответствии с предопределенным или явно определенным порядком сортировки символов.

• Сравнение двух битовых строк Xи Y основано на сравнении соответствующих бит. Если X_iи Y_i- значения i-тых бит X и Y соответственно и если lx и ly обозначает длину в битах X и Y соответственно, то:

  • X равно Y тогда и только тогда, когда lx = ly и X_i= Y_iдля всех i;

  • X меньше Y тогда и только тогда, когда (a) lx < ly и X_i= Y_iдля всех i меньших или равных lx, или (b) X_i= Y_iдля всех i < n и X_n= 0, а Y_n=1 для некоторого n меньшего или равного min (lx, ly).

• Сравнение двух значений типа дата-время производится в соответствии с видом интервала, который получается при вычитании второго значения из первого. Пусть X и Y - сравниваемые значения, а H - наименее значимое поле даты-времени X и Y. Результат сравнения X comp_op Y определяется как (X - Y) H comp_ op INTERVAL (0) H. (Два значения типа дата-время сравнимы только в том случае, если они содержат одинаковый набор полей даты-времени.)

• Сравнение двух значений анонимного строкового типа производится следующим образом. Пусть Rx и Ry обозначают строки-операнды, а Rx_iи Ry_i- i-тые элементы Rx и Ry соответственно. Вот как определяется результат сравнения Rx comp_op Ry:

  • Rx = Ry есть true тогда и только тогда, когда Rx_i= Ry_iесть true для всех i;

  • Rx <> Ry есть true тогда и только тогда, когда Rx_i<> Ry_iесть true для некоторого i;

  • Rx < Ry есть true тогда и только тогда, когда Rx_i= Ry_iесть true для всех i < n, и Rx_n< Ry_nесть true для некоторого n;

  • Rx > Ry есть true тогда и только тогда, когда Rx_i= Ry_iесть true для всех i < n, и Rx_n> Ry_nесть true для некоторого n;

  • Rx <= Ry есть true тогда и только тогда, когда Rx = Ry есть true или Rx < Ry есть true;

  • Rx >= Ry есть true тогда и только тогда, когда Rx = Ry есть true или Rx > Ry есть true;

  • Rx = Ry есть false тогда и только тогда, когда Rx <> Ry есть true;

  • Rx <> Ry есть false тогда и только тогда, когда Rx = Ry есть true;

  • Rx < Ry есть false тогда и только тогда, когда Rx >= Ry есть true;

  • Rx > Ry есть false тогда и только тогда, когда Rx <= Ry есть true;

  • Rx <= Ry есть false тогда и только тогда, когда Rx > Ry есть true;

  • Rx >= Ry есть false тогда и только тогда, когда Rx < Ry есть true;

  • Rx comp_op Ry есть unknown тогда и только тогда, когда Rx comp_op Ry не есть true или false.