Как объяснить различия JOIN на уровне множеств?

Как различаются JOIN на уровне множеств

• JOIN — объединение таблиц по ключевым значениям
• INNER JOIN — пересечение множеств: возвращаются только общие строки
• LEFT JOIN — сохраняет все строки слева и дополняет их данными справа (при отсутствии совпадения — NULL)
• RIGHT JOIN — сохраняет полный набор справа и добавляет соответствующие строки слева (иначе — NULL)
• FULL JOIN — объединяет множества, оставляя все элементы обеих таблиц
• NULL обозначает элемент, для которого не нашлось пары во второй таблице
• Тип выбирают по задаче: фильтрация (INNER), сохранение контекста (LEFT/RIGHT), полный охват данных (FULL)

Развёрнутый ответ

Основной ответ

С точки зрения теории множеств, JOIN в реляционной базе данных — это способ сопоставить строки двух таблиц, а затем объединить, пересечь или отфильтровать получившиеся множества. Разные варианты JOIN соответствуют разной логике включения элементов из левого и правого множества, то есть таблиц.

Основные положения

• INNER JOIN можно сопоставить с пересечением множеств. В результат попадают только элементы, которые есть в обоих множествах, или строки, для которых значения удовлетворяют условию соединения.
• При использовании LEFT JOIN (LEFT OUTER JOIN) полностью сохраняется левое множество, а из правого добавляются найденные соответствия. Если пары нет, поля правой таблицы получают значение NULL. Формально такую операцию можно рассматривать как левое дополнение до объединения.
• RIGHT JOIN (RIGHT OUTER JOIN) работает зеркально по отношению к LEFT JOIN: в результате остаются все элементы правого множества, а сведения из левого присоединяются только при наличии совпадения. В противном случае используются NULL.
• FULL JOIN (FULL OUTER JOIN) сохраняет элементы сразу обоих множеств. Для строк, которым не удалось найти пару, значения со стороны отсутствующего соответствия заполняются NULL. Условно эту операцию можно сравнить с объединением множеств, выполняемым с учётом заданного условия.

Применение на практике

Рассмотрение JOIN с позиции теории множеств упрощает выбор нужного типа соединения для конкретного запроса. Когда требуются только записи с подтверждённым совпадением, используют INNER JOIN. Если необходимо сохранить все строки одной таблицы и лишь добавить к ним доступные сведения из другой, подходит LEFT JOIN и т.п. В PostgreSQL 14+ и MySQL 8.0+ все перечисленные типы JOIN оптимизированы для обработки больших объёмов данных.