|
(1) σcond( R × S ) = R ⋈cond S if cond contains attributes
from R and S
// This rule will allow use to
// switch over to a join algorithm
(2) σcond( R ⋈ S ) = σcond(R) ⋈ S if cond only contains
attributes from R
// This rule will reduce
// the result set significantly
(3) σc1 and c2( R ) = σc1( σc2( R ) ) // This rule allow us to use
// use rule (2) in more situations
|
|
|
|
|