Проверка существования данных с EXISTS и NOT EXISTS

Добро пожаловать на новую лекцию по SQL! Сегодня мы познакомимся с самыми незаметными, но невероятно мощными операторами — EXISTS и NOT EXISTS. Представьте себе разведчика, который не оставляет следов, но мгновенно сообщает: "Да, объект существует" или "Нет, здесь пусто". Эти операторы не возвращают данных напрямую, но позволяют делать логически точные проверки в запросах.

Начнём с основ. EXISTS — это оператор, который проверяет существование записей в результате выполнения подзапроса. Если подзапрос возвращает хотя бы одну запись, условие EXISTS вернёт TRUE, в противном случае — FALSE.

SELECT 1
WHERE EXISTS (
    SELECT * 
    FROM students 
    WHERE grade > 3.5
);

Как видите, мы не интересуемся самими данными подзапроса, а только тем, что такие строки существуют. Если хоть одна запись соответствует условию, запрос возвращает 1.

Синтаксис EXISTS

Синтаксис EXISTS выглядит просто:

SELECT колонки
FROM таблица
WHERE EXISTS (
    SELECT 1
    FROM другая_таблица
    WHERE условие
);

Объяснение:

• Вложенный подзапрос внутри EXISTS может быть любым запросом.
• Именно результат подзапроса определяет, вернётся ли TRUE или FALSE.

Пример: Есть ли студенты с оценкой выше 4?

Представим себе таблицу students:

Допустим, мы хотим проверить, существуют ли студенты с оценкой выше 4. Используем следующий запрос:

SELECT 'Есть студенты с высоким баллом!'
WHERE EXISTS (
    SELECT 1
    FROM students
    WHERE grade > 4
);

Результат:

Есть студенты с высоким баллом!

Почему EXISTS работает быстрее, чем IN?

Основное преимущество EXISTS в том, что он останавливает выполнение подзапроса, как только находит первое совпадение. Это означает, что если у нас есть условие, проверяющее существование данных, EXISTS может быть чрезвычайно эффективным.

Например, представьте, что в таблице students миллионы записей, но мы ищем только одно существующее совпадение (grade > 4). Как только SQL найдет первую строку, подходящую по условию, запрос завершится.

Использование NOT EXISTS

Теперь давайте поговорим о NOT EXISTS. Этот оператор работает как антипод EXISTS. Он возвращает TRUE, если подзапрос не возвращает ни одной записи.

Пример: найти студентов без оценок (NULL)

Допустим, в нашей таблице есть студенты, у которых ещё нет оценок:

Мы хотим выбрать всех студентов с отсутствующими оценками. Используем NOT EXISTS:

SELECT *
FROM students s
WHERE NOT EXISTS (
    SELECT 1
    FROM students 
    WHERE grade IS NOT NULL
    AND id = s.id
);

Результат:

Сравнение EXISTS и IN

Иногда кажется, что EXISTS и IN делают одно и то же. На первый взгляд — да, но есть нюансы. Особенно если где-то рядом затесался NULL. Тогда поведение IN может стать неожиданным, а EXISTS — спасителем.

Давайте посмотрим на примере.

Таблица courses (курсы, которые можно пройти):

А вот и студенты:

Таблица enrollments (записи о том, кто на какой курс записался):

Мы хотим выбрать названия курсов, на которые кто-то записан. Вроде бы просто.

С использованием IN:

SELECT name
FROM courses
WHERE course_id IN (
    SELECT course_id 
    FROM enrollments
);

На первый взгляд всё должно сработать. Но если в enrollments есть NULL в courseid, как у Maria Chi, IN может вернуть... ничего! Потому что NULL делает подзапрос "неопределённым", и SQL теряется: вдруг NULL — это именно тот courseid, которого мы ищем?

С использованием EXISTS:

SELECT name
FROM courses c
WHERE EXISTS (
SELECT 1
FROM enrollments e
WHERE c.course_id = e.course_id
);

А вот EXISTS проверяет: "Есть ли хотя бы одна строка, где course_id совпадает?" — и всё. Он не смущается, если где-то рядом NULL, ведь он ищет конкретные совпадения, а не список значений.

Итог: если в подзапросе может быть NULL, лучше использовать EXISTS, чтобы не получить сюрпризов.

Примеры реальных задач

Таблица students:

Таблица enrollments:

Пример 1. Студенты, записанные на курсы

Найдём тех, кто где-то уже засветился — записался на курс (пусть даже странно, как Maria Chi):

SELECT name
FROM students s
WHERE EXISTS (
    SELECT 1
    FROM enrollments e
    WHERE s.id = e.student_id
);

Результат:

Alex Lin
Anna Song
Maria Chi

Если студент хоть как-то фигурирует в enrollments — он попадает в выборку, даже если его course_id непонятен.

Пример 2. Студенты без курсов

А теперь найдём тех, кто пока что просто существует в системе — но никуда не записан:

SELECT name
FROM students s
WHERE NOT EXISTS (
    SELECT 1
    FROM enrollments e
    WHERE s.id = e.student_id
);

Результат:

Dan Seth
Shadow Moon

Похоже, эти двое пока не нашли курс по душе. Или просто забыли, что надо записываться :)

Пример 3. Выборка курсов с более чем 5 зарегистрированными студентами

Таблица courses:

Таблица enrollments:

Мы хотим найти такие курсы, на которые записалось больше пяти студентов. Тут EXISTS как бы спрашивает: "А есть ли у этого курса хотя бы одна группа записей, где студентов больше пяти?"

SELECT name
FROM courses c
WHERE EXISTS (
    SELECT 1
    FROM enrollments e
    WHERE c.course_id = e.course_id
    GROUP BY e.course_id
    HAVING COUNT(*) > 5
);

Результат:

Математика

Только на курс "Математика" (course_id = 1) записано шесть студентов. Остальные курсы пока не столь популярны.

Частые ошибки при использовании EXISTS и NOT EXISTS

1. Неправильное понимание синтаксиса подзапроса. Всегда проверяйте, что подзапрос корректно ссылается на внешнюю таблицу.
2. Забытая проверка NULL. Даже если используете EXISTS, иногда вам нужно явно указать обработку NULL.
3. Отсутствие индекса на полях подзапроса. Это может значительно замедлить выполнение запроса.

На этом всё на сегодня! Теперь вы знаете, как использовать EXISTS и NOT EXISTS для проверки существования данных, а также различия между этими операторами и IN. В следующей лекции мы продолжим погружение в подзапросы, рассмотрев их использование в SELECT для работы с агрегированными данными.

2

Задача

SQL SELF, 13 уровень, 3 лекция

Недоступна

Поиск студентов без оценок

Поиск студентов без оценок

Открыть

2

Задача

SQL SELF, 13 уровень, 3 лекция

Недоступна

Проверка курсов с зарегистрированными студентами

Проверка курсов с зарегистрированными студентами

Открыть