Skip to main content

Providing dynamic type abstractions and specifications for persistent information

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 566))

Abstract

In order to share persistent information among applications, one should provide specifications, which represent stored information and available operations. In addition to specifications, mechanism for viewing persistent information should be provided to applications. This paper proposes mechanisms for providing these abilities to applications and systems which deal with persistent information. The mechanisms are constructed on an object oriented data model which can express relationships between various entities in a system explicitly.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. V. Aho, R. Sethi, and J. D. Ullman, “Compilers Principles, Techniques, and Tools,” Addison-Wesley Publishing Company, 1986.

    Google Scholar 

  2. M. P. Atkinson and P. Buneman, “Types and Persistence in Database Programming Languages,” ACM Computing Surveys, Vol. 19(2), 1987.

    Google Scholar 

  3. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik, “The Object-Oriented Database System Manifesto,” Proceedings of DOOD, 1989.

    Google Scholar 

  4. F. Bancilhon and P. Buneman (editors), “Advances in Database Programming Languages,” ACM Press, 1990.

    Google Scholar 

  5. J. Banerjee, et. al., “Data Model Issues for Object-Oriented Applications,” ACM TOOIS, Vol. 5(1), 1987.

    Google Scholar 

  6. L. Cardelli, “A Semantics of Multiple Inheritance,” Semantics of Data Types, LNCS Vol. 173, Springer-Verlag, 1984.

    Google Scholar 

  7. L. Cardelli and P. Wegner, “On understanding types, data abstraction, and polymorphism,” ACM Computing Surveys, Vol. 17(4), 1985.

    Google Scholar 

  8. L. Cardelli and D. MacQueen, “Persistence and Data Abstraction,” Data Types and Persistence, Springer-Verlag, 1988.

    Google Scholar 

  9. E. F. Codd, “A relational model of data for large shared data banks,” Comm. ACM, Vol. 13(6), 1970.

    Google Scholar 

  10. E. F. Codd, “Relational completeness of database sublanguages,” Data Base Systems, Prentice Hall, 1972.

    Google Scholar 

  11. J. Conklin, “HyperText: An Introduction and Survey,” IEEE Computer, Vol. 20(9), 1987.

    Google Scholar 

  12. S. Danforth and C. Tomlinson, “Type theories and Object-oriented programming,” ACM Computing Surveys, Vol. 20(1), 1988.

    Google Scholar 

  13. J. Donahue and A. Demers, “Data Types Are Values,” ACM TOPLAS, Vol. 7(3), 1985.

    Google Scholar 

  14. C. J. Date, “An Introduction to Database Systems 4th Edition Vol.1, Vol.2,” Addison-Wesley, 1986.

    Google Scholar 

  15. D. H. Fishman, et. al., “Iris: An Object-Oriented Database Management System,” ACM TOOIS, Vol.5(1), 1987.

    Google Scholar 

  16. A. Goldberg and D. Robson, “Smalltalk-80: The language and its implementation,” Addison-Wesley, 1983.

    Google Scholar 

  17. R. Hull and R. King, “Semantic Database Modeling: Survey, Applications, and Research Issues,” ACM Computing Surveys, Vol. 19(3), 1987.

    Google Scholar 

  18. “Database Language SQL”, ISO-9075, 1989.

    Google Scholar 

  19. G. Kahn, D.B. MacQueen, and G. Plotkin (editors), “Semantics of Data Types,” Semantics of Data Types, LNCS Vol. 173, Springer-Verlag, 1984.

    Google Scholar 

  20. C. Lecluse, et. al., “O2, an Object-Oriented Data Model,” Proceedings of ACM SIGMOD, 1988.

    Google Scholar 

  21. H. Lieberman, “Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems,” Proceedings of ACM OOPSLA, 1986.

    Google Scholar 

  22. B. Liskov, et al., “CLU Reference Manual,” LNCS, Vol. 114, Springer-Verlag, 1979.

    Google Scholar 

  23. D. B. MacQueen, G. P. Plotkin, and R. Sethi, “An ideal model of recursive polymorphic types,” Proceedings of 8th ACM POPL, (Information and Control, Vol. 71), 1984.

    Google Scholar 

  24. P. Maes, “Concepts and Experiments in Computational Reflection,” Proceedings of ACM OOPSLA, 1987.

    Google Scholar 

  25. D. Maier and et al., “Development of an Object-Oriented DBMS,” Proceedings of ACM OOPSLA, 1986.

    Google Scholar 

  26. D. C. J. Matthews, “Poly Manual,” SIGPLAN Notices, Vol. 20(9), 1985.

    Google Scholar 

  27. R. Milner, “A proposal for standard ML,” ACM Symposium on LISP and Functional Programming, 1984.

    Google Scholar 

  28. T. Minohara and M. Tokoro, “MyAO: A Model for Expressing Persistent Objects,” Workshop Object Oriented Computing, 1990.

    Google Scholar 

  29. T. Minohara and M. Tokoro, “Multiple meta-objects support an object,” ECOOP I OOPSLA '90 Workshop on Reflection and Metalevel Architectures, 1990.

    Google Scholar 

  30. A. Ohori, “Semantics of Types for Database Objects,” Theoretical Computer Science, Vol. 76, 1990

    Google Scholar 

  31. J. Peckham and F. Maryanski, “Semantic Data Models,” ACM Computing Surveys, Vol. 20(3), 1988.

    Google Scholar 

  32. J. C. Reynolds, “Three Approaches to Type Structure,” Proceedings of Colloquium on Trees in Algebra and Programming, LNCS Vol. 185, 1985.

    Google Scholar 

  33. Servio Logic Development Corporation, “Programming in OPAL,” 1989.

    Google Scholar 

  34. D. Shipman, “The functional data model and the data language DAPLEX,” ACM TODS, Vol. 6(1), 1981.

    Google Scholar 

  35. J. D. Ullman, “Principles of Database and Knowledge Base Systems Vol.1,” Computer Science Press, 1988.

    Google Scholar 

  36. D. Woelk, W. Kim, and W. Luther, “An Object-Oriented Approach to Multimedia Databases,” Proceedings of ACM SIGMOD, 1986.

    Google Scholar 

  37. Y. Yokote, F. Teraoka, and M. Tokoro, “A Reflective Architecture for the Object-Oriented Distributed Operating System,” Proceedings of ECOOP-89, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

C. Delobel M. Kifer Y. Masunaga

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Minohara, T., Tokoro, M. (1991). Providing dynamic type abstractions and specifications for persistent information. In: Delobel, C., Kifer, M., Masunaga, Y. (eds) Deductive and Object-Oriented Databases. DOOD 1991. Lecture Notes in Computer Science, vol 566. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55015-1_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-55015-1_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55015-0

  • Online ISBN: 978-3-540-46646-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics