Schema Equivalence and Optimization