Data sources over the Web publish their query interfaces through forms or templates. Over time, the set of templates supported by a source changes due to new requirements or enhanced query-processing capabilities. When a new template is being considered for a source, it is important to verify whether the new template is redundant with respect to the existing set of templates being supported. Th...