This article presents a framework developed for accommodating various
object migrations in 'statically-typed' object databases. Requirements
for supporting object migrations are stipulated, and a conceptual mod
el for describing and facilitating different kinds of migrations is de
scribed. Associated issues of controlling such migrations are then add
ressed, along with an initial investigation on the inference of implie
d migration paths and the completeness of migration operators. Some gu
idelines are then given to help users conduct migrations more effectiv
ely. An implementation prototype on top of an object-oriented database
system was built, which embodies full support of all migration types
specified in the migration model.