Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

June 1993


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-93-60.


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.



Date Posted: 26 July 2007