On the completeness of visual operations for a semantic data model

摘要

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.