Введение в дисциплину «Безопасность систем баз данных». Теоретические основы построения реляционных баз данных. Верификация баз данных и проведение аудита в СБД. Распределенные базы данных, страница 15

Рисунок 2.14 – Пример проекции отношения

2.3.4. Соединение отношений

Ранее говорилось о такой операции, как декартово произведение отношений: данная операция не используется на практике в чистом виде, и результат ее, как правило, избыточен. В результирующем отношении получается слишком много «лишних» и «бессмысленных» кортежей. Сделать результат более осмысленным можно, если применить к результирующему отношению операцию ограничения, исключив тем самым ненужные кортежи. Ограничение декартова произведения отношений по некоторому логическому условию называется соединением отношений.

В зависимости от того, какое логическое условие используется, а также от того, применяется ли дополнительно операция проекции, выделяют различные разновидности соединения. Рассмотрим их, используя в качестве операторов два отношения: R₁ и R₂.

Эквисоединение

Пусть отношения R₁{x₀, x₁₁, x₁₂, …, x_1m} и R₂{x₀, x₂₁, x₂₂, …, x_2n} имеют общий атрибут x₀ (возможно, составной) Эквисоединением отношений R₁ и R₂ называется их декартово произведение R{x₀, x₁₁, x₁₂, …, x_1m, x₀, x₂₁, x₂₂, …, x_2n}, над которым произведена операция ограничения по условию: R₁.x₀ = R₂.x₀.

Математическое обозначение операции - .

На рис. 2.15 представлено эквисоединение отношений faculties и chairs. Общим атрибутом здесь является идентификатор факультета id_faculty. Отношения соединяются по условию faculties.id_faculty = chairs.id_faculty. Таким образом, результирующее отношение показывает связь между кафедрами и факультетами: кафедра АиТ связана с факультетом ЭТ, ИнИБ – с УПП.

Рисунок 2.15 – Пример эквисоединения отношений

Естественное соединение

Естественным соединением отношений R₁ и R₂ с общим атрибутом x₀ называется проекция их эквисоединения таким образом, что в заголовке результирующего отношения атрибут x₀ встречается однократно: R’{x₀, x₁₁, x₁₂, …, x_1m, x₂₁, x₂₂, …, x_2n}.

Математическое обозначение операции: .

Пример естественного соединения faculties и chairs приведен на рис 2.16 (б).