Authors: Takao Miura
Tags: 1992, conceptual modeling
In this paper we propose a new approach to provide us with (universal and existential) quantification in a visual data manipulation language called PIM algebra. 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 is an equivalent canonical form which can be easily processed by database management systems.Read the full paper here: https://link.springer.com/chapter/10.1007/3-540-56023-8_15
