Conclusion
a uniform calculus based on comprehensions that captures many advanced features found in modern OODB languages;
a normalization algorithm that unnests nested comprehensions;
a lower-level algebra that reflects many DBMS physical algorithms;
a translation algorithm from calculus to algebra that unnests all forms of query nesting.