Title :
XML Document Correction: Incremental Approach Activated by Schema Validation
Author :
Bouchou, Bèatrice ; Cheriat, Ahmed ; Ferrari, Mirian Halfeld ; Savary, Agata
Author_Institution :
Univ. Francois Rabelais Tours, Blois
Abstract :
Updating XML documents submitted to schema constraints requires incremental validation, i.e. checking the parts of the document concerned by the updates. We propose to correct subtrees for which re-validation fails: if the validator fails at node p, a correction routine is called in order to compute corrections of the subtree rooted at p, within a given threshold. Then validation continues. In the correction process, we limit ourselves to single typed tree language. The correction routine uses trees edit distance matrices. Different correction versions are proposed to the user
Keywords :
XML; formal languages; formal specification; matrix algebra; XML document correction; distance matrix; schema validation; tree language; Automata; Costs; Performance evaluation; Proposals; Testing; XML;
Conference_Titel :
Database Engineering and Applications Symposium, 2006. IDEAS '06. 10th International
Conference_Location :
Delhi
Print_ISBN :
0-7695-2577-6
DOI :
10.1109/IDEAS.2006.54