8. The method of claim 7 , wherein evaluating the aggregation construct comprises evaluating the aggregation construct if and only if the existential term generates one or more tuples.
9. The method of claim 8 , further comprising evaluating the existential term before the aggregation construct.