An interactive integrated system to design and use data bases

ABSTRACT

Recent works on languages for modeling complex data base application environments show overlapping issues with other research areas such as Artificial Intelligence and Programming Languages. Moreover, a lot of attention is nowadays given to another important field, the overall data base design process, which, as it will be shown, furthermore extends the above connections.

REFERENCES

• 1: Albano A. and R. Orsini {80}, "Un formalismo per la definizione di schemi concettuali", Rapporto Tecnico STMDB-RT-79-ISIPI-2, Pisa 1979.
• 2: P. Asirelli , P. Degano , G. Levi , A. Martèlli , U. Montanari , G. Pacini , F. Sirovich , F. Turini, A flexible environment for program development based on a symbolic interpreter, Proceedings of the 4th international conference on Software engineering, p.251-263, September 17-19, 1979, Munich, Germany
• 3: Baldissera C., S. Ceri, G. Pelagatti and G. Bracchi {79}, "Interactive Specification and Formal Verification of User's Views in Data Base Design", Proc. 5th. Int. Conf. on VLDB, Rio de Janeiro, 1979.
• 4: Robert Balzer, An Implementation Methodology for Semantic Data Base Models, Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design, p.433-444, January 1980
• 5: Carlo Batini , Gaetano Santucci, Top-Down Design in the Entity-Relationship Model, Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design, p.323-338, January 1980
• 6: Burstall R.M. and J.A. Goguen {77}, "Putting Theories Together to Make Specifications", Proc. Int. Jt. Conf. on Artificial Intelligence, Boston, 1977.
• 7: Cheatham T.E. and J.A. Townley {74}, "A Proposed System for Structured Programming", in (G. Goos and J. Hartmanis, Eds.) Lecture Notes in Comp. Science 19 (1974), Springer Verlag.
• 8: Degano F., G. Levi, G. Pacini, F. Sirovich and F. Turini {79}, "An Integrated System to Support Program Design Development and Analysis", Rivista di Informatica IX, 4, 1979.
• 9: U. S. Department of Defense (DOD) {79}, "Requirements for ADA Language Integrated Computer Environment, Preliminary "Stonemen" ", Nov. 1979.
• 10: New Orleans Data Base Design Workshop Report {79}, IBM Report RJ 2554, 1979.
• 11: N.Y.U. Symposium on Data Base Design {78}, New York, 1978.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.8 Database applications

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design

General Terms:
Design