Skip to main content

Method restructuring and consistency checking for object-oriented schemas

  • Conference paper
  • First Online:
  • 1255 Accesses

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

Abstract

In this paper we present a framework and algorithms for method evolution handling in object-oriented databases. Two levels of granularity for method evolution are described. The first level to the evolution of methods in the context of the class inheritance hierarchy, and concerns the semantics of the polymorphism. The second level relates to the behavioural evolution in which the chain of calling relationships between methods is considered. A graph based approach is used to achieve such behavioural consistency in order to prevent the problems of run-time errors, side-effects, and to detect redundant methods and unexpected behaviours.

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. Andany J., Leonard M., and Palisser C.: Management of Schema Evolution in Databases. Proc. 17th VLDB, Barcelona, Spain, pp. 161–170, 1991.

    Google Scholar 

  2. Atkinson M., Bancilhon F., et al: The Object-Oriented Database System Manifesto. Proc. First Int. Conf. on Deductive and Object-Oriented Databases, Kyoto, Dec. 1989.

    Google Scholar 

  3. Banerjee J.W., Kim W., Kim H-J., and Korth H.F.: Semantics and Implementation of Schema Evolution in Object-Oriented Databases. Proc. Int. Conf. on Management of Data, pp. 311–322, San Francisco, 1987.

    Google Scholar 

  4. Canniing P.S., Cook W.R., Hill W.L., and Olthoff W.G.: Interfaces for Strongly-Typed Object-Oriented Programming. Proc. Object-Oriented Programming: Systems, Languages and Applications, pp. 457–467, October 1989.

    Google Scholar 

  5. Cardelli L.: Semantics of Multiple Inheritance. Information and Computation, 76, Academic Press, pp. 138–164, 1988.

    Google Scholar 

  6. Cardelli L. and Wegner P.: On Understanding Types Abstraction, and Polymorphism. Computing Surveys, 17(4), pp. 471–572, 1985.

    Article  Google Scholar 

  7. Coen-Porisini A., Lavazza L., and Zicari R.: The ESSE Project: An Overview. Proc. 2nd Far East Workshop on Future Database Systems, Kyoto, pp. 28–37, 1992.

    Google Scholar 

  8. Harris W.: Contravariance for the rest of Us. Journal of Object-Oriented Programming, November, pp. 10–18, 1991.

    Google Scholar 

  9. Hull R., Katsumi T., and Yoshikawa M.: Behavior Analysis of Object-Oriented Databases: Method Structure, Execution Trees, and Reachability. Proc. of the FODO, Lecture Notes in Computer Science, Springer-Verlag, pp. 372–38, 1989.

    Google Scholar 

  10. Meyer B.: Chapter 9 Correctness, in Eiffel the Language, Prentice Hall, pp. 117–134, 1992.

    Google Scholar 

  11. Narayanaswamy K., and Bapa R.: An Incremental Mechanism for Schema Evolution in Engineering Domains. Proc. COMPDEC88, 1988.

    Google Scholar 

  12. Nguyen G.T. and Rieu D.: Schema Evolution in Object-Oriented Database Systems. Data and Knowledge Engineering, Vol 4, pp. 43–67, 1989.

    Google Scholar 

  13. Panel on Schema Evolution and Version Management: Report on the Object-Oriented Database Workshop. SIGMOD Record 18(3), pp. 78–101, 1989.

    Google Scholar 

  14. Skarra A.H. and Zdonik S.B.: Type Evolution in an Object-Oriented Database, in Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner (eds), MIT Press, 1987.

    Google Scholar 

  15. Tari Z. and Li X.: Framework for Method Evolution and Behaviour Consistency in Object-Oriented Systems. Technical report, Queensland University of Technology, Brisbane, Australia.

    Google Scholar 

  16. Waller E.: Schema Updates and Consistency. Proc. Deductive and Object-Oriented Databases, 1991.

    Google Scholar 

  17. Zicari R.: A Framework for Schema Updates in an Object-Oriented Database System. Chapter 7, in: Building an Object-Oriented Database System — the Story of O2-. Bancilhon F., Delobel C., Kenellakis P.,(eds), Morgan Kaufmann, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Pericles Loucopoulos

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tari, Z., Li, X. (1994). Method restructuring and consistency checking for object-oriented schemas. In: Loucopoulos, P. (eds) Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering. ER 1994. Lecture Notes in Computer Science, vol 881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58786-1_78

Download citation

  • DOI: https://doi.org/10.1007/3-540-58786-1_78

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58786-6

  • Online ISBN: 978-3-540-49100-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics