Skip to main content
SpringerLink
Log in

Type derivation using the projection operation

Extended abstract

  • Object Views
  • Conference paper
  • First Online:
Advances in Database Technology — EDBT '94 (EDBT 1994)

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

Included in the following conference series:

Abstract

We present techniques for deriving types from existing objectoriented types using the relational algebraic projection operation and for inferring the methods that are applicable to these types. Such type derivation occurs, for example, as a result of defining algebraic views over object types. We refactor the type hierarchy and place the derived types in the type hierarchy in such a way that the state and behavior of existing types remain exactly as before. Our results have applicability to relational databases extended with object-oriented type systems and to object-oriented systems that support algebraic operations.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Serge Abiteboul and Anthony Bonner. “Objects and Views”. SIGMOD, 1991.

    Google Scholar 

  2. Rakesh Agrawal, Linda G. DeMichiel, and Bruce G. Lindsay. “Static Type Checking of Multi-Methods”. OOPSLA, 1991.

    Google Scholar 

  3. S. Bergamaschi and C. Sartori. “On Taxonomic Reasoning in Conceptual Design”, TODS, 17(3), Sept. 1992.

    Google Scholar 

  4. Elisa Bertino. “A View Mechanism for Object-Oriented Databases”. EDBT, 1992.

    Google Scholar 

  5. R.J. Brachman, A. Borgida, D.L. McGuinnes, and L.A. Resnick. “The Classic Knowledge Representation System, or, KL-ONE: The Next Generation.” Workshop on Formal Aspects of Semantic Networks, February 1989.

    Google Scholar 

  6. Sandra Heiler and Stanley Zdonik. “Object Views: Extending the Vision.” Data Engineering, 1990.

    Google Scholar 

  7. Won Kim. “A Model of Queries in Object-Oriended Databases”, VLDB, 1989.

    Google Scholar 

  8. M. Missikoff and M. Scholl. “An Algorithm for Insertion into a Lattice: Application to Type Classification.” FODO, 1989.

    Google Scholar 

  9. Elke A. Rundensteiner. “MultiView: A Methodology for Supporting Multiple Views in Object-Oriented Databases.” VLDB, 1992.

    Google Scholar 

  10. Marc H. Scholl, Christian Laasch, Markus Tresch. “Updatable Views in Object-Oriented Databases”. Technical Report, ETH Zürich, 1990.

    Google Scholar 

  11. Michael Schrefl and Erich J. Neuhold. “Object Class Definition by Generalization Using Upward Inheritance.” Data Engineering, 1988.

    Google Scholar 

  12. Katsumi Tanaka, Masatoshi Yoshikawa, and Kozo Ishihara. “Schema Virtualization in Object-Oriented Databases.” Data Engineering, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Almaden Research Center, 650 Harry Road, 95120, San Jose, CA

    Rakesh Agrawal & Linda G. DeMichiel

Authors
  1. Rakesh Agrawal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Linda G. DeMichiel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Matthias Jarke Janis Bubenko Keith Jeffery

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Agrawal, R., DeMichiel, L.G. (1994). Type derivation using the projection operation. In: Jarke, M., Bubenko, J., Jeffery, K. (eds) Advances in Database Technology — EDBT '94. EDBT 1994. Lecture Notes in Computer Science, vol 779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57818-8_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-57818-8_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57818-5

  • Online ISBN: 978-3-540-48342-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation