Abstract
Mediators—used in federated information systems—provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the heterogeneous data, correspondences between the autonomous schemas are specified manually by experts. Considering the continuous evolution of those typically long-living information systems, schema evolution is an important aspect. New concepts are necessary to adapt correspondences consistently to evolving schcmas. In this paper we propose a formalized schema evolution mechanism for federated information systems based on metamodeling and dynamic logic. We define useful transactions for schema evolution based on three elements: (1) a metamodel for ODMG schemas, (2) a metamodel for model correspondence assertions (MoCAs), and (3) a classification of evolution actions and their specification. For each evolution transaction, semantic preconditions are specified and the impact on the correspondence assertions are described. In this way, we contribute an important step towards a consistent evolution of federated information systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Bergstein, Maintenance of object-oriented systems during structural evolution, Theory and Practice of Object Systems, Vol. 3, No. 3, John Wiley&Sons, 1997.
S. Busse, A Specification Language for Model Correspondence Assertions—Part I: Overlap Correspondences, Technical Report, Forschungsbcrichtc des Fachbereichs Informatik Nr. 99-8, TU Berlin, April 1999.
E. Bertino, E. Ferrari, G. Guerrini, I. Merlo, Extending the ODMG Object Model with time, Proc. ECOOP’98, Lecture Notes in Computer Science 1445, 1998.
J. Banerjee, W. Kim, H.J. Kim, H.F. Korth, Semantics and Implementation of Schema Evolution in OODB, Proc. 5th ACM SIGMOD Conference on Management of Data, ACM, pp. 311–322, 1987.
S. Busse, R.-D. Kutsche et al., Modellierung informationslogis-tischer Anwendungen—Projektbericht, Forschungsberichte des Fachbereichs Informatik Nr. 2000-9, TU Berlin, 2000.
S. Busse, R.-D. Kutsche, U. Leser, H. Weber, Federated Information Systems-Concepts,Terminology and Architectures, Technical Report, Forschungsberichte des Fachbereichs Informatik Nr. 99-9, TU Berlin, April 1999.
97] R.G.G. Cattell, D.K. Barry (eds.), The Object Database Standard: ODMG 2.0, Morgan Kaufmann, 1997.
S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. D. Ullman, J. Widom, The TSIMMIS Project: Integration of Heterogeneous Information Sources, 16th Meeting of the Information Processing Society of Japan, pp. 7–18, Tokyo, Japan, 1994.
A. Evans, R. France, K. Lano, B. Rumpc, Developing the UML as a formal modeling notation, in: Mullcr, Bczivin (cds.), UML’98 Beyond the notation, International Workshop, Lecture Notes in Computer Science LNCS 1618, Springer, 1998.
A. Evans, R. France, K. Lano, B. Rumpe, Towards a core metamodelling semantics of UML, in: H. Kilov (ed.), Behavior specifications of business and systems, Kluwer Academic Publishers, 1999.
M. Garcia-Solaco, F. Saltor, M. Castellanos, Semantic Heterogeneity in Multidatabase Systems, in: O.A. Bukhres, A.K. Elmagarmid (eds.), Object-Oriented Multidatabase Systems, Prentice Hall, 1996; pp. 129–202, 1995.
95] W. Kim (ed.), Modern Database Systems, Addison-Wesley, 1995.
S. Kolmschlag, Schemaevolution in Föderierten Datenbanksystemen, Dissertation D 466, Universität-GH Paderborn, C-LAB Publication, Band 2, Shaker Verlag, 1999.
W. Kim, I. Choi, S. Gala, M. Scheevel, On Resolving Schematic Heterogeneity in Multidatabase Systems, in: [Kim 95], pp. 521–550, 1995.
F. Kesim, M. Scrgot, A logic programming framework for modeling temporal objects, IEEE Transactions on Knowledge and Data Engineering, Vol. 8, No. 5, Oct. 1996.
R.-D. Kutsche, C. Schoning, S. Waßcrrolh et al., Informationsmod-ellierung im Rahmen eines Umweltinformationssystems, Forschungsbcrichtc des Fachbereichs Informatik Nr. 95-17, TU Berlin, April 1995.
J.A. Larson, S.B. Navathe, R. Elmasri, A Theory of Attribute Equivalence in Databases with Applications to Schema Integration, IEEE Transactions on Software Engineering, Vol. 15, No. 4, pp. 449–463, Apr. 1989.
L. Oergel, Viewpointübergreifende Konzeption eines evolutionsfälligen Informationsmediators, Diplomarbeit, TU Berlin, FB Informatik, Juli 2000.
Y. Papakonstanlinou, S. Abitcboul, and H. Garcia-Molina, Object Fusion in Mediator Systems, in: TM. Vijayaraman, A.P. Buchmann, C. Mohan, N.L. Sarda (eds.), 22nd Conf on Very Large Databases, VLDB, Mumbai (Bombay), India, 1996.
C. Pons, G. Baum, M. Felder, Foundations of Object-oriented Modeling Notations in a Dynamic Logic Framework, in: T Polle, T. Ripke, K. Schewe (eds.), Fundamentals of Information Systems, Kluwer Academic Publishers, chapter 1, 1999.
C. Pons, R.-D. Kutsche, Model evolution and system evolution, Proc. CACIC’99, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argcntinia, Nov. 1999.
A.P. Shclh, J.A. Larson, Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases, ACM Computing Surveys, Vol. 22, No. 3, pp. 183–236, Sep. 1990.
S. Spaccapietra, C. Parent, Y. Dupont, Model Independent Asser-tions for Integration of Heterogeneous Schemas, The VLDB Jounal, Vol. 1, No. 1, pp. 81–126, Jul. 1992.
I. Schmitt, G. Saake, Schema Integration and View Generation by Resolving Intensional and Extensional Overlappings, in: K. Yctongnon, S. Hariri (eds.), Proc. 9th ICSA Int. Conf. on Parallel and Distributed Computing Systems (PDCS’96), pp. 751–758, Sep. 1996.
Object Management Group, The Unified Modeling Language (UML) Specification-Version 1.3, available at http://www.omg.org, 1999.
G. Wiederhold, Mediators in the Architecture of Future Information Systems, IEEE Computers, Vol. 25, No. 3, pp. 38–49, Mar. 1992.
R. Wieringa, J. Broersen, Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams, in: M. Broy, D. Coleman, T Maibaum, B. Rumpc, PSMT Workshop on Precise Semantics for Software Modeling Techniques, TUM-19803, TU München, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Busse, S., Pons, C. (2001). Schema Evolution in Federated Information Systems. In: Heuer, A., Leymann, F., Priebe, D. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56687-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-56687-5_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41707-1
Online ISBN: 978-3-642-56687-5
eBook Packages: Springer Book Archive