Download:
|
by Giorgio Ghelli, Debora Palmerini
In Proc. of the 6th Workshop on Foundations of ObjectOriented Languages (FOOL
ftp://ftp.cs.williams.edu/pub/kim/FOOL6/ghelli.ps
Add To MetaCart
Abstract:
Object-oriented database systems are an emerging, promising technology, underpinned by the integration of ideas from object-oriented languages along with the specific needs of database applications. The fundamental reason for using such systems is that any real-world entity can be modelled with one object which matches its structure and behavior. To this end, the standard notion of object has to be augmented so that it can model the fact that an entity may acquire new pieces of structure and behavior during its existence, without changing its identity. To allow this extensibility in a statically typed system, a notion of contextdependent behavior ("role playing") has to be added to the basic features of object-oriented languages. This feature is also a useful modeling device. Languages with role mechanisms have already been proposed. However, their design is full of choices which cannot be easily justified. A strong foundation for the object-with-roles notion would be extremely helpful to justify these choices and to understand, and prove, the properties of such a mechanism. In this paper we describe such a foundation, building on the object model proposed by Abadi and Cardelli. 1
Citations
|
795
|
A Theory of Objects
– Abadi, Cardelli
- 1996
|
|
160
|
Updatable Views in Object-Oriented Databases
– Scholl, Laasch, et al.
- 1991
|
|
154
|
Operations on records
– Cardelli, Mitchell
- 1989
|
|
139
|
A calculus for overloaded functions with subtyping
– Castagna, Ghelli, et al.
- 1995
|
|
128
|
Records and variants as a natural extension of ML
– R'emy
- 1989
|
|
111
|
Extending object-oriented systems with roles
– Gottlob, SchreX, et al.
- 1996
|
|
107
|
MultiView: A Methodology for Supporting Multiple Views in Object-Oriented Databases
– Rundensteiner
- 1992
|
|
102
|
An Object Data Model with Roles
– Albano, Bergamini, et al.
- 1993
|
|
52
|
ML with extended pattern matching and subtypes
– Jategaonkar, Mitchell
- 1988
|
|
52
|
Privacy via Subsumption
– Riecke, Stone
- 1998
|
|
38
|
A static type system for message passing
– Ghelli
- 1991
|
|
36
|
Fibonacci: A programming language for object databases
– Albano, Ghelli, et al.
- 1995
|
|
36
|
The development of type systems for object-oriented languages. Theory and Practice of Object Systems
– Fisher, Mitchell
- 1995
|
|
26
|
Objects with multiple most specific classes
– Bertino, Guerrini
- 1995
|
|
24
|
Subtyping Constraints for Incomplete Objects
– Bono, Bugliesi, et al.
- 1999
|
|
21
|
An Extended Theory of Primitive Objects: First Oder System
– Liquori
- 1997
|
|
16
|
A database model for object dynamics
– Papazoglou, Kramer
- 1997
|
|
7
|
A class abstraction for a hierarchical type system
– Ghelli
- 1990
|
|
4
|
Extensible objects for database evolution: Language features and implementation issues
– Albano, Diotallevi, et al.
- 1995
|