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