Type derivation using the projection operation

Extended abstract
  • Rakesh Agrawal
  • Linda G. DeMichiel
Object Views
Part of the Lecture Notes in Computer Science book series (LNCS, volume 779)


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.


Source Type Accessor Method Surrogate Type Call Graph Projection Operation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Serge Abiteboul and Anthony Bonner. “Objects and Views”. SIGMOD, 1991.Google Scholar
  2. 2.
    Rakesh Agrawal, Linda G. DeMichiel, and Bruce G. Lindsay. “Static Type Checking of Multi-Methods”. OOPSLA, 1991.Google Scholar
  3. 3.
    S. Bergamaschi and C. Sartori. “On Taxonomic Reasoning in Conceptual Design”, TODS, 17(3), Sept. 1992.Google Scholar
  4. 4.
    Elisa Bertino. “A View Mechanism for Object-Oriented Databases”. EDBT, 1992.Google Scholar
  5. 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. 6.
    Sandra Heiler and Stanley Zdonik. “Object Views: Extending the Vision.” Data Engineering, 1990.Google Scholar
  7. 7.
    Won Kim. “A Model of Queries in Object-Oriended Databases”, VLDB, 1989.Google Scholar
  8. 8.
    M. Missikoff and M. Scholl. “An Algorithm for Insertion into a Lattice: Application to Type Classification.” FODO, 1989.Google Scholar
  9. 9.
    Elke A. Rundensteiner. “MultiView: A Methodology for Supporting Multiple Views in Object-Oriented Databases.” VLDB, 1992.Google Scholar
  10. 10.
    Marc H. Scholl, Christian Laasch, Markus Tresch. “Updatable Views in Object-Oriented Databases”. Technical Report, ETH Zürich, 1990.Google Scholar
  11. 11.
    Michael Schrefl and Erich J. Neuhold. “Object Class Definition by Generalization Using Upward Inheritance.” Data Engineering, 1988.Google Scholar
  12. 12.
    Katsumi Tanaka, Masatoshi Yoshikawa, and Kozo Ishihara. “Schema Virtualization in Object-Oriented Databases.” Data Engineering, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Rakesh Agrawal
    • 1
  • Linda G. DeMichiel
    • 1
  1. 1.IBM Almaden Research CenterSan Jose

Personalised recommendations