Материальная помощь

т. е. помощь выдается только четвертому и пятому курсу и только тем студентам, которые не получают стипендию, то в результате операции соединения получилось бы отношение с одним кортежем. В этом случае требуется совпадение значений одновременно по двум атрибутам Курс обучения и Стипендия, что возможно только для второго кортежа отношения Студент и первого кортежа отношения Материальная помощь.

Студент >< Материальная помощь

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

Эта операция предназначена для соединения двух отношений с абсолютно разными схемами. Пусть r – отношение со схемой R, s – отношение со схемой S, R Ç S = Æ, т. е. схемы не содержат одинаковых атрибутов. Пусть A – атрибут схемы R, а B – атрибут схемы S (AÎR, BÎS). Эти атрибуты определены на одинаковых доменах dom(A)=dom(B). Результатом выполнения операции эквисоединения r(R) [A=B] s(S) является новое отношение, схема которого состоит из всех атрибутов схемы R и всех атрибутов схемы S. Каждый кортеж этого отношения является комбинацией кортежа из отношения r и кортежа из отношения s с равными значениями атрибутов A и B:

r(R) [A=B] s(S) = { t Î RÈS | $ t_r Î r, $ t_s Î s : t_r=t(R), t_s=t(S), t_r (A) = t_s(B)}.

Операция эквисоединения используется вместо операции соединения, которую также называют естественным соединением, когда атрибуты, по которым необходимо выполнить соединение, имеют разные имена. Например, пусть, отношение Материальная помощь содержит атрибуты Курс (вместо Курс_обучения) и Сумма. В этом случае операцию соединения выполнить нельзя, так как пересечение схем отношений Студент и Материальная помощь пусто. Но атрибуты Курс и Курс_обучения по смыслу содержат одинаковую информацию и формально их домены совпадают, поэтому вместо операции соединения выполняется операция эквисоединения Студент [ Курс_обучения = Курс ] Материальная помощь.