Введение в модель данных SQL




Предикат сравнения - часть 2


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

  • Rx = Ry есть true тогда и только тогда, когда Rxi = Ryi есть true для всех i;
  • Rx <> Ry есть true тогда и только тогда, когда Rxi <> Ryi есть true для некоторого i;
  • Rx < Ry есть true тогда и только тогда, когда Rxi = Ryi есть true для всех i < n, и Rxn < Ryn есть true для некоторого n;
  • Rx > Ry есть true тогда и только тогда, когда Rxi = Ryi есть true для всех i < n, и Rxn > Ryn есть 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.



  • Содержание  Назад  Вперед