This article proposes a model for multidatabase interoperability where
by a formal model and multidatabase language of Jupiter are introduce
d and the formal semantics of the multidatabase language is defined in
terms of the formal model, The development of the model is incrementa
l in approach, starting with relational model semantics and extending
this semantics to a multirelational model, Due to space requirements w
e only outline the multirelational part of our work and take the singl
e relational part as given. The contribution of this article is that i
t defines a uniform formal framework for the investigation of properti
es of multidatabase systems and their languages. An architecture and i
mplementation language are defined and a CORBA-based prototype: the Ju
piter Interoperator, is discussed, Legacy systems are characterized in
this article along three related dimensions: the legacy applications
themselves; the subsystems which support the legacy applications and i
nteroperability; and the models and languages of the legacy applicatio
ns and subsystems.