Reformulating Aggregate Queries Using Views.

We propose an algorithm to reformulate aggregate queries using views in a data integration LAV setting. Our algorithm considers a special case of reformulations where aggregates in the query are expressed as views over aggregates in the view definitions. Although the problem of determining whether two queries are equivalent is undecidable, our algorithm returns an equivalent rewriting if one exists.