Implementing direct manipulation query languages using an adequate data model

Human factors work in the areas of database use addresses the design of the user interface of interactive database applications as well as the design of the on-line interface of the database system itself. Some conceptual prerequisites of using direct manipulation in an on-line database interface are discussed. It will be shown that choosing an adequate data model is vital in investigating the application of this style of interaction in complex database environments requiring a high level of abstraction. As an example, an advanced data model is introduced. In this model, the semantics of operating directly on a graphical database interface is specified, possible ambiguities are revealed, and a way of implementing the interface in an existing (e.g. normalized relational) data-base environment is shown.

[1]  Dines Bjørner,et al.  The VDM Principles of Software Specification and Program Design , 1981, ICFPC.

[2]  P Pistor,et al.  A database language for sets, lists and tables , 1986, Inf. Syst..

[3]  Peter Pistor,et al.  Designing A Generalized NF2 Model with an SQL-Type Language Interface , 1986, VLDB.

[4]  Christopher F. Herot Graphical user interfaces , 1984 .

[5]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[6]  Dines Bjørner,et al.  VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987 , 1987 .

[7]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[8]  Gabriele Rohr,et al.  WHICH TASK IN WHICH REPRESENTATION ON WHAT KIND OF INTERFACE , 1987 .

[9]  Cliff B. Jones,et al.  Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

[10]  Dines Bjørner,et al.  The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.

[11]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[12]  Gabriele Rohr Graphical user languages for querying information: where to look for criteria? , 1988, [Proceedings] 1988 IEEE Workshop on Visual Languages.

[13]  Harry K. T. Wong,et al.  GUIDE: Graphical User Interface for Database Exploration , 1982, VLDB.

[14]  Jürgen Ebert,et al.  Constructive Formal Specifications for Rapid Prototyping , 1987 .

[15]  Cliff B. Jones Towards More Formal Specifictations , 1980, Software Engineering.

[16]  Peter P. Chen The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[17]  Mark Green,et al.  Report on Dialogue Specification Tools , 1984, Comput. Graph. Forum.

[18]  Dines Bjørner,et al.  Formal specification and software development , 1982 .

[19]  Peter Dadam,et al.  A DBMS prototype to support extended NF2 relations: an integrated view on flat tables and hierarchies , 1986, SIGMOD '86.

[20]  Abraham Silberschatz,et al.  PICASSO: A graphical query language , 1988, Softw. Pract. Exp..

[21]  Christopher F. Herot Spatial Management Of Data , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[22]  Ernest Edmonds,et al.  The man—computer interface: a note on concepts and design , 1982 .