Semantics and implementation of schema evolution in object-oriented databases
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
SERF: schema evolution through an extensible, re-usable and flexible framework
Proceedings of the seventh international conference on Information and knowledge management
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
A Discipline of Programming
Schema and Database Evolution in the O2 Object Database System
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
A Flexible Approach for Instance Adaptation During Class Versioning
Proceedings of the International Symposium on Objects and Databases
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Formality, Evolution, and Model-driven Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
A Metamodel-Based Approach to Information Systems Evolution and Data Migration
ICSEA '10 Proceedings of the 2010 Fifth International Conference on Software Engineering Advances
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
Toward propagating the evolution of data warehouse on data marts
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Editorial: Data migration: A theoretical perspective
Data & Knowledge Engineering
| Hi-index | 0.00 |
Information systems often hold data of considerable complexity and value. Their continuing development or maintenance will often necessitate the 'migration' of this data from one version of the system to the next: a process that may be expensive, time-consuming, and prone to error. The cost, time, and reliability of data migration may be reduced in the context of modern, model-driven systems development: the requirements for data migration may be derived automatically from the list of proposed changes to the system model. This paper shows how this may be achieved through the definition of a 'language of changes'. It shows also how a formal semantics for this language allows us to verify that a proposed change is consistent with representational and semantic constraints, in advance of its application.