Libkin, LeonidWong, Limsoon2023-05-222023-05-221993-06-012007-07-25https://repository.upenn.edu/handle/20.500.14332/7233It 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.Report