MSSQL中无FROM子句的COUNT(*)等语句执行逻辑疑问

问题1：为什么select count(*)在无FROM子句时输出1？ #

多数主流数据库（如PostgreSQL、MySQL 8.0+）在处理无FROM子句的查询时，会自动生成一个虚拟的单行空数据集。count(*)的作用是统计当前数据集的行数，这个虚拟数据集只有1行，因此结果自然是1。这种设计是为了支持没有明确数据源的查询场景，让常量查询、聚合查询能合法执行。

问题2：语句SELECT 'penguins' WHERE 1 = 2 HAVING 0 < 1;为何能正常执行？ #

拆解执行逻辑：

1. 无FROM子句时，数据库先构造一个虚拟的单行上下文；
2. WHERE 1=2条件为假，过滤掉这唯一的一行，此时中间结果为空；
3. 由于没有显式GROUP BY，整个结果集会被视为一个单一分组；
4. HAVING 0<1是恒真条件，会保留这个空分组；
5. SELECT列表中的'penguins'是常量值，不是聚合函数，数据库会为这个保留的空分组返回该常量，因此语句能正常执行并输出一行penguins。

问题3：语句select count(*) WHERE 1 = 2 HAVING 0 < 1;为何无法输出类似'penguins'的结果？ #

核心差异在于count(*)是聚合函数：

1. 前两步和问题2一致：虚拟单行被WHERE过滤，得到空数据集，形成单一空分组；
2. count(*)的作用是统计分组内的行数，对于空分组，它会返回0（代表分组内没有数据）；
3. 聚合函数处理空分组时，不会返回常量值，而是返回对应聚合逻辑的结果，因此最终输出的是0，而非类似字符串的结果。

内容的提问来源于stack exchange，提问作者virex-84