Нет .
Только в рамках а) двузначной логики и б) при непустом множестве y

Интересно, что Дейт постулирует неправильную по определению работу MIN/MAX в SQL.
MAX по его мысли для пустого множества должен быть равен минимально допустимому значению в домене значений y.
Тогда, при запрете Null-значений для использования реляционных базах и при изменении определения MAX
x > ALL (y) окажется эквивалентным x > MAX(y)

Akina,
частный случай.

кстати, в техническом плане чаще рассуждают о
замене x op All(y)
на Not Exists( not op(x, y(i)))
в смысле потенциалной эквивалентности.

Это покрывает случай пустого y, но на Null-значениях все равно не даёт эквивалентного результата
из-за третьего логического значения.

Из-за чего Дейту очень сильно хочется поправить в этом месте Кодда.
Но поезд уже очень давно как ушел. Невероятно, что из этого желания что-то получится хоть когда-нибудь.

Dante80,

вы математику в школе проходили?
там где-то вводят кванторы существования и всеобщности.
SOME (ANY) - это квантор существования
записывают в SQL так:
x op SOME (Y)
где x - сравниваемое значение
op - какой-то из операторов сравнения - >, <, =, <>, >=, <=
Y - множество элементов, с которыми сравнивается значение x
---------------
Пусть x == 5, op == =, а Y - множество значений - (1,0,3,null,77)
предикат, записанный так: 5 = SOME (1,0,3,null,77)
читается так: в множестве значений (1,0,3,null,77) существует такое значение, которое равно 5.
Его истинностное значение - False
Если заменить операцию сравнения на <
5 < SOME (1,0,3,null,77) , то истинностное значение станет True, поскольку в множестве Y==(1,0,3,null,77)
существует элемент 77, который больше 5.
SOME (ANY) эквивалентен набору сравнений через или - OR
истинностное значение 5 < SOME (1,0,3,null,77) точно эквивалентно значению выражения
(5<1 OR 5<0 OR 5<3 OR 5<null OR 5 <77)
-------------------------
ALL - квантор всеобщности, обозначает "для всех" - для всех элементов из Y операция сравнения op
выполняется с истинностным значением true.
Если оставить x = 5, Y заменить на Y=(1,2,3,4), в качестве op выбрать >
то утверждение
5 > ALL (1,2,3,4) истинно, для всех элементов из Y, 5 > каждого из них
Но, если Y = (1,null,3,4), значение предиката становится False, поскольку сравнение со вторым элементов из Y не дает true.
Т.е. 5 > ALL (1,2,3,4) это

(5>1 AND 5>2 AND 5>3 AND 5>4) - ясно, что здесь оно true.

Чаще для выражения смысла ALL используют такую формулировку: в множестве Y не существует такого элемента y,
для которго сравнение 5 op y (5 > y) могло бы дать логическое значение, не равное true
(то есть, истинным оказалось отрицание op - not op).

Такая формулировака используется, чтобы объяснить поведение ALL для случая, когда множество Y пустое.
Для пустого множества утверждение ALL с любой операцией сравнения истинно, так как в таком множестве нет элементов,
на которых сравнение бы могло дать ложный результат, или его отрицание - истинный.

т.е. Y=()
и 5 > ALL () по определению истина, в Y нет элементов, которые при сравнении с 5 могли бы дать результат, не равный true.
Это приводит к эквивалентности
x op ALL (Y)
и not Exists( x not op SOME (Y)) при условии, что в Y нет пропущенных значений - null.

нет не будет
если с математикой проблемы - скорее бросайте SQL.

Бросайте всё и немедленно осваивайте объектно ориентированное программирование.
Оно сейчас не предполагает наличия формального образования.
Надо просто заучить набор волшебных паттернов и уметь расставлять кракозябры аннотации.

Dante80,

извини, глубина твоего интереса к математике превышает мои возможности по обучению.