The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1992 vol.18)
pp: 216-224
ABSTRACT
<p>A technique is proposed for specifying universal quantification and existential quantification (combined with negation) in a two-dimensional (graphical) database query language. Unlike other approaches that provide set operators to simulate universal quantification, this technique allows a direct representation of universal quantification. Syntactic constructs for specifying universal and existential quantifications, two-dimensional translation of universal quantification to existential quantification (with negation), and translation of existentially quantified two-dimensional queries to relational queries are presented. The resulting relational queries can be processed directly by many existing database systems. The authors claim that this technique renders universal quantifications easy to understand. To substantiate this claim, they provide a simple, easy-to-follow guideline for constructing universally quantified queries.</p>
INDEX TERMS
graphical database query language; universal quantification; existential quantification; direct representation; two-dimensional translation; existentially quantified two-dimensional queries; relational queries; computer graphics; database theory; formal specification; query languages; relational databases
CITATION
K.-Y. Whang, A. Malhotra, G.H. Sockut, L. Burns, K.-S. Choi, "Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language", IEEE Transactions on Software Engineering, vol.18, no. 3, pp. 216-224, March 1992, doi:10.1109/32.126770
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool