Nesting quantification in a visual data manipulation language

摘要

In this paper we propose a new approach to provide us with (universal and existential) quantification in a visual data manipulation language. Overall ideas are two basic constructs, one for universal ∀ quantifier and another for existential ∃ quantifier. Then a nesting feature is considered to obtain general expressive power. The major contribution of this paper is that, for every query specification with any depth of nesting of quantification, there exists an equivalent simplified form. This means that database management systems can make plans for specific evaluation strategies to gain efficiency.