More Equivalences
A projection commutes with a selection that only uses attributes retained by the projection.
A selection on just attributes of R commutes with join R S. (i.e., (R S) (R) S )
Similarly, if a projection follows a join R S, we can ‘push’ it by retaining only attributes of R (and S) that are needed for the join or are kept by the projection.