ОБЪЕДИНЕНИЕ
Объединением двух множеств называется множество всех элементов, принадлежащих какому-либо одному или обоим исходным множествам. Поскольку отношение—это множество (множество строк), можно построить объединение двух отношений. Результатом будет множество, состоящее из всех строк, входящих в какое-либо одно или в оба первоначальных отношения. Если, однако, этот результат сам по себе должен быть другим отношением, а не просто разнородной смесью строк, то два исходных отношения должны быть совместимыми по объединению. Нестрого говоря, строки в обоих отношениях должны быть одной и той же «формы». Что касается SQL, то две, таблицы совместимы по объединению (и к ним может быть применен оператор UNION) тогда и только тогда, когда:
а) они имеют одинаковое число столбцов, например, m;
б) для всех i (i= 1,2,..., m) i-й столбец первой таблицы и i-йстолбец второй таблицы имеют в точности одинаковый тип данных;
— если тип данных—DECIMAL (p, q), то р должно быть;
одинаковым для обоих столбцов и q должно быть одинаковым для обоих столбцов;
— если тип данных—• CHAR (n), то n должно быть. одинаковым для обоих столбцов;
— если тип данных—VARCHAR;(n), то n должно быть одинаковым для обоих столбцов;
— если NOT NULL специфицировано для какого-либо из этих столбцов, то такая же спецификаций должна быть для другого столбца.