Federation views as a basis for querying and updating database federations

This paper addresses the problem of how to query and update so-called database federations. A database federation provides for tight coupling of a collection of heterogeneous component databases into a global integrated system. This problem of querying and updating a database federation is tackled by describing a logical architecture and a general semantic framework for precise specification of such database federations, with the aim to provide a basis for implementing a federation by means of relational database views. Our approach to database federations is based on the UML/OCL data model, and aims at the integration of the underlying database schemas of the component legacy systems to a separate, newly defined integrated database schema. One of the central notions in database modelling and in constraint specifications is the notion of a database view, which closely corresponds to the notion of derived class in UML. We will employ OCL (version 2.0) and the notion of derived class as a means to treat (inter-)database constraints and database views in a federated context. Our approach to coupling component databases into a global, integrated system is based on mediation. The first objective of our paper is to demonstrate that our particular mediating system integrates component schemas without loss of constraint information. The second objective is to show that the concept of relational database view provides a sound basis for actual implementation of database federations, both for querying and updating purposes.

[1]  Luis Mandel,et al.  On the Expressive Power of OCL , 1999, World Congress on Formal Methods.

[2]  W.W.M. Vermeer Semantic Interoperability For Legacy Databases , 1997 .

[3]  Michael R. Blaha,et al.  Object-Oriented Modeling and Design for Database Applications , 1997 .

[4]  de Bert Brock,et al.  Towards a general semantic framework for design of federated database systems , 2000 .

[5]  Herman Balsters,et al.  Automatic Verification of Transactions on an Object-Oriented Database , 1997, DBPL.

[6]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[7]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[8]  Behzad Bordbar,et al.  On Querying UML Data Models with OCL , 2001, UML.

[9]  H. Balsters,et al.  Sets and constraints in an object-oriented data model , 1990 .

[10]  Richard Hull,et al.  Managing semantic heterogeneity in databases: a theoretical prospective , 1997, PODS.

[11]  Hermannus Balsters,et al.  Object-oriented modeling and design of database federations , 2003 .

[12]  Heinrich Hußmann,et al.  OCL as a Specification Language for Business Rules in Database Applications , 2001, UML.

[13]  Heinrich Hußmann,et al.  Using UML/OCL Constraints for Relational Database Design , 1999, UML.

[14]  Gio Wiederhold,et al.  Value-added Mediation in Large-Scale Information Systems , 1995, DS-6.

[15]  Martin Gogolla,et al.  On Constraints and Queries in UML , 1997, UML Workshop.

[16]  Hermannus Balsters Derived classes as a basis for views in UML/OCL data models , 2002 .

[17]  Gunter Saake,et al.  Global Extensional Assertions and Local Integrity Constraints in Federated Schemata , 2000, Inf. Syst..