关于GROUP BY子句缺失时满足WHERE条件的元组分组规则的疑问

首先明确：当GROUP BY子句缺失时，所有满足WHERE条件的元组会被合并成一个单一的组，而不是每个元组各自为一组。这个规则的核心是为聚合函数服务的——当你使用COUNT()、SUM()、AVG()这类聚合函数时，它们会基于这个单一的组计算整体结果。

举个实际的SQL例子：
假设我们有一个students表，包含id、name、score字段，执行以下查询：

SELECT COUNT(*), AVG(score)
FROM students
WHERE score > 60;

这里没有GROUP BY，所有分数大于60的学生元组会被当成一个组，COUNT(*)会返回这个组里的总人数，AVG(score)会返回这些学生的平均分，最终只会得到一行结果。

你之前混淆的ORDER BY逻辑，和分组是完全独立的概念：

• 当有GROUP BY时，ORDER BY是对分组后的结果行排序（每个组对应一行聚合结果）；
• 当没有GROUP BY时，如果查询里没有聚合函数，ORDER BY是对所有满足WHERE的原始元组排序（此时相当于直接返回所有行，不存在聚合分组的操作）；但如果有聚合函数，ORDER BY只能对聚合后的那一行结果排序（通常没有实际意义）。

简单总结：

• 有没有GROUP BY，决定的是聚合函数的计算范围；
• ORDER BY决定的是最终结果集的排序方式，和分组的定义不冲突。

引用自Silberschatz《Database System Concepts》：
若存在GROUP BY子句，满足WHERE谓词的元组将被分组；若GROUP BY子句缺失，则所有满足WHERE谓词的元组被视为一个组。

内容的提问来源于stack exchange，提问作者Tim