Соединение

Определение 10. Пусть даны отношения A(A₁, A₂, …, A_n, X₁, X₂, …, X_m) и B(X₁, X₂, …, X_m, B₁, …, B_k) имеющие одинаковые атрибуты X₁, X₂, …, X_m (т.е. атрибуты с одинаковыми именами и определенные на одинаковых доменах). Тогда естественным соединением отношений A и B называется отношение с заголовком C(A₁, A₂, …, A_n, X₁, X₂, …, X_m, B₁, …, B_k), состоящее из кортежей < a₁, a₂, …, a_n, x₁, x₂, …, x_m, y₁, …, y_k > таких, что < a₁, a₂, …, a_n, x₁, x₂, …, x_m> Î A, < a₁, a₂, …, a_n, x₁, x₂, …, x_m, y₁, …, y_k >ÎB.