Translating Calculus to Algebra

Query unnesting is done during the translation of calculus

to algebra. The translation

• is simple & compositional;

• requires 9 rules only;

• is linear to the query size;

• is sound and complete.

It is the first query unnesting algorithm proven to be complete.

Previous slide

Next slide

Back to first slide

View graphic version

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.