Advertisement

Formalizing objects for databases using ADABTPL

  • David Stemple
  • Adolfo Socorro
  • Tim Sheard
Formalization And Indusion Of Rules
Part of the Lecture Notes in Computer Science book series (LNCS, volume 334)

Abstract

Object-oriented concepts appear to facilitate the specification of certain kinds of systems, such as design, control and distributed applications. Addition of object-oriented concepts to a database specification system would therefore add to the modelling power and convenience of the system. In order to accomplish a seamless integration of a formal database specification system with object-oriented constructs, we need to supply formal semantics for the object-oriented constructs. In this paper, we use the existing formalism of a database specification type system to formalize the object-oriented concepts of object identity, class, and shared objects.

Keywords

Database System Object Type Integrity Constraint Input Type Type Constructor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J. Banerjee, H. Chou, J. F. Garza, W. Kim, D. Woelk, N. Ballou, and H. Kim. Data Model Issues for Object-Oriented Applications. ACM Transactions on Office Information Systems, 5(1), January 1987.Google Scholar
  2. [2]
    T. Bloom and S. B. Zdonik. Issues in the Design of Object-Oriented Database Programming Languages. In Proceedings of OOPSLA '87, Orlando, Florida, 1987.Google Scholar
  3. [3]
    R. S. Boyer and J. S. Moore. A Computational Logic. Academic Press, New York, 1979.Google Scholar
  4. [4]
    R. G. G. Cattell and T. R. Rogers. Combining Object-Oriented and Relational Models of Data. In Proceedings of the First International Workshop on Object-Oriented Database Systems, Pacific Grove, California, 1986. A position paper.Google Scholar
  5. [5]
    S. Danforth and C. Tomlinson. Type Theories and Object-Oriented Programming. To appear in ACM Computing Surveys.Google Scholar
  6. [6]
    N. P. Derrett, D. H. Fishman, W. Kent, P. Lyngbaek, and T. A. Ryan. An Object-Oriented Approach to Data Management. Technical Report, Hewlett-Packard Laboratories, January 1986. STL-86-01.Google Scholar
  7. [7]
    A. M. Keller. Unifying Database and Programming Language Concepts Using the Object Model. In Proceedings of the First International Workshop on Object-Oriented Database Systems, Pacific Grove, California, 1986. A position paper.Google Scholar
  8. [8]
    M. L. Kersten and F. H. Schippers. Towards an Object-centered Database Language. In Proceedings of the First International Workshop on Object-Oriented Database Systems, Pacific Grove, California, 1986.Google Scholar
  9. [9]
    S. Khoshafian and P. Valduriez. Sharing, Persistence, and Object Orientation: A Database Perspective. In Proceedings of the Workshop on Database Programming Languages, Roscoff, France, 1987.Google Scholar
  10. [10]
    S. N. Khoshafian and G. P. Copeland. Object Identity. In Proceedings of OOPSLA '86, Portland, Oregon, 1986.Google Scholar
  11. [11]
    D. Maier. Why Object-Oriented Databases Can Succeed Where Others Have Failed. In Proceedings of the First International Workshop on Object-Oriented Database Systems, Pacific Grove, California, 1986. A position paper.Google Scholar
  12. [12]
    D. Maier, J. Stein, A. Otis, and A. Purdy. Development of an Object-Oriented DBMS. In Proceedings of OOPSLA '86, Portland, Oregon, 1986.Google Scholar
  13. [13]
    F. Manola and U. Dayal. PDM: An Object-Oriented Data Model. In Proceedings of the First International Workshop on Object-Oriented Database Systems, Pacific Grove, California, 1986.Google Scholar
  14. [14]
    S. Mazumdar, D. Stemple, and T. Sheard. Resolving the Tension between Integrity and Security using a Theorem Prover. In Proceedings of the ACM-SIGMOD International Conference on Management of Data, Chicago, Illinois, 1988.Google Scholar
  15. [15]
    J. E. B. Moss. Nested Transactions: An Approach to Reliable Computing. Technical Report, M.I.T. Laboratory of Computer Science, December 1981. M.I.T. Report MIT-LCS-TR-260.Google Scholar
  16. [16]
    P. O'Brien, B. Bullis, and C. Schaffert. Persistent and Shared Objects in Trellis/Owl. In Proceedings of the First International Workshop on Object-Oriented Database Systems, Pacific Grove, California, 1986.Google Scholar
  17. [17]
    T. Sheard and D. Stemple. Automatic Verification of Database Transaction Safety. To appear in ACM Transactions on Database Systems.Google Scholar
  18. [18]
    K. E. Smith and S. B. Zdonik. Intermedia: A Case Study of the Differences Between Relational and Object-Oriented Database Systems. In Proceedings of OOPSLA '87, Orlando, Florida, 1987.Google Scholar
  19. [19]
    D. Stemple and T. Sheard. Specification and Verification of Abstract Database Types. In Proc. of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Waterloo, Ontario, 1984.Google Scholar
  20. [20]
    D. Stemple, S. Mazumdar, and T. Sheard. On the Modes and Meaning of Feedback to Transaction Designers. In Proceedings of the ACM-SIGMOD International Conference on Management of Data, San Francisco, California, 1987.Google Scholar
  21. [21]
    D. Stemple and T. Sheard. Construction and Calculus of Types for Database Systems. In Proceedings of the Workshop on Database Programming Languages, Roscoff, France, 1987.Google Scholar
  22. [22]
    D. J. Taylor. How Big Can Atomic Actions Be? In Fifth International Symposium On Distributed Software and Database Systems, Los Angeles, California, 1986.Google Scholar
  23. [23]
    P. Wegner. Workshop on Object-Oriented Programming ECOOP 1987, Paris, June 18, 1987. SIGPLAN Notices, 23(1), January 1988. A report of the discussion sessions.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • David Stemple
    • 1
  • Adolfo Socorro
    • 1
  • Tim Sheard
    • 1
  1. 1.Department of Computer and Information ScienceUniversity of MassachusettsAmherst

Personalised recommendations