このクエリの正しい結果は何ですか？

ここのコメントでこのパズルに出会いました

CREATE TABLE r (b INT);

SELECT 1 FROM r HAVING 1=1;

SQL ServerとPostgreSQLは 1行を返します。

MySQLおよびOracleはゼロ行を返します。

どちらが正しい？または、両方とも同等に有効ですか？

標準ごと：

SELECT 1 FROM r HAVING 1=1

手段

SELECT 1 FROM r GROUP BY () HAVING 1=1

引用ISO / IEC 9075-2：2011 7.10構文規則1（HAVING句の定義の一部）：

してみましょうHCこと<having clause>。してみましょうTEことが<table expression>すぐに含まれていますHC。TEがすぐに含まれない 場合<group by clause>、「GROUP BY ()」は暗黙的です。ましょうTで定義されたテーブルの記述子<group by clause> GBCすぐに含まれるTEとましょうRの結果GBC。

わかりましたので、それはかなり明確です。

アサーション：1=1は真の検索条件です。これについては引用しません。

いま

SELECT 1 FROM r GROUP BY () HAVING 1=1

に等しい

SELECT 1 FROM r GROUP BY ()

引用ISO / IEC 9075-2：2011 7.10一般規則1：

<search condition>のグループごとに評価されますR。の結果は、<having clause>Rのグループのグループ化されたテーブルであり、その結果 <search condition>はTrueです。

ロジック：検索条件は常に真であるため、結果はRであり、これはgroup by式の結果です。

以下は、7.9の一般規則（GROUP BY CLAUSEの定義）からの抜粋です。

1）no <where clause>が指定されている場合、let Tは前の結果になり<from clause>ます; それ以外の場合Tは、先行の結果とし<where clause>ます。

2）ケース：

a）グループ化列がない場合、の結果は、唯一のグループとして<group by clause>構成されるグループ化されたテーブルTです。

したがって、我々はそれを結論付けることができます

FROM r GROUP BY ()

1行のグループで構成されるグループ化されたテーブルになり、行はゼロになります（Rは空なので）。

クエリ仕様（別名SELECTステートメント）を定義する7.12の一般規則からの抜粋：

1）ケース：

a）Tグループ化されたテーブルでない場合、[...]

b）Tグループ化されたテーブルの場合、

場合：

i）Tグループが0（ゼロ）の場合、TEMPを空のテーブルにします。

ii）T1つ以上のグループがある場合<value expression>、各グループに適用され、行のTテーブルTEMPを生成します。MここでMはのグループ数ですT。iTEMP の-th列には、i-thの評価によって導出された値が含まれます<value expression>。[...]

2）ケース：

a）<set quantifier> DISTINCTが指定されていない場合、の結果は<query specification>ですTEMP。

したがって、テーブルには1つのグループがあるため、1つの結果行が必要です。

かくして

SELECT 1 FROM r HAVING 1=1

1行の結果セットを返す必要があります。

QED

HAVING句があり、句がないWHERE場合：

SELECT 1 FROM r HAVING 1=1;

... GROUP BY ()暗黙的です。したがって、クエリは次と同等である必要があります。

SELECT 1 FROM r GROUP BY () HAVING 1=1;

...これは、テーブルのすべての行を1つのグループにグループ化する必要があり（テーブルに行がまったくない場合でも、0行の1つのグループです）、1行を返します。条件は、後に全く影響を与えないはずです。HAVINGTrue

別の角度から、このようなクエリは何行返す必要がありますか？

SELECT COUNT(*), MAX(b) FROM r;

1、0、または「0または1、テーブルが空かどうかによって異なりますか？」

行rがいくつあっても、1行だと思います。

私が見ると、SQLServerとPostgerSQLはテーブルをまったく気にしないようです：

CREATE TABLE r (b INT);
insert into r(b) values (1);
insert into r(b) values (2);
SELECT 1 FROM r HAVING 1=1;

また、1行のみを返します。にもかかわらず、SQLServerのドキュメントは言います

GROUP BYを使用しない場合、HAVINGはWHERE句のように動作します。

この場合はそうではありません- 適切な行数を返すWHERE 1=1代わりにHAVING。私はそれがオプティマイザーのバグ（または少なくともドキュメントのバグ）だと思うでしょう... SQLServerプランは、「Constant scan」の場合HAVINGと「table scan」を表示しWHEREます...

OracleとMysqlの動作は私にとってより論理的で正しいようです...