Abstract
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.
This research was supported in part by ARO DAAL03-89-C-0031PRIME, ARO DAAL03-89-C-0031SUB5 and NSF IRI 86106171
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
References
R. Hull and R. King. Semantic database modelling: survey, applications and research issues. ACM Computing Surveys, 19 (3): 201–260, September 1987.
C. Batini, M. Lenzerini, and S. Navathe. A comparative analysis of methodolgies for database schema integration. ACM Computing Surveys, 18 (4): 323–364, December 1986.
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.
A. Sheth and J. Larson. Federated database systems for managing distributed heterogeneous and autonomous databases. ACM Computing Surveys, 22 (3): 183–236, September 1990.
A. Kosky. Modeling and Merging Database Schemas. Technical Report, University of Pennsylvania, 1991.
John Miles Smith and Diane C.P. Smith. Database abstractions: aggregation and generalisation. ACM Transactions on Database Systems, 2 (2): 105–133, June 1977.
Peter Pin-Shan Chen. The entity-relationship model — toward a unified view of data. ACM Trans. on Database Systems, 1 (1): 9–36, March 1976.
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.
A. Motro. Superviews: virtual integration of multiple databases. IEEE Transactions on Software Engineering, Vol. SE-13(7): 785–798, 1987.
D. Shipman. The Functional Data Model and the Data Language DAPLEX. ACM Transactions on Database Systems, 6 (1): 140–173, 1981.
A. Ohori. Semantics of Types for Database Objects. Theoretical Computer Science, 76: 53–91, 1990.
F. Bancilon. Object-oriented database systems. In Principles of Database Systems, pages 152–162, 1988.
A. Sheth, J. Larson, J. Cornellio, and S. Navethe. A tool for integrating conceptual schemas and user views. In Proceedings of Ph International Conference on Data Engineering, pages 176–183, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag London
About this paper
Cite this paper
Kosky, A.S. (1992). A Formal Model for Databases with Applications to Schema Merging. In: Harper, D.J., Norrie, M.C. (eds) Specifications of Database Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3864-8_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3864-8_8
Publisher Name: Springer, London
Print ISBN: 978-3-540-19732-4
Online ISBN: 978-1-4471-3864-8
eBook Packages: Springer Book Archive