A Formal Model for Databases with Applications to Schema Merging
In this paper we present a simple and general model for database schemas and their instances. The model is sufficiently expressive to represent complex, higher order data structures and incorporates representations for specialisation relations and object identity. It is general enough to encode data structures arising from many other semantic data models in a natural way, though we do not attempt to model some of the more sophisticated constraints that occur in other models.
We claim that using a formal mathematical model can help us to understand and deal with various problems arising from database systems, and, to demonstrate this, we present some work on the problem of schema merging that has been carried out using our model.
KeywordsDatabase System Object Identity Database Schema Merging Process Cardinality Constraint
Unable to display preview. Download preview PDF.
- J. Smith, P. Bernstein, U. Dayal, N. Goodman, T. Landers, K. Lin, and E. Wong. Multibase- Integrating Heterogeneous Distributed Database Systems. In Proceedings of AFIPS, pages 487–499, 1981.Google Scholar
- A. Kosky. Modeling and Merging Database Schemas. Technical Report, University of Pennsylvania, 1991.Google Scholar
- U. Dayal and H. Hwang. View definition and generalisation for database integration in multibase. IEEE Transactions on Software Engineering,SE-10(6):628644, November 1984.Google Scholar
- A. Motro. Superviews: virtual integration of multiple databases. IEEE Transactions on Software Engineering, Vol. SE-13(7): 785–798, 1987.Google Scholar
- F. Bancilon. Object-oriented database systems. In Principles of Database Systems, pages 152–162, 1988.Google Scholar