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.
Published in:
Electronic Computer Technology (ICECT), 2010 International Conference on
Date of Conference: 7-10 May 2010