Information Processing Letters, 46(6):273-280, March 1994.
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.
See here for the paper.
Back to DB Group Homepage
sharker@saul.cis.upenn.edu