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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
T. Bloom and S. B. Zdonik. Issues in the Design of Object-Oriented Database Programming Languages. In Proceedings of OOPSLA '87, Orlando, Florida, 1987.
R. S. Boyer and J. S. Moore. A Computational Logic. Academic Press, New York, 1979.
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.
S. Danforth and C. Tomlinson. Type Theories and Object-Oriented Programming. To appear in ACM Computing Surveys.
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.
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.
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.
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.
S. N. Khoshafian and G. P. Copeland. Object Identity. In Proceedings of OOPSLA '86, Portland, Oregon, 1986.
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.
D. Maier, J. Stein, A. Otis, and A. Purdy. Development of an Object-Oriented DBMS. In Proceedings of OOPSLA '86, Portland, Oregon, 1986.
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.
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.
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.
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.
T. Sheard and D. Stemple. Automatic Verification of Database Transaction Safety. To appear in ACM Transactions on Database Systems.
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.
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.
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.
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.
D. J. Taylor. How Big Can Atomic Actions Be? In Fifth International Symposium On Distributed Software and Database Systems, Los Angeles, California, 1986.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stemple, D., Socorro, A., Sheard, T. (1988). Formalizing objects for databases using ADABTPL. In: Dittrich, K.R. (eds) Advances in Object-Oriented Database Systems. OODBS 1988. Lecture Notes in Computer Science, vol 334. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50345-5_8
Download citation
DOI: https://doi.org/10.1007/3-540-50345-5_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50345-3
Online ISBN: 978-3-540-45981-1
eBook Packages: Springer Book Archive