Почему в этом запросе отсутствует предложение FROM, а не ошибка?

Итак, у нас есть запрос с подзапросом, в котором есть опечатка. В нем отсутствует предложение FROM. Но когда вы запускаете его, это не ошибка! Почему!?

SELECT

    1
   ,r.id
   ,'0D4133BE-C1B5-4141-AFAD-B171A2CCCE56'
   ,GETDATE()
   ,1
   ,'Y'
   ,'N'
   ,oldItem.can_view
   ,oldItem.can_update

FROM Role r

JOIN RoleObject oldReport
    ON r.customer_id = oldReport.customer_id

JOIN RoleItem oldItem
    ON oldReport.id = oldItem.role_object_id
        AND r.id = oldItem.role_id

WHERE r.id NOT IN (SELECT
        role_id
    WHERE role_object_id = '0D4133BE-C1B5-4141-AFAD-B171A2CCCE56')

AND oldReport.id = '169BA22F-1614-4EBA-AF45-18E333C54C6C'

Это утверждение является законным (другими словами, нет FROMнеобходимости):

SELECT x = 1;
SELECT x = 1 WHERE 1 = 1; -- also try WHERE 1 = 0;

Хитрость заключается в том, что вы вводите имя столбца, которое явно не может существовать. Таким образом, они терпят неудачу:

SELECT name WHERE 1 = 1;

SELECT x = 1 WHERE id > 0;

Сообщение 207, уровень 16, состояние 1
Неверное имя столбца «имя».
Сообщение 207, уровень 16, состояние 1
Неверное имя столбца 'id'.

Но когда недопустимый столбец вводится во что-то вроде подзапроса, то, что делает SQL Server, когда не может найти этот столбец во внутренней области подзапроса, переходит во внешнюю область и делает подзапрос коррелированным с этой внешней областью. Это вернет все строки, например:

SELECT * FROM sys.columns WHERE name IN (SELECT name WHERE 1 = 1);

Потому что по сути это говорит:

SELECT * FROM sys.columns WHERE name IN (SELECT sys.columns.name WHERE 1 = 1); /*
              ^^^^^^^^^^^                       -----------
                   |                                 |
                   -----------------------------------    */

Вам даже не нужно WHEREпредложение в подзапросе:

SELECT * FROM sys.columns WHERE name IN (SELECT name);

Вы можете видеть, что он действительно смотрит на внешнюю таблицу с областями видимости, потому что это:

SELECT * FROM sys.columns WHERE name IN (SELECT name WHERE name > N'x');

Возвращает гораздо меньше строк (11 в моей системе).

Это подразумевает соблюдение стандарта о сфере охвата. Вы можете увидеть похожие вещи, когда у вас есть две таблицы #temp:

CREATE TABLE #foo(foo int);
CREATE TABLE #bar(bar int);

SELECT foo FROM #foo WHERE foo IN (SELECT foo FROM #bar);

Очевидно, это должно быть ошибкой, верно, так как нет fooв #bar? Нет. В результате SQL Server говорит: «О, я не нашел fooздесь, вы, должно быть, имели в виду другое».

Также, в общем, я бы избегал NOT IN. NOT EXISTSобладает потенциалом быть более эффективным в некоторых сценариях, но, что более важно, его поведение не меняется, когда возможно, что целевой столбец может быть NULL. Смотрите этот пост для получения дополнительной информации .

Я воспроизвел это в 2016 году на упрощенном примере:

declare @t1 table (c1 int, c2 int, c3 int)
insert into @t1 values (1,2,3), (2,3,4), (3,4,5)

select * from @t1
where
    c1 not in 
    (select c2 where c3 = 3)

Похоже, что c2 и c3 оцениваются для каждой строки.

В SQL Server синтаксис SELECT не требует раздела FROM. Если вы опустите FROM, оператор select будет использовать «фиктивную» таблицу, которая имеет одну строку и не содержит столбцов. Так

select 'x' as c where ...

вернет одну строку, если выражение истинно, и не будет строк, если оно ложно.