Присоединиться к подзапросу «существует»

Question

Мне интересно, почему, когда вы присоединяете две таблицы к ключу внутри существующего подзапроса, соединение должно происходить в предложении WHERE вместо предложения FROM.

Это мой пример:

Регистрация в ЕКОМ:

SELECT payer_id 
    FROM Population1 
WHERE NOT EXISTS 
     (Select * 
      From Population2 join Population1 
      On Population2.payer_id = Population1.payer_id) 

Регистрация в ИНЕКЕ:

SELECT payer_id 
    FROM Population1 
    WHERE NOT EXISTS 
     (Select * 
      From Population2 
      WHERE Population2.payer_id = Population1.payer_id) 

Первый запрос дает мне 0 результаты, которые я знаю, это неправильно , а второй запрос дает тысячи результатов, которые я ожидаю увидеть.

Может кто-то просто объяснить мне, почему, когда соединение происходит в подзапросах EXISTS? Если вы берете подзапросы без родительского запроса и запускаете их, они буквально дают вам тот же результат.

Это очень помогло бы мне запомнить, чтобы не продолжать делать эту ошибку при использовании.

Заранее спасибо.

Answer 1

Вам нужно понять различие между обычным подзапросом и коррелированным подзапросом.

Используя ваши примеры, это должно быть легко. Первый where оговорка:

where not exists (Select 1 
        from Population2 join 
         Population1 
         on Population2.payer_id = Population1.payer_id 
       ) 

Это условие делает точно что он говорит, что это делает. Подзапрос не имеет никакого отношения к внешнему запросу. Таким образом, not exists либо отфильтрует все строки, либо сохранит все строки.

В этом случае движок запускает подзапрос и определяет, что возвращается хотя бы одна строка. Следовательно, not exists возвращает false во всех случаях, и ничего не возвращается.

Во втором случае подзапрос представляет собой коррелированный подзапрос. Таким образом, для каждой строки в population1 подзапрос запускается с использованием значения Population1.payer_id. В некоторых случаях соответствующие строки существуют в Population2; они отфильтровываются. В других случаях совпадающие строки не существуют; они находятся в результирующем наборе.

Answer 2

Первый пример фактически не относится к базовой таблице, которая создает непредсказуемую логику.

Другой способ сделать то же логика будет:

SELECT payer_id 
FROM Population1 P1 
LEFT JOIN Population2 P2 ON 
    P2.Payer_Id = P1.Payer_Id 
WHERE 
    P2.Payer_Id IS NULL 

Answer 3

Вы QRY вернуть ROW EXISTS всегда, если существует, даже если есть один результат строки.

Select * 
from Population2 
join Population1 on Population2.payer_id = Population1.payer_id 

Если существует хотя бы одну строку из этого соединения (и наверняка существует), вы можете себе представить ваш subqry выглядит следующим образом:

select 'ROW EXISTS' 

И результат:

select * 
from Population1 
where not exists (select 'ROW EXISTS') 

Таким образом, ваш возврат против полуоси:

payer_id 1 -> некоторые ROW EXISTS -> не возвращать эту строку

payer_id 2 -> некоторые ROW EXISTS -> не возвращают эту строку