The Resolvation of Universal Quantifier in Structured Query Lanaguage
Yang Xiu-ron · Journal of Langfang Teachers College · 2013
In three relational schema,predicate queries about universal quantifier are translated into queries about existential quantifier with related theory about discrete mathematics.In the thesis,predicate queries about universal quantifier are realized by structure query language and relational algebra.