Semantics and problems of Universal quantification in SQL