Який правильний результат для цього запиту?

Я натрапив на цю загадку в коментарях тут

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не одразу містить a <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, який є результатом групи за виразом.

Далі - уривок із Загальних правил 7.9 (визначення групи ГРУПИ ПО КЛАЗУ)

1) Якщо ні <where clause>вказується, то нехай Tбуде результат попереднього <from clause>; інакше нехай Tбуде результатом попереднього <where clause>.

2) Справа:

a) Якщо немає групувальних стовпців, то результатом <group by clause>є згрупована таблиця, що складається Tяк її єдина група.

Таким чином, ми можемо зробити висновок про це

FROM r GROUP BY ()

приводить до згрупованої таблиці, що складається з однієї групи, з нульовими рядками (оскільки R порожній).

Витяг із Загальних правил 7.12, який визначає Специфікацію запиту (він же SELECT):

1) Справа:

а) Якщо Tце не згрупована таблиця, то [...]

б) Якщо Tце згрупована таблиця, то

Справа:

i) Якщо Tмає 0 (нульових) груп, то нехай TEMP - порожня таблиця.

б) Якщо Tмає одну або кілька груп, то кожен <value expression>застосовується до кожної групи Tотримує таблицю TEMPз Mрядків, де Mця кількість груп в T. У i-му стовпці TEMP містяться значення, отримані оцінкою i-го <value expression>. [...]

2) Справа:

а) Якщо значення <set quantifier> DISTINCTне вказано, то результат <query specification>є TEMP.

Тому, оскільки таблиця має одну групу, вона повинна мати один рядок результатів.

Таким чином

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;

... який повинен об'єднати всі рядки таблиці в одну групу (навіть якщо у таблиці взагалі немає рядків - це все одно одна група з 0 рядків) і повернути 1 рядок. Після HAVINGцього Trueстан не повинен мати жодного ефекту після цього.

З іншого боку, скільки рядків повинен мати такий запит, як цей повернення?

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

Один, нуль або "нуль чи один", залежно від того, чи таблиця порожня чи ні "?

Я думаю, що один ряд, незалежно від того, скільки рядків rмає.

З того, що я бачу, схоже на те, що 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;

також повертає лише один ряд. Навіть незважаючи на те, що це каже в документах SQLServer

Коли GROUP BY не використовується, HAVING поводиться як пункт WHERE.

це не вірно в цьому випадку - WHERE 1=1замість HAVINGповертає належну кількість рядків. Я б сказав, що це помилка оптимізатора (або принаймні помилка документації) ... План SQLServer показує "Постійне сканування" у випадку HAVINGта "сканування таблиці" для WHERE...

Поведінка Oracle і Mysql здається мені більш логічною і правильною ...