Algorithms and applications for universal quantification in relational databases.

Ralf Rantzau Leonard D. Shapiro Bernhard Mitschang Quan Wang Algorithms and applications for universal quantification in relational databases. 3-32 2003 28 Inf. Syst. 1-2 http://dx.doi.org/10.1016/S0306-4379(02)00047-9 db/journals/is/is28.html#RantzauSMW03