Объединение

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

Будем говорить, что два отношения совместимы по типу, если у них идентичные заголовки, а точнее,

1. если каждое из них имеет одно и то же множество имен атрибутов (следовательно, заметьте, они заведомо должны иметь одну и ту же степень);

2. если соответствующие атрибуты (т.е. атрибуты с теми же самыми именами в двух отношениях) определены на одном и том же домене.

Операции объединения, пересечения и вычитания требуют от операндов совместимости по типу.

Объединением двух совместимых по типу отношений А и В (A UNION B) называется отношение с тем же заголовком, как и в отношениях А и В, и с телом, состоящим из множества всех кортежей, принадлежащих А или В или обоим отношениям.

Пример операции объединения отношений приведен на рис. 4.1 – рис. 4.2.

 

A		B
CityNo	CityName	RgNo		CityNo	CityName	RgNo
	Желтые Воды				Кривой Рог
	Кривой Рог				Пятихатки
	Пятихатки				Львов

 

рис. 4.1 Исходные отношения

 

A UNION B
CityNo	CityName	RgNo
	Желтые Воды
	Кривой Рог
	Пятихатки
	Львов

 

рис. 4.2 Результат объединения отношений A и B.