10. The method of claim 7 , further comprising: applying an aggregates epsilon rule to the initial delta expression to generate an epsilon expression having a conjunction of: (i) an existential term having a subterm that is a conjunction of the range and an epsilon term having a subterm that is the recursive term of the aggregation construct, and (ii) a gamma term having a subterm that is the aggregation construct.
10. The method of claim 7 , further comprising: applying an aggregates epsilon rule to the initial delta expression to generate an epsilon expression having a conjunction of: (i) an existential term having a subterm that is a conjunction of the range and an epsilon term having a subterm that is the recursive term of the aggregation construct, and (ii) a gamma term having a subterm that is the aggregation construct. 11. The method of claim 10 , wherein updating the output relation comprises evaluating the epsilon expression and removing from the output relation any tuples generated by the final epsilon expression.