Skip to main content
SpringerLink
Log in
Book cover

International Conference on Extending Database Technology

EDBT 1992: Advances in Database Technology — EDBT '92 pp 120–135Cite as

Multiple substitutability without affecting the taxonomy

  • Conference paper
  • First Online:

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

Abstract

Two areas where common object-oriented modeling power lacks the necessary expressiveness are identified. An analysis of the situation shows that there exists a single reason why the real world situations cannot be modeled adequately. What really is missing is a means to express that objects of a certain type are able to behave in a fashion objects of another type would do. To remedy this situation we introduce a single new concept, define its semantics, give a thorough analysis of its applicability in light of strong typing, and illustrate its symbiosis with inheritance and genericity. The concept is illuminated by means of several examples.

This work was partially supported by the German Research Council DFG under contract number SFB 346.

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. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471–522, Dec 1985.

    Google Scholar 

  2. J. A. Goguen and D. Wolfram. On types and FOOPS. In Proc. IFIP TC-2 Conf. on Object-Oriented Databases, Windermere, UK, Jun 90.

    Google Scholar 

  3. A. Kemper and G. Moerkotte. Correcting anomalies of standard inheritance — a constraint-based approach. In Proc. Int. Conf. on Database and Expert Systems Applications (DEXA), pages 49–55, 1990.

    Google Scholar 

  4. A. Kemper and G. Moerkotte. A framework for strong typing and type inference in (persistent) object models. In Proc. Int. Conf. on Database and Expert Systems Applications (DEXA), 1991.

    Google Scholar 

  5. A. Kemper, G. Moerkotte, H.-D. Walter, and A. Zachmann. GOM: a strongly typed, persistent object model with polymorphism. In Proc. of the German Conf. on Databases in Office, Engineering and Science (BTW), pages 198–217, Kaiserslautern, Mar 1991. Springer-Verlag, Informatik Fachberichte Nr. 270.

    Google Scholar 

  6. L. Stein. Delegation is inheritance. In Proc. of the ACM Conf on Object-Oriented Programming Systems and Languages (OOPSLA), 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Informatik, Universität Karlsruhe, D-7500, Karlsruhe, F. R. G.

    Guido Moerkotte & Andreas Zachmann

Authors
  1. Guido Moerkotte
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Zachmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alain Pirotte Claude Delobel Goerg Gottlob

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Moerkotte, G., Zachmann, A. (1992). Multiple substitutability without affecting the taxonomy. In: Pirotte, A., Delobel, C., Gottlob, G. (eds) Advances in Database Technology — EDBT '92. EDBT 1992. Lecture Notes in Computer Science, vol 580. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032427

Download citation

  • DOI: https://doi.org/10.1007/BFb0032427

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55270-3

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation