Abstract
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented model for schema versioning and evolution can be formalized; how the semantics of schema change operations can be defined; how interesting reasoning tasks can be supported, based on an encoding in description logics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798–842, 1998. A first version appeared in SIGMOD’89.
Alessandro Artale and Enrico Franconi. Temporal ER modeling with description logics. In Proc. of the International Conference on Conceptual Modeling (ER’ 99). Springer-Verlag, November 1999.
J. Banerjee, W. Kim, H.-J. Kim, and H. F. Korth. Semantics and Implementation of Schema Evolution in Object-Oriented Databases. In Proc. of the ACM-SIGMOD Annual Conference, pages 311–322, May 1987.
S. Bergamaschi and B. Nebel. Automatic Building and Validation of Multiple Inheritance Complex Object Database Schemata. International Journal of Applied Intelligence, 4(2):185–204, 1994.
P. Brèche. Advanced Principles of Changing Schema of Object Databases. In Proc. of the 8th Int’l Conf. on Advanced Information Systems Engineering (CAiSE), pages 476–495, May 1996.
D. Calvanese, G. De Giacomo, M. Lenzerini, and D. Nardi. Reasoning in expressive description logics. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier, 2000. To appear.
D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 229–263. Kluwer, 1998.
D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. Journal of Artificial Intelligence Research, 11:199–240, 1999.
Ti-Pin Chang and Richard Hull. Using witness generators to support bi-directional update between object-based databases. In Proc. of the 1995 ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS’95), 1995.
C. De Castro, F. Grandi, and M. R. Scalas. Schema Versioning for Multitemporal Relational Databases. Information Systems, 22(5):249–290, 1997.
F. Ferrandina, T. Meyer, R. Zicari, G. Ferran, and J. Madec. Schema and Database Evolution in the O2 Object Database System. In Proc. of the 21st Int’l Conf. on Very Large Databases (VLDB), pages 170–181, September 1995.
Enrico Franconi, Fabio Grandi, and Federica Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. Technical report, Department of Computer Science, University of Manchester, UK, 2000.
F. Grandi and F. Mandreoli. ODMG Language Extensions for Generalized Schema Versioning Support. In Proc. of ECDM’99 Workshop (in conj. with ER), November 1999.
F. Grandi, F. Mandreoli, and M. R. Scalas. A Generalized Modeling Framework for Schema Versioning Support. In Proc. of 11th Australasian Database Conference (ADC 2000), January 2000.
H. Gregersen and C. S. Jensen. Temporal Entity-Relationship Models-A Survey. IEEE Transaction on Knowledge and Data Engineering, 11(3):464–497, 1999.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR’99), pages 161–180, 1999.
Richard Hull and Masatoshi Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In Proc. of the 16th VLDB Conference, 1990.
C. S. Jensen, J. Clifford, S. K. Gadia, P. Hayes, and S. Jajodia et al. The Consensus Glossary of Temporal Database Concepts-February 1998 Version. In O. Etzion, S. Jajodia, and S. Sripada, editors, Temporal Databases-Research and Practice, pages 367–405. Springer-Verlag, 1998. LNCS No. 1399.
J-B Lagorce, A. Stockus, and E. Waller. Object-oriented database evolution. In Proc. of ICDT’97, 1997.
S.-E. Lautemann. A Propagation Mechanism for Populated Schema Versions. In Proc. of the 13th International Conference on Data Engineering (ICDE), pages 67–78, April 1997.
D. J. Penney and J. Stein. Class Modification in the GemStone object-oriented DBMS. In Proc. of the Int’l Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 111–117, December 1987.
R. J. Peters and M. T. Ozsu. An Axiomatic Model of Dynamic Schema Evolution in Objectbase Systems. ACM Transaction on Database Systems, 22(1):75–114, 1997.
J. F. Roddick. A Survey of Schema Versioning Issues for Database Systems. Information and Software Technology, 37(7):383–393, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Franconi, E., Grandi, F., Mandreoli, F. (2000). A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. In: Lloyd, J., et al. Computational Logic — CL 2000. CL 2000. Lecture Notes in Computer Science(), vol 1861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44957-4_70
Download citation
DOI: https://doi.org/10.1007/3-540-44957-4_70
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67797-0
Online ISBN: 978-3-540-44957-7
eBook Packages: Springer Book Archive