I will not address your question directly, but if you are interested in the mathematical treatment of equivalence between schemas, maybe category theory and the categorical query language (Spivak from MIT if I remember correctly) may be of interest.