Abstract
In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise specifications suitable for implementation: the approach is an adaptation of a familiar in the mathematical category theory specification framework based on the so called sketches. On this ground, a procedure of automated view integration is developed. Its distinctive feature consists in specifying correspondence between different views (on the same universe of discourse) by equations that reduces the integration task to a sequence of formal algebraic procedures.
Supported by Grant 93.315, and (the second author partly) by Grant 93.254 both from the Latvian Council of Science
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
C. Batini, M. Lenzerini, and S. Navathe. A comparitive analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323–364, 1986.
B. Cadish and Z. Diskin. Algebraic graph-based approach to management of multibase systems, I: Schema integration via sketches and equations. In Next Generation of Info-technologies and Systems, NGITS'95, 2nd Int.Workshop (Israel), 1995.
U. Dayal and II. Hwang. View definition and generalization for database integration of a multibase system. IEEE Trans. Software Eng., 10(6):628–644, 1984.
Z. Diskin. Mathematical aspects of schema integration. TR-9502, Frame Inform Systems, Riga, 1995. (On ftp: //ftp.cs.chalmers.se/pub/users/diskin/tr9502.*).
Z. Diskin. Formalizing graphical schemas for conceptual modeling: Sketch-based logic vs. heuristic pictures. TR-9501, Frame Inform Systems, Riga, 1995.
Z. Diskin and B. Cadish. Databases as graphical algebras. (On ftp: //ftp.cs.chalmers.se/pub/users/diskin/amast96.*), 1995.
Z. Diskin and B. Cadish. Variable sets and functions framework for conceptual modeling: Integrating ER and OO via sketches with dynamic markers. In Proc. 14th Int.Conf. (OO & ER)'95, Springer LNCS'1021, 1995.
J.A. Larson, S.B. Navathe, and R. Elmasri. A theory of attribute equivalence in databases with application to schema integration. IEEE Trans. Software Eng., 15(4), 1989.
S. Navathe. The next ten years of modeling, methodologies and tools. In ER'92, number 645 in LNCS, (Karlsrue, Germany), 1992.
E. Pitoura, O. Bukhres, and A. Elmagarmid. Object orientation in multidatabase systems. ACM computing surveys, 27(2):141–195, 1995.
A. Sneth and C. Larson. Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, 1990.
S. Spaccapietra and C. Parent. Conflicts and correspondence assertions in interoperable databases. ACM SIGMOD Record, 20(4):49–54, 1991.
S. Spaccapietra, C. Parent, and Y. Dupont. Model-independent assertions for integration of heterogeneous schemas. Very Large Databases Journal, 1(1), 1992.
S. Spaccapietra, C. Parent, and Y. Dupont. View integration: a step forward in solving structural conflicts. IEEE Transactions on KDE, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cadish, B., Diskin, Z. (1996). Heterogeneous view integration via sketches and equations. In: Raś, Z.W., Michalewicz, M. (eds) Foundations of Intelligent Systems. ISMIS 1996. Lecture Notes in Computer Science, vol 1079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61286-6_184
Download citation
DOI: https://doi.org/10.1007/3-540-61286-6_184
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61286-5
Online ISBN: 978-3-540-68440-4
eBook Packages: Springer Book Archive