Notice of RetractionResearch on the Derivation of Relations predicate methods for Complex universal quantifier

Abstract

In the logical query of relational database, the Derivation of Relations predicate Methods is the theoretical foundation, but SQL is The standard computer query language, which concrete the logical query of software. Special emphasis, for Complex universal quantifier, it's just in the theory of Theoretic. The Research on the Derivation of Relations predicate Methods for Complex universal quantifier, in practical case, which will be realized by SQL.