Type derivation using the projection operation
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.
Unable to display preview. Download preview PDF.
- 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