Порядок оценки операторов SQL

Это упоминается в документации:

4.2.11. Скалярные подзапросы

Скалярный подзапрос — это обычный SELECT запрос в круглых скобках, который возвращает ровно одну строку с одним столбцом. .... Запрос SELECT выполняется, и единственное возвращаемое значение используется в выражении окружающего значения. .... Подзапрос может ссылаться на переменные из окружающего запроса, которые будут действовать как константы во время любой оценки подзапроса. См. также раздел 9.23 для других выражений, включающих подзапросы.

В разделе 9.23.1 EXISTS тоже самое написано.

Также обратите внимание:

7.2.1.5.LATERAL Подзапросы

Подзапросам, появляющимся в FROM, может предшествовать ключевое слово LATERAL. Это позволяет им ссылаться на столбцы, предоставленные предыдущими элементами FROM. (Без LATERAL каждый подзапрос оценивается независимо и поэтому не может ссылаться на какой-либо другой элемент FROM.)

Это не то же самое, что скалярный подзапрос. Скалярный подзапрос используется вместо одного значения в выражении и должен возвращать только одну строку (или ни одной). В то время как боковое соединение может возвращать несколько строк и присоединяется к предыдущим ссылкам на таблицу, как обычно.

Кстати, ваш список порядка оценки неточен. SELECT и AS по сути одно и то же. ON и JOIN тоже. Вам также не хватает оконных функций, которые идут после HAVING, а также операторов установки UNION и им подобных, которые идут после DISTINCT, но перед ORDER BY.

c — это псевдоним таблицы, поэтому он принадлежит к предложению FROM, поэтому имеет смысл, что он доступен в подзапросе в WHERE.

Рассмотрим следующий запрос:

SELECT t.c AS x
FROM (VALUES (1), (2)) AS t(c);

x — псевдоним столбца, t и c — псевдонимы таблицы.

Это будет работать:

SELECT t.c AS x
FROM (VALUES (1), (2)) AS t(c)
WHERE EXISTS (SELECT WHERE t.c = 1);

Но это не будет:

SELECT t.c AS x
FROM (VALUES (1), (2)) AS t(c)
WHERE EXISTS (SELECT WHERE x = 1);

Логический порядок стандартных предложений ISO SQL для оператора SQL SELECT:

1. ОТ
2. ГДЕ
3. ГРУППА ПО
4. ИМЕЮЩИЙ
5. ОКНО
6. ВЫБИРАТЬ
7. СОРТИРОВАТЬ ПО

Все остальные ключевые слова являются подпредложениями (JOIN/ON, DISTINCT, OFFSET/FETCH...) или операторами (IN, BETWEEN, EXISTS...) в зависимости от предложений SQL.

Вопреки тому, что говорит @Laurenz_Albe, ключевое слово AS вводит псевдоним, то есть новое имя, для столбца или таблицы, которое можно использовать в предложениях, расположенных после него, в логическом порядке. Таким образом, AS, определяющий псевдоним для столбца предложения SELECT, может использоваться только в предложении ORDER BY и ни в коем случае в других из следующих элементов предложения SELECT.

Так :

SELECT COL1 AS X, X + 1

Должен выдать исключение.

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

Так :

SELECT *
FROM   Tab1 AS T
       JOIN Tab2 AS U
          ON T.id = U.id

...верно

Запрос, заданный @Laurenz_Albe:

SELECT t.c AS x
FROM (VALUES (1), (2)) AS t(c)
WHERE EXISTS (SELECT WHERE t.c = 1);

... является синтаксически ложным в SQL и не может быть принят ни одной СУБД, кроме PostGreSQL. Потому что внутреннее предложение SELECT должно содержать почти элемент. Правильный запрос может быть:

SELECT t.c AS x
FROM (VALUES (1), (2)) AS t(c)
WHERE EXISTS (SELECT * WHERE t.c = 1);

Избегайте писать такие глупые запросы, которые синтаксически неприемлемы...

Кстати,

Ключевые слова ON и PARTITIONNED зависят от JOIN, которое зависит от предложения FROM, например LATERAL { CROSS | OUTER } APPLY.

ключевое слово DISTINCT, которое является оператором, зависит от предложения FROM и должно предшествовать любому элементу этого предложения.

Ключевое слово LIMIT не является частью стандарта ISO SQL.

Ключевое слово OFFSET зависит от предложения ORDER BY, а FETCH зависит от OFFSET.

Но не путайте логический порядок и физическую обработку запроса. Запрос — это просто предложение, переведенное в математические формулы реляционной алгебры, и эти формулы могут быть:

• упрощенный
• переписан

В качестве основного примера упрощения:

SELECT *
FROM   T
WHERE  Col1 + 3 = 5

будет переписано как:

SELECT *
FROM   T
WHERE  Col1 = 2

Более сложное упрощение путем переписывания может быть:

SELECT COUNT(*), PrimaryKeyCol, Col2, Col3, Col4, Col5 
FROM   T
GROUP  BY PrimaryKeyCol, Col2, Col3, Col4, Col5 

... это будет переписано как::

SELECT COUNT(*), PrimaryKeyCol, Col2, Col3, Col4, Col5 
FROM   T
GROUP  BY PrimaryKeyCol 

В зависимости от уровня "интеллекта" оптимизатора (тупо называемого планировщиком в PostGreSQL)...