Two-Dimensional Specification of Universal Quantification in a Graphical Database Query LanguageKyu-Young WhangAshok Malhotraet al.1992IEEE Transactions on Software Engineering