Date of this Version
It is known that queries in nested relational calculus are independent of the depth of set nesting in the intermediate data and this remains true in the presence of aggregate functions. We prove that this continues to be true if the calculus is augmented with any internal generic family of functions.
Leonid Libkin and Limsoon Wong, "Conservativity of Nested Relational Calculi With Internal Generic Functions", . June 1993.
Date Posted: 26 July 2007