Slide 33 of 41
Notes:
Our unnesting algorithm translates any form in the calculus into an algebraic form, which is easier to map into execution plans. The translation is simple and compositional, it requires 9 rules only, it is linear to the query size, and it is sound and complete.
