Schema Evolution and Versioning: A Logical and Computational Characterisation

Franconi, Enrico; Grandi, Fábio; Mandreoli, Federica

doi:10.1007/3-540-48196-6_5

Cited by 15 publications

(10 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Finally, also our previous work [43,44] concerned a formal characterization of the schema evolution process in an object-oriented database. We formalized the notion of schema version and the interschema relationships induced by schema changes using an encoding in Description Logics [45].…”

Section: Related Work and Discussionmentioning

confidence: 99%

“…complete database) level, which can be solved using the inference engine of the Description Logic. However, we did not consider the change propagation problem in [43,44]: we actually assumed dealing with a single database instance, compatible with every derivable schema version, as the only way to ensure portability of applications compiled with past schema versions. An extreme consequence of such an approach is the introduction of a strong notion of "monotonicity": all the legal instances of the schema version resulting from a schema change were also legal with respect to the schema version which has been modified, so that there is no need for change propagation at all.…”

Section: Related Work and Discussionmentioning

confidence: 99%

See 1 more Smart Citation

A formal model for temporal schema versioning in object-oriented databases

Grandi

Mandreoli

2003

Data & Knowledge Engineering

Self Cite

View full text Add to dashboard Cite

In this paper we present a formal model for the support of temporal schema versions in object-oriented databases. Its definition is partially based on a generic (ODMG compatible) object model and partially introduces new concepts. The proposed model supports all the schema changes which are usually considered in the OODB literature, for which an operational semantics and a formal analysis of their correct behaviour is provided. Semantic issues arising from the introduction of temporal schema versioning in a conventional or temporal database (concerning the interaction between the intensional and extensional levels of versioning and the management of data in the presence of multiple schema versions) are also considered.

show abstract

Section: Related Work and Discussionmentioning

confidence: 99%

Section: Related Work and Discussionmentioning

confidence: 99%

A formal model for temporal schema versioning in object-oriented databases

Grandi

Mandreoli

2003

Data & Knowledge Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…This section presents a model of updates that particularly emphasizes the generation of transformation functions -contrary to previous models [39], [40].…”

Section: The Escher Model Of Object-oriented Software Evolutionmentioning

confidence: 99%

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support

Piccioni

Manuel

Meyer

2013

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

With the wide support for object serialization in object-oriented programming languages, persistent objects have become common place and most large object-oriented software systems rely on extensive amounts of persistent data. Such systems also evolve over time. Retrieving previously persisted objects from classes whose schema has changed is however difficult, and may lead to invalidating the consistency of the application. The ESCHER framework addresses these issues through an IDE-integrated approach that handles class schema evolution by managing versions of the code and generating transformation functions automatically. The infrastructure also enforces class invariants to prevent the introduction of potentially corrupt objects. This article describes a model for class attribute changes, a measure for class evolution robustness, four empirical studies, and the design and implementation of the ESCHER system.

show abstract

“…Schema evolution has also been studied in the context of model managementresearch which aims at developing a systematic approach to schema management and mapping (Bernstein, 2003). Other interesting approaches tackled the problem of schema evolution in XML (Moro et al, 2007), data warehouse (Rizzi and Golfarelli, 2007) and object-oriented databases (Galante et al, 2005;Franconi et al, 2001).…”

Section: Introductionmentioning

confidence: 99%

SCHEMA EVOLUTION IN WIKIPEDIA - Toward a Web Information System Benchmark

Curino

Moon

Tanca

et al. 2008

Proceedings of the Tenth International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

Abstract:Evolving the database that is at the core of an Information System represents a difficult maintenance problem that has only been studied in the framework of traditional information systems. However, the problem is likely to be even more severe in web information systems, where open-source software is often developed through the contributions and collaboration of many groups and individuals. Therefore, in this paper, we present an indepth analysis of the evolution history of the Wikipedia database and its schema; Wikipedia is the best-known example of a large family of web information systems built using the open-source software MediaWiki. Our study is based on: (i) a set of Schema Modification Operators that provide a simple conceptual representation for complex schema changes, and (ii) simple software tools to automate the analysis. This framework allowed us to dissect and analyze the 4.5 years of Wikipedia history, which was short in time, but intense in terms of growth and evolution. Beyond confirming the initial hunch about the severity of the problem, our analysis suggests the need for developing better methods and tools to support graceful schema evolution. Therefore, we briefly discuss documentation and automation support systems for database evolution, and suggest that the Wikipedia case study can provide the kernel of a benchmark for testing and improving such systems.

show abstract

Schema Evolution and Versioning: A Logical and Computational Characterisation

Cited by 15 publications

References 21 publications

A formal model for temporal schema versioning in object-oriented databases

A formal model for temporal schema versioning in object-oriented databases

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support

SCHEMA EVOLUTION IN WIKIPEDIA - Toward a Web Information System Benchmark

Contact Info

Product

Resources

About