typeside t schema s1 : t schema s2 : t constraints c : s1 query q : s1 -> s2 ---------------------------------- query (reformulate c q s2) : s1 -> s2Use chase and back-chase to reformulate a query away from one schema towards another. The numerical index indicates which re-writing to use. They are sorted by how much reformulation is done.