Сравнение двух значений анонимного строкового типа производится следующим образом. Пусть 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.
