==== Проекция и фильтрация ====
Как работать со смесью проекций и фильтраций? {{Утверждение: мы |definition=Фильтрацию всегда можем можно осуществлять фильтрацию до проекцийпроекции.}}
*Правило
**Фильтрация осуществляется до проекции
**$σ_{cond}(π_{A}(R)) ⇒ π_{A}(σ_{cond}(R))$
Сначала спроецировалиОбратим внимание, потом отфильтровали и опять спроецировали. Давайте перенесем что в обратном порядке мы делать не можем, не можем вытаскивать фильтр во внутрь из-под проекции, так как фильтр может зависеть от тех столбцов, которые проекция удалит. Две внешние операции оказываются проекциями. Можем склеить их в одну проекцию с конъюнкцией.
*Пример
** $π_{FirstName}(σ_{Name=M34391}(π_{FirstName, Name}(S × G))) ⇒ π_{FirstName}(π_{FirstName, Name}(σ_{Name=M34391}(S × G))) ⇒ π_{FirstName}(σ_{Name=M34391}(S × G))$
Обратим вниманиеСначала спроецировали, что в обратном порядке мы делать не можем, не можем вытаскивать потом отфильтровали и опять спроецировали. Давайте перенесем фильтр из-под во внутрь проекции, так как фильтр может зависеть от тех столбцов, которые проекция удалит. Две внешние операции оказываются проекциями. Можем склеить их в одну проекцию с конъюнкцией.
=== Алгебраические свойства операций ===
