Skip to main content
SpringerLink
Log in

Schema Evolution and Versioning: A Logical and Computational Characterisation

  • Conference paper
  • First Online:
Database Schema Evolution and Meta-Modeling (DEMM 2000, FoMLaDO 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2065))

Abstract

In this paper we study the logical and computational properties of schema evolution and versioning support in object-oriented databases. To this end, we present the formalisation of a general model for an object base with evolving schemata and define the semantics of the provided schema change operations. We will then sketch how the encoding of such a framework in a suitable Description Logic will allow the introduction and solution of interesting reasoning tasks at global database and single schema version levels.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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.

    Article  MathSciNet  MATH  Google Scholar 

  2. A. Artale and E. Franconi. Schema integration of temporal databases. Technical report, University of Manchester, 1999.

    Google Scholar 

  3. A. Artale and E. Franconi. Temporal ER modeling with description logics. In Proc. of Int’l Conference on Conceptual Modeling (ER). Springer-Verlag, November 1999.

    Google Scholar 

  4. J. Banerjee, W. Kim, H.-J. Kim, and H. F. Korth. Semantics and Implementation of Schema Evolution in Object-Oriented Databases. In Proc. of ACM Int’l Conf. on Management of Data SIGMOD, May 1987.

    Google Scholar 

  5. 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.

    Article  MATH  Google Scholar 

  6. P. Bràche. Advanced Principles of Changing Schema of Object Databases. In Proc. of Int’l Conf. on Advanced Information Systems Engineering (CAiSE), May 1996.

    Google Scholar 

  7. 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 

  8. 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 

  9. D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. Journal of Artificial Intelligence Research, 11:199–240, 1999.

    MathSciNet  MATH  Google Scholar 

  10. T.-P. Chang and R. Hull. Using witness generators to support bi-directional update between object-based databases. In Proc. of ACM Int’l Symposium on Principles of Database Systems (PODS), 1995.

    Google Scholar 

  11. C. De Castro, F. Grandi, and M. R. Scalas. Schema Versioning for Multitemporal Relational Databases. Information Systems, 22(5):249–290, 1997.

    Article  MATH  Google Scholar 

  12. F. Ferrandina, T. Meyer, R. Zicari, G. Ferran, and J. Madec. Schema and Database Evolution in the O2 Object Database System. In Proc. of Int’l Conf. on Very Large Databases (VLDB), September 1995.

    Google Scholar 

  13. E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of Int’l Conf. on Rules and Objects in Databases (DOOD) as a stream of the First Int’l Conf. on Computational Logic (CL 2000). Springer-Verlag, July 2000.

    Google Scholar 

  14. F. Grandi and F. Mandreoli. ODMG Language Extensions for Generalized Schema Versioning Support. In Proc. of ECDM’99 Workshop (in conj. with ER Int’l Conf.), November 1999.

    Google Scholar 

  15. F. Grandi, F. Mandreoli, and M. R. Scalas. A Generalized Modeling Framework for Schema Versioning Support. In Proc. of Australasian Database Conf. (ADC), January 2000.

    Google Scholar 

  16. H. Gregersen and C. S. Jensen. Temporal Entity-Relationship Models-A Survey. IEEE Transaction on Knowledge and Data Engineering, 11(3):464–497, 1999.

    Article  Google Scholar 

  17. I. Horrocks. FaCT and iFaCT. In Proc. of Int’l Workshop on Description Logics (DL), 1999.

    Google Scholar 

  18. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of Int’l Conf. on Logic for Programming and Automated Reasoning (LPAR), 1999.

    Google Scholar 

  19. R. Hull and M. Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In Proc. of Int’l Conf. on Very Large Databases (VLDB’90), 1990.

    Google Scholar 

  20. R. Hull and M. Yoshikawa. On the equivalence of database restructuring involving object identifiers. In Proc. of ACM Int’l Symposium on Principles of Database Systems (PODS), 1991.

    Google Scholar 

  21. 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.

    Google Scholar 

  22. S.-E. Lautemann. A Propagation Mechanism for Populated Schema Versions. In Proc. of Int’l Conf. on Data Engineering (ICDE), April 1997.

    Google Scholar 

  23. S. Monk and I. Sommerville. A Model for Versioning of Classes in Object-Oriented Databases. In Proc. of British Nat’l Conf. on Databases (BNCOD), July 1992.

    Google Scholar 

  24. D. J. Penney and J. Stein. Class Modification in the GemStone object-oriented DBMS. In Proc. of Int’l Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), December 1987.

    Google Scholar 

  25. 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.

    Article  Google Scholar 

  26. J. F. Roddick. A Survey of Schema Versioning Issues for Database Systems. Information and Software Technology, 37(7):383–393, 1996.

    Article  Google Scholar 

  27. J. F. Roddick and R. T. Snodgrass. Schema Versioning. In The TSQL2 Temporal Query Language. Kluwer, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Manchester, Manchester, UK

    Enrico Franconi

  2. Università di Bologna, CSITE-CNR and DEIS, Bologna, Italy

    Fabio Grandi & Federica Mandreoli

Authors
  1. Enrico Franconi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabio Grandi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Federica Mandreoli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands

    Herman Balsters

  2. Faculty of Management and Organization, University of Groningen, P.O. Box 800, 9700 AV, Groningen, The Netherlands

    Bert de Brock

  3. Department of Computer Science, University of Munich, Oettingenstraße 67, 80538, Munich, Germany

    Stefan Conrad

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Franconi, E., Grandi, F., Mandreoli, F. (2001). Schema Evolution and Versioning: A Logical and Computational Characterisation. In: Balsters, H., de Brock, B., Conrad, S. (eds) Database Schema Evolution and Meta-Modeling. DEMM FoMLaDO 2000 2000. Lecture Notes in Computer Science, vol 2065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48196-6_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-48196-6_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42272-3

  • Online ISBN: 978-3-540-48196-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation