Toward Automated Schema-directed Code Revision

Raquel Oliveira (1) , Pierre Genevès (1) , Nabil Layaïda (1)

1 WAM - Web, adaptation and multimedia

Updating XQuery programs in accordance with a change of the input XML schema is known to be a time-consuming and error-prone task. We propose an automatic method aimed at helping developers realign the XQuery program with the new schema. First, we introduce a taxonomy of possible problems induced by a schema change. This allows to differentiate problems according to their severity levels, e.g. errors that require code revision, and semantic changes that should be brought to the developer's attention. Second, we provide the necessary algorithms to detect such problems using a solver that checks satisfiability of XPath expressions.

Domaines: Génie logiciel [cs.SE]; Base de données [cs.DB]

Raquel Oliveira, Pierre Genevès, Nabil Layaïda. Toward Automated Schema-directed Code Revision. DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361377⟩. ⟨hal-00734678⟩