45
правок
Изменения
→Унарные операции
=== Унарные операции ===
==== Повторная фильтрация====
*Правило
**$π_{FirstName}(σ_{Name=M34391}(σ_{S.GId=G.GId}(S × G))) ⇒ π_{FirstName}(σ_{Name=M34391 ∧ S.GId=G.GId}(S × G))$
==== Повторная проекция====
*Правило
**$π_{FirstName}(π_{FirstName, Name}(S × G)) ⇒ π_{FirstName}(S × G)$
==== Проекция и фильтрация====
*Правило