Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases

This paper describes a novel mechanism for upgrading objects in an object-oriented database. Unlike earlier systems, our mechanism is expressive, supporting a rich set of upgrades; it is efficient and does not stop application access to run an upgrade; it avoids making copies of the database; yet it provides good semantics. Expressive ecient upgrades can lead to problems for the code that upgrades objects. For example, the code might observe broken invariants or interfaces unknown at the time it was written. The paper shows how to use a variant of ownership types to avoid such problems and enable programmers to reason about the correctness of their upgrades. Our approach to correctness is novel, and is a significant contribution of this paper. This paper als