On the completeness of visual operations for a semantic data model

https://doi.org/10.1016/0169-023X(92)90016-5Get rights and content

Abstract

In this paper we propose a data processing model called PIM towards management of personal information. This model is essentially based on a semantic data model AIS, and we define two sets of data manipulation languages, one is for visual operations, another for logic-based operations. Visual languages allow users to construct database queries utilizing iconic pictures over database diagrams while logic-based languages provide declarative semantics. The main result of this paper is that these two languages have the equivalent expressive power, that is to say, our visual language is complete. This means that the proposed visual language can be characterized by a logical framework.

References (30)

  • D.M. Campbell et al.

    Graphical query formulation for an Entity-Relationship model

    Data Knowledge Engrg.

    (1987)
  • T. Miura et al.

    On the irreducible non first normal form relations

    Info. Syst.

    (1987)
  • H. Arisawa et al.

    Formal approach to database description

    IEEE COMPCON

    (1984)
  • H. Arisawa et al.

    On the properties of extended inclusion dependencies

    VLDB

    (1986)
  • D. Bryce et al.

    SNAP, A graphics based schema manager

    Data Engrg.

    (1986)
  • D. Chen et al.

    HiLog as a platform for database languages

    DBPL

    (1989)
  • I. Cruz et al.

    A graphical query language supporting recursion

    SIGMOD

    (1987)
  • B. Czejdo et al.

    A graphical data manipulation language for an extended Entity Relationship model

    IEEE Comput.

    (Mar. 1990)
  • D. Goodman
  • F.G. Halasz

    Reflections on NoteCards

    CACM 31-7

    (1988)
  • Tsuda Horio

    Development of Iconic Browser

    IPSJ-DBS

    (1989)
  • R. Hull et al.

    Semantic database modelling

    ACM Comput. Surveys

    (1986)
  • R. King et al.

    The semantic knowledge interface

    VLDB

    (1984)
  • I. Kobayashi

    Foundation of data manipulation languages design

    Bull. SANNO Coll.

    (1988)
  • R. Krishnamurthy et al.

    Query processing on personal computers

    VLDB

    (1984)
  • Cited by (8)

    • Kaleidoquery - a flow-based visual language and its evaluation

      2000, Journal of Visual Languages and Computing
    • HVQS: The hierarchical visual query system for databases

      2000, Journal of Visual Languages and Computing
    • Visual query systems for databases: A survey

      1997, Journal of Visual Languages and Computing
    View all citing articles on Scopus
    1

    Takao Miura received the M. S. in Mathematics from Kyoto University. He is currently an Associate Professor of SANNO College, Kanagawa in Japan.

    His current research interests are in the area of knowledge representation and data modelling, deductive databases, complex objects processing and database design methodology.

    2

    Kunihiko Moriya received the B.S. and M.S. degree in Computer Science from Yokohama National University, in 1978 and 1980, respectively. He is currently an Assistant Manager of Research & Development Department at Hitachi Software Engineering Co., Ltd.

    His current research interests are in the area of knowledge representation (data model), database programming languages, view mechanism of database systems, and multi-media database systems.

    View full text