Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Adiba, M. and Collet, C.: Management of Complex Objects as Dynamic Forms, VLDB (1988), 134–147
Arisawa,H. and Miura.T.: Formal Approach to Database Description, IEEE COMPCON (1984), 463–470
Arisawa,H. and Miura,T.: On the Properties of Extended Inclusion Dependencies, VLDB (1986), 449–456
Bryce.D. and Hull.R.: SNAP, A Graphics based Schema Manager, Data Engineering (1986), 151–164
Campbell, D.M., Embley, D.W. et al: Graphical Query Formulation for an Entity-Relationship Model, IEEE Trans. On Data and Knowledge Eng. 2-2 (1987), 89–121
Creasy, P.: ENIAM — A More Complete Conceptual Schema Language, VLDB (1989), 107–114
Czejdo, B., Elmasri, R. et al.: A Graphical Data Manipulation Langsage for an Extended Entity Relationship Model, IEEE Compufer (1990) March, 26–36
Date, C.J.: A Guide to The SQL Standard (1990), Addison-Wesley
Gyssens, M., Paredaens, J. and Van Gucht, D.: A Graph Oriented Object Model for Database End User Interface, SIGMOD (1990), 24–33
Houchin, T.: DUO:Graph-based database Graphical Query Expression, to appear in Future Database Systems (1992)
Kim, W.: On Optimizing an SQL-like nested Query, ACM TODS 7-3 (1982), 443–469
King, R. and Melville, S.: The Semantic Knowledge Interface, VLDB (1984), 30–37
Kuntz, M. and Melchert, R.: Pasta-3's Graphical Query Langnage, VLDB (1989), 26–29
Larson,J.A.: A Visual Approach to Browsing in a Database Environment, IEEE Computer (1986) June, 62–71
Miura, T.: Desktop Schema Evolution, Databasc Symposium For Advanced Applications (1991), 67–75
Miura,T.: A Visual Data Manipulation Language for a Semantic Data Model, IEEE COMPSAC (1991), 212–218
Miura,T.: On Optimizing Complex Objects Queries in A Visual Data Manipulation Language, in preparation
Miura,T. and Arisawa,H.: Logic Approach of Data Models — Data Logic, Future Database Systems (1990), 143–151
Miura, T., Moriya, K. et al.: On the Irreducible Non First Normal Form Relations, Info.Syst. 12-3 (1987), 229–238
Miura, T. and Moriya, K: On the Completeness of Visual Operations for a Semantic Data Model, to appear in IEEE Trans.On Data and Knowledge Eng. (1992)
Whang, K.Y., Malhotra, A. et al.: Supporting Universal Quantification in a Two Dimentional Database Query Language, Data Engineering (1990), 68–75
Wong,H.K.T. and Kuo, I.: GUIDE, a graphical user interface for database exploration, VLDB (1982), 22–32
Zhang, Z.Q. and Mendelzon, A.: A Graphical Query Language for Entity Relationship Databases, E-R Conf.(1983), 441–448
Zloof, M.: Query By Example, IBM System Journal 16 (1977), 324–343
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miura, T. (1992). Nesting quantification in a visual data manipulation language. In: Pernul, G., Tjoa, A. (eds) Entity-Relationship Approach — ER '92. ER 1992. Lecture Notes in Computer Science, vol 645. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56023-8_15
Download citation
DOI: https://doi.org/10.1007/3-540-56023-8_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56023-4
Online ISBN: 978-3-540-47356-5
eBook Packages: Springer Book Archive