XML Document Correction and XQuery Analysis with Analyzer
Jakub Stárka, Martin Svoboda, Jiří Schejbal, Irena Holubová, David Bednárek · DATESO · 2011
This paper describes extensions of our previously proposed SW prototype - Analyzer, a framework for performing statistical anal- yses of real-world XML data. Firstly, it describes the design and imple- mentation of a system for the analysis of collection of XQuery programs. It is based on the frequency of the occurrence of various language con- structs and their combinations defined by the user. In the core of the sys- tem, the XQuery program is converted to a suitable XML representation which allows for analytical queries formulated in the XPath language. Secondly, we introduce the model involving repairs of elements and at- tributes with respect to single-type tree grammars. Via the inspection of the state space of an automaton recognising regular expressions, we are always able to find all minimal repairs represented by recursively nested multigraphs, which can be translated to particular sequences of edit operations altering data trees. We have proposed four particular al- gorithms and provided the prototype implementation supplemented with experimental results.