Authors: Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini
Tags: 2012, conceptual modeling
In this paper we propose a framework for XML data and schema co-evolution that allows to check whether a user-proposed document adaptation (i.e., a sequence of document update operations intended to adapt the documents valid for a schema to a new schema) is guaranteed to produce a document valid for the updated schema. The proposed framework can statically determine, working only with the automata related to the original and modified schema, if the document update operation sequence will re-establish document validity, thus avoiding the very expensive run-time revalidation of the set of involved documents that is usually performed upon schema update.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-642-33999-8_8
