HAVING 子句如何真正起作用？

Question

我们可以在 SQL 查询中使用 HAVING 子句来过滤行组。当我们使用 GROUP BY 子句时，它直接以这种方式工作。

但是，让我们看看这个查询：

select 1 where 1!=1 having count(*)=0;

（或为 Oracle 附加 'from dual'）。

如果 HAVING 真的做组过滤，在 WHERE 之后我们没有任何行，所以我们没有任何组，结果必须是 'No row selected'。

但在 PostgreSQL、MySQL 和 Oracle 中，我们得到“1”作为查询结果。

问题：HAVING 究竟是如何工作的？

用于测试的 SQL Fiddle：http://www.sqlfiddle.com/#!15/d5407/51

Answer 1

如果没有GROUP BY，聚合总是返回一行，在您的情况下，COUNT(*) 返回0。

此列不在您的选择列表中，而是硬编码文字1

select count(*) where 1!=1 ;
select 'bla' where 1!=1 having count(*)=0;

见fiddle

Answer 2

HAVING 没有GROUP BY cluase 是有效的并且对整个表进行操作。来自 SQL 标准 92：

7.10

::= 拥有

语法规则

1) 设 HC 为 .设 TE 是立即包含 HC 的那个。

如果 TE 不立即包含 a ，则 GROUP BY ( ) 是隐含的。

和：

::= 分组方式

<grouping specification> ::=
<grouping column reference>
     | <rollup list>   
     | <cube list>   
     | <grouping sets list>   
     | <grand total>   
     | <concatenated grouping>

<grouping set> ::=
<ordinary grouping set>   
     | <rollup list>   
     | <cube list>   
     | <grand total>

<grand total> ::= <left paren> <right paren>

如您所见，GROUP BY () 被视为 grand total。

在您的示例中，您有：

select 1 
where 1!=1 
having count(*)=0;

实际上是这样的：

select 1 
where 1!=1 
-- group by ()
having count(*)=0;