Generalized Schema Mapping: From Termination To Tractability - Marnette, B (PODS, 2009)