12. The method of claim 10 , wherein combining the identified statements comprises combining the identified statements into statement <t, c>, where c represents a multiplication of b 1 through b m .
10. The method of claim 1 , wherein identifying the statements comprises identifying statements <t, b 1 > through <t, b m >, m being greater than 1, where t represents a set of one or more tuples, and b 1 through bm represent respective modification operations on the set of one or more tuples, and wherein combining the identified statements comprises combining the identified statements into statement <t, c>, where c represents an aggregation of b 1 through b m .