Slide 31 of 41
Notes:
Our unnesting algorithm converts the reductions of the inner boxes into group-by operators, the joins into outerjoins, and at the end, it embeds the operators in the point immediately before they are used. The output of the group-by operator corresponds to a range variable, which is used in place of the small dark boxes.