Изменения

Преобразование подзапросов

** Запись в реляционном исчислении

** Вынос кванторов

** Преобразование в алгебру

*Внешние соединения

**$R_1 \ojoin_θ R_2 ⇒ (R_1 \ljoin_θ R_2) ∪ (R_1 \rjoin_θ R_2)$

**$R_1 \ljoin_θ R_2 ⇒ σ_θ(R_1 × R_2) ∪ (R_1 - π_{R_1}(σ_θ(R_1 × R_2)))$

**$R_1 \rjoin_θ R_2 ⇒ σ_θ(R_1 × R_2) ∪ (R_2 - π_{R_2}(σ_θ(R_1 × R_2)))$

*Декартово соединение

**$R_1 × R_2 ⇒ R_1 ⋈ R_2$