Always Good Transformations

Push selections:

σφ(E1⋈θE2)=σφ(E1)⋈θE2

Push projections:

πV(E1⋈θE2)=πV(πV1(E1)⋈θπV2(E2))

Replace products by joins:

σφ(R×S)=R⋈θS

These rewrites also reduce the space of plans to search