Краткий ответ

Нет. GROUP BY определяет, какие строки объединяются в группы, но не задаёт порядок строк в результирующем наборе. Гарантированный порядок появляется только при явном ORDER BY во внешнем запросе.

Исторический контекст

SQL описывает результат запроса декларативно: разработчик задаёт требуемое множество данных, а СУБД сама выбирает план выполнения. В реляционной модели множество строк не имеет встроенного порядка, поэтому порядок, случайно полученный при одном выполнении, не считается частью результата.

GROUP BY появился для формирования агрегированных результатов, а не для сортировки. Сортировка — отдельная операция, которая может быть дорогостоящей и потому выполняется только по явному требованию.

Постановка проблемы

На практике группы иногда выглядят отсортированными по ключу группировки. Это может быть следствием сортировочного плана агрегации, индекса, последовательного чтения таблицы или особенностей конкретной версии СУБД.

Такой порядок не является контрактом. После изменения индекса, статистики, объёма данных, версии СУБД или перехода к параллельному выполнению строки могут вернуться в другом порядке, что приводит к нестабильным отчётам, тестам и постраничной выдаче.

Подробное решение

Если порядок важен, его нужно указать во внешнем ORDER BY. Например:

SELECT department, SUM(amount) AS total
FROM sales
GROUP BY department
ORDER BY total DESC, department ASC;

Сначала выполняется группировка и вычисляется агрегат, затем итоговый набор сортируется по заданным правилам. Вторичный ключ department делает порядок детерминированным при одинаковых значениях total.

Нельзя считать сортировкой порядок, заданный внутри подзапроса, если внешний запрос сам не содержит ORDER BY. Оптимизатор может изменить план или устранить внутреннюю сортировку, когда она не влияет на семантику операции.

Для стабильной пагинации одного ORDER BY total DESC может быть недостаточно: при совпадении сумм строки могут перемещаться между страницами. Поэтому добавляют уникальный или однозначно определяющий порядок столбец, например идентификатор группы.

Сортировка может потребовать памяти и дополнительного времени. Но отказ от неё ради предполагаемой производительности означает отказ от гарантии порядка; это допустимо только когда порядок действительно не нужен.

Ситуация из практики

В отчёте группы подразделений после GROUP BY отображались по возрастанию названия. Команда решила, что СУБД всегда возвращает группы в таком порядке, и использовала результат напрямую для CSV-выгрузки и постраничного API.

Рассматривались три варианта. Оставить запрос без сортировки было самым дешёвым, но давало нестабильный результат. Сортировать только по сумме решало основную задачу, однако оставляло неопределённость при одинаковых суммах. Сортировать по сумме, названию подразделения и его уникальному идентификатору было наиболее явным и предсказуемым решением.

Выбрали третий вариант. После смены плана выполнения порядок выгрузки не изменился, а пагинация перестала дублировать и пропускать группы. Дополнительная сортировка стала контролируемой платой за детерминированный результат.

Что кандидаты часто упускают

Достаточно ли ORDER BY в подзапросе, чтобы гарантировать порядок итогового результата?

Нет, если внешний запрос сам не задаёт порядок. Результат подзапроса является входом для следующей операции, а не окончательной выдачей пользователю. Внешний уровень может изменить порядок строк, поэтому гарантию нужно формулировать на уровне, который возвращает итоговый результат.

Гарантирует ли ORDER BY только по неуникальному столбцу полностью стабильный порядок?

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

Влияет ли отсутствие ORDER BY на вычисление агрегатов?

Нет, отсутствие сортировки не меняет смысл обычных агрегатов вроде SUM, COUNT, MIN или MAX. Оно влияет на порядок представления уже вычисленных строк результата. Исключение касается операций, для которых порядок является частью самой семантики, например некоторых оконных функций или упорядоченных агрегатов; там порядок задаётся внутри соответствующей конструкции, но это не заменяет сортировку финальной выдачи.