Supporting universal quantification in a two-dimensional database query language | IEEE Conference Publication | IEEE Xplore