A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases

  • Enrico Franconi
  • Fabio Grandi
  • Federica Mandreoli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1861)


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.


Schema Evolution Schema Version Description Logic Schema Change Legal Instance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.zbMATHCrossRefGoogle Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. Journal of Artificial Intelligence Research, 11:199–240, 1999.zbMATHMathSciNetGoogle Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    C. De Castro, F. Grandi, and M. R. Scalas. Schema Versioning for Multitemporal Relational Databases. Information Systems, 22(5):249–290, 1997.zbMATHCrossRefGoogle Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    H. Gregersen and C. S. Jensen. Temporal Entity-Relationship Models-A Survey. IEEE Transaction on Knowledge and Data Engineering, 11(3):464–497, 1999.CrossRefGoogle Scholar
  16. 16.
    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.Google Scholar
  17. 17.
    Richard Hull and Masatoshi Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In Proc. of the 16th VLDB Conference, 1990.Google Scholar
  18. 18.
    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.CrossRefGoogle Scholar
  19. 19.
    J-B Lagorce, A. Stockus, and E. Waller. Object-oriented database evolution. In Proc. of ICDT’97, 1997.Google Scholar
  20. 20.
    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.Google Scholar
  21. 21.
    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.Google Scholar
  22. 22.
    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.CrossRefGoogle Scholar
  23. 23.
    J. F. Roddick. A Survey of Schema Versioning Issues for Database Systems. Information and Software Technology, 37(7):383–393, 1996.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Enrico Franconi
    • 1
  • Fabio Grandi
    • 2
  • Federica Mandreoli
    • 1
  1. 1.Dept. of Computer ScienceUniv. of ManchesterManchesterUK
  2. 2.Dip. di Elettronica, Informatica e SistemisticaUniv. di BolognaBolognaItaly

Personalised recommendations