Abstract
The paper contributes to the elaboration of a methodological framework for solving the problem of data model heterogeneity in multidatabase systems.
It presents an approach to rigorous definition of data models and to the handling of them as formal objects provided for the development of data model mappings in the process of design of heterogeneous multidatabase systems. The paper defines strict principles and specific techniques facilitating verifiable design of commutative data model mappings. The methods introduced make it possible to construct generalized data model kernel extensions equivalent to various internal data models and to develop and verify algorithms of the generalized level DML interpreters.
Preview
Unable to display preview. Download preview PDF.
References
Kalinichenko L.A., Ryvkin V.M., Chaban I.A. Design principles and architecture of SISYPHUS — a system for integrated storage of information.-Programmirovanie, 1975, N4. (Translated into English in Programming and Computer Software, Consultants Bureau, New York, 1975, N4).
Biller H., Glatthaar W. On the semantics of data bases: the semantics of data definition language, Institut f. Informatik, Univesity of Stuttgart, Nov. 1975, p. 1–19.
Tennent R.D. The denotational semantics of programming languages. — CACM, 1976, v. 19, N8, p.437–453.
Biller H., Glatthaar W., Neuhold E.J. On the semantics of data bases: the semantics of data manipulation languages. — In Proc. IFIP TC-2 Working Conference on Modelling in DBMS. Amsterdam: North-Holland, 1976, p. 239–267.
Maibaum T.S. Mathematical semantics and a model for data bases. Information Processing 77, North Holland, 1977, p. 133–138.
Paolini P., Pelagatti G. Formal definition of mappings in a data base. — ACM Sigmod Proc., August 1977, p. 40–46.
Backus J. Can programming be liberated from the von Neumann style ? A function style and its algebra of programs. — CACM, 1978, v.21, N8.
Biller H., Neuhold E.J. Semantics of data bases: the semantics of data models. Information systems, vol. 3, 1978, p. 11–30.
Borkin S.A. Data model equivalence. Proc. of the 4-th International Conference on VLDB, West Berlin, N-Y.: IEEE, 1978, p. 526–534.
Kalinichenko L.A. Data model transformation method based on axiomatic data model extension.—In Proc. of the 4-th International Conference on VLDB. West Berlin, N-Y.: IEEE, 1978.
Klug A.C. Theory of database mappings. Technical report CSRG-98, Dec. 1978, University of Toronto.
Zaniolo C. Design of Relational Views over Network Schemas. SIGMOD 1979 Conference Proceedings, May 1979, p. 179–189.
Adiba M. et al. POLYPHEME: an experience in distributed database system design and implementation.—In Proc. of the International Symposium on Distributed Data Bases. Paris, Amsterdam: North-Holland, 1980, p.67–84.
Cardenas A.F., Pirahesh M.H. Data Base Communication in a heterogeneous DBMS network.—Information Systems, 1980, v.5, p.55–79.
Landers T. Rosenberg R.L. An overview of Multibase.—In Proc. of the 2-nd International Symposium on Distributed Data Bases. Amsterdam: North-Holland, 1982, p.153–184.
Litwin W. Logical model of a distributed data base.—In Proc. of the Second International Seminar on Distributed Data Sharing Systems. Amsterdam: North-Holland, 1982, p. 173–208.
Kalinichenko L.A. Methods and Tools for Integration of Heterogeneous Databases.—Moscow.: Science Publ., 1983, 423p. (in Russian).
Gligor V.D., Luckenbaugh G.L. Interconnecting Heterogeneous Database Management Systems.— Computer, 1984, N1, p. 33–43.
Data Base Management Systems for ES computers: the guide.—Moscow, Finance and Statistics, 1984, 224p (in Russian).
Kalinichenko L.A. Properties of commutative data model mappings.— Cybernetics, N5, 1985, p. 37–40 (in Russian).
Staniszkis W. Integrating Heterogeneous Databases.— Infotech State of the Art Report: Relational databases, 1986, p. 229–247.
Kalinichenko L.A. Reusable database programming independent of DBMS.— In Proc. of the 10th International Seminar on Data Base Management Systems, Poland, 1987, p. 281–296.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kalinichenko, L.A. (1990). Methods and tools for equivalent data model mapping construction. In: Bancilhon, F., Thanos, C., Tsichritzis, D. (eds) Advances in Database Technology — EDBT '90. EDBT 1990. Lecture Notes in Computer Science, vol 416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022166
Download citation
DOI: https://doi.org/10.1007/BFb0022166
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52291-1
Online ISBN: 978-3-540-46948-3
eBook Packages: Springer Book Archive