The goal of the Jupiter system is to provide interoperability services to a federation of autonomous and possibly heterogeneous database systems. Interoperability is the ability to connect software systems in a manner which facilitates transparent access to enterprise data resources, which may be distributed among legacy applications across multiple heterogeneous software and hardware platforms. The participants are free to withdraw at any time, with the result that global integration of the participant schemas is not seen as a feasible solution. Our solution is to provide a multidatabase layer and a suitable interoperator language to allow information providers to construct loosely-coupled interoperable autonomous information systems. The enor mous problems faced by information system providers are compounded by the difficulty of integrating key applications which have been developed using traditional methods with applications developed using, for example, object- oriented technology. A goal of our research is to address the area of multidatabase interoperability and, to this end, we have constructed the Jupiter prototype.
Get full access to this article
View all access options for this article.
References
1.
R. Alonso and D. Barbara, Negotiating Data Access in Federated Database Systems (Technical Report CS-TR-160-88 (Princeton University, Department of Computer Science , June 1988).
2.
D. Bell and J. Grimson, Distributed Database Systems (Addison-Wesley Publishing Company, 1992).
3.
D. Bjorner, Formalization of database models In: Lecture Notes in Computer Science 86, edited by G. Goos and J. Hartmanis (Springer-Verlag, New York, 1980) 144-215.
4.
M. Brodie, The promise of distributed computing and the challenges of legacy information systems. In: Proceedings of IFIP DS5 Semantics of Interoperable Database Systems, Lorne, Victoria, Australia, November 1992, 1-25.
5.
P.P. Chen , The entity-relationship model - toward a unified view of data, ACM Transactions on Database Systems1(1) (1976) 9-36.
6.
A. Diller, Z: An Introduction to Formal Methods (John Wiley, 1990).
7.
D.H. Fishman , D. Beech, H.P. Cate, E.C. Chow, T. Connors, J.W. Davis, N. Derrett, C.G. Hoch, W. Kent, P. Lyngbaek, B. Mahbod, M.A. Neimat, T.A. Ryan and M.C. Shan, Iris: an object-oriented database management system. In: Readings in Object-Oriented Database Systems , edited by S.B. Zdonik and D. Maier (Morgan Kaufman , San Mateo, CA, 1990) 216-226.
8.
Distributed Systems Group, An Overview of the Amadeus Project, Version 2.0 (Technical Report TCD-CS-92-01 (Department of Computer Science, Trinity CollegeDublin, Ireland, January 1992).
9.
The Object Management Group, The OMG Object Model (Object Management Group, 1992).
10.
I. Hayes (ed.), Specification Case Studies2nd ed. (Prentice-Hall, 1993).
11.
C. Horn and V. Cahill, Supporting distributed applications in the amadeus environment, Computer Communications14(6) (1991) 358-365.
12.
N. Roussopulos , J. Grant, W. Litwin and T. Sellis, Query languages for relational multidatabases , VLDB Journal2 (1993) 153-171.
13.
J. Cardiff, J. Grimson and S. Baker, Jupiter- a System for Supporting Database Interoperability Using a Persistent Object Store (Department of Computer Science, Trinity CollegeDublin, Ireland, 1992).
14.
Ansi/Iec, Jtc1/Sc21/Wg3 . ANSI X3H2-92-109/DBL OTT-003 DATABASE LANGUAGE SQL3 (Technical Report (ANSI, April 1992).
15.
L. Kerschberg and J.E.S. Pacheco, A Functional Database Model (Technical Report (Pontificia Univ. Catolica do Rio de Janeiro, Rio de Janeiro, Brazil, 1976).
16.
W. Kim and J. Seo, Classifying schematic and data heterogeneity in multidatabase systems, IEEE Computer (December 1991).
17.
W. Litwin , The future of heterogeneous databases In: Proceedings of the Fall Joint Computer Conference , Dallas, Texas, October 1987.
18.
F. Manola and U. Dayal, Pdm: an object-oriented data model In: Readings in Object-Oriented Database Systems, edited by S.B. Zdonik and D. Maier (Morgan Kaufman, San Mateo, CA, 1990) 209-215.
19.
J.P. Murphy and J.B. Grimson, An object model in Z, Database Technology4(4) (1992) 297-304.
20.
J.P. Murphy and J.B. Grimson, The Denotational Semantics of a Relational Subset of the JIL Multidatabase Language (Technical Report 99 (Dublin City University , January 1993).
21.
J.P. Murphy and J.B. Grimson, A Formal Canonical Data Model for Heterogeneous Database Systems . (Technical Report 98 (Dublin City University, August 1993).
22.
J.P. Murphy and J.B. Grimson, Formal specification of a persistent object manager, Information and Software Technology , 35(7) (1993 ).
23.
J.P. Murphy and J.B. Grimson, JIL/MDD: the Jupiter Interoperator Dictionary for Heterogeneous Database Systems (Technical Report 97 (Dublin City University, August 1993).
24.
E.J. Neuhold and T. Olnhoff, Building a database management system through formal specification. In: Lecture Notes in Computer Science107 (Springer-Verlag, New York, 1981) 169-209.
25.
D.A. Schmidt , Denotational Semantics - a Methodology for Language Development (Wm C. Brown, 1988 ).
26.
A. Sheth and J. Larson, Federated database systems for managing distributed, heterogeneous, and autonomous database systems, ACM Computing Surveys22(3) (1990) 183-236.
27.
D. Shipman , The functional data model and the data language daplex, ACM Transactions on Database Systems6(1) (1981) 140-173.
28.
J. Spivey, Understanding Z: a specification language and its formal semantics, Cambridge Tracts in Theoretical Computer Science3(1992).
29.
J. Spivey, The Z Notation: a Reference Manual (Prentice Hall International , 1992).
30.
K. Subieta, Semantics of query languages for network databases, ACM Transactions on Database Systems10(3) (1985) 347-394.
31.
K. Subieta , Denotational semantics of query languages, Information Systems12(1) (1987).
32.
K. Subieta and M. Missala, Semantics of query languages for the entity-relationship model In: Entity-Relationship Approach edited by S. Spaccapietra ( Dijon, France, November 1986) 197-216.
33.
J.P. Fry , T.J. Teorey and D. Yang, A logical design methodology for relational databases using the extended entity-relationship model, ACM Computing Surveys18(2) (1986) 197-222.
34.
J.B. Wordsworth , Software Development with Z: a Practical Approach to Formal Methods in Software Engineering (Addison-Wesley , 1992).
