title: optimizing queries with universal quantification in object-oriented and object-relational databases guido moerkotte , jens claußen , klaus peithner , alfons kemper vldb 1997. authors: nan. venue: nan. year: nan
title: fast algorithms for universal quantification in large databases goetz graefe , richard l. cole. authors: nan. venue: acm transactions on database systems ( tods ). year: 1995.0