Conservative Type Extensions for XML Data

Jacques Chabin (1) , Mirian Halfeld Ferrari (1) , Martin A. Musicante (2) , Pierre Réty (1)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 DIMAp - Departamento de Informática e Matemática Aplicada [Natal]

We introduce a method for building a minimal XML type (belonging to standard class of regular tree grammars) as an extension of other given types. Not only do we propose an easy-to-handle XML type evolution method, but we prove that this method computes the smallest extension of a given tree grammar, respecting pre-established constraints. We also adapt our technique to an interactive context, where an advised user is guided to build a new XML type from existing ones. A basic prototype of our tool is implemented.

Domaines: Informatique et langage [cs.CL]

Jacques Chabin, Mirian Halfeld Ferrari, Martin A. Musicante, Pierre Réty. Conservative Type Extensions for XML Data. Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2013, LNCS, 7980 (IX). ⟨hal-00822430⟩