Technique for universal quantification in SQL

Universal quantification is expressed in ANSI SQL with negated existential quantification because there is no direct support for universal quantification in ...