Nesting quantification in a visual data manipulation language

  • Takao Miura
Invited Paper (2) Logical Aspects
Part of the Lecture Notes in Computer Science book series (LNCS, volume 645)


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.


Databases Visual Data Manipulation Languages Quantifications Expressive Power 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Adiba, M. and Collet, C.: Management of Complex Objects as Dynamic Forms, VLDB (1988), 134–147Google Scholar
  2. [2]
    Arisawa,H. and Miura.T.: Formal Approach to Database Description, IEEE COMPCON (1984), 463–470Google Scholar
  3. [3]
    Arisawa,H. and Miura,T.: On the Properties of Extended Inclusion Dependencies, VLDB (1986), 449–456Google Scholar
  4. [4]
    Bryce.D. and Hull.R.: SNAP, A Graphics based Schema Manager, Data Engineering (1986), 151–164Google Scholar
  5. [5]
    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–121CrossRefGoogle Scholar
  6. [6]
    Creasy, P.: ENIAM — A More Complete Conceptual Schema Language, VLDB (1989), 107–114Google Scholar
  7. [7]
    Czejdo, B., Elmasri, R. et al.: A Graphical Data Manipulation Langsage for an Extended Entity Relationship Model, IEEE Compufer (1990) March, 26–36Google Scholar
  8. [S]
    Date, C.J.: A Guide to The SQL Standard (1990), Addison-WesleyGoogle Scholar
  9. [9]
    Gyssens, M., Paredaens, J. and Van Gucht, D.: A Graph Oriented Object Model for Database End User Interface, SIGMOD (1990), 24–33Google Scholar
  10. [10]
    Houchin, T.: DUO:Graph-based database Graphical Query Expression, to appear in Future Database Systems (1992)Google Scholar
  11. [11]
    Kim, W.: On Optimizing an SQL-like nested Query, ACM TODS 7-3 (1982), 443–469Google Scholar
  12. [12]
    King, R. and Melville, S.: The Semantic Knowledge Interface, VLDB (1984), 30–37Google Scholar
  13. [13]
    Kuntz, M. and Melchert, R.: Pasta-3's Graphical Query Langnage, VLDB (1989), 26–29Google Scholar
  14. [14]
    Larson,J.A.: A Visual Approach to Browsing in a Database Environment, IEEE Computer (1986) June, 62–71Google Scholar
  15. [15]
    Miura, T.: Desktop Schema Evolution, Databasc Symposium For Advanced Applications (1991), 67–75Google Scholar
  16. [16]
    Miura,T.: A Visual Data Manipulation Language for a Semantic Data Model, IEEE COMPSAC (1991), 212–218Google Scholar
  17. [17]
    Miura,T.: On Optimizing Complex Objects Queries in A Visual Data Manipulation Language, in preparationGoogle Scholar
  18. [18]
    Miura,T. and Arisawa,H.: Logic Approach of Data Models — Data Logic, Future Database Systems (1990), 143–151Google Scholar
  19. [19]
    Miura, T., Moriya, K. et al.: On the Irreducible Non First Normal Form Relations, Info.Syst. 12-3 (1987), 229–238Google Scholar
  20. [20]
    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)Google Scholar
  21. [21]
    Whang, K.Y., Malhotra, A. et al.: Supporting Universal Quantification in a Two Dimentional Database Query Language, Data Engineering (1990), 68–75Google Scholar
  22. [22]
    Wong,H.K.T. and Kuo, I.: GUIDE, a graphical user interface for database exploration, VLDB (1982), 22–32Google Scholar
  23. [23]
    Zhang, Z.Q. and Mendelzon, A.: A Graphical Query Language for Entity Relationship Databases, E-R Conf.(1983), 441–448Google Scholar
  24. [24]
    Zloof, M.: Query By Example, IBM System Journal 16 (1977), 324–343Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Takao Miura
    • 1
  1. 1.SANNO CollegeKanagawaJapan

Personalised recommendations