A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates

Abstract

International audienceThis paper extends our previous work by showing our grammarware as a generic way for validating XML integrity constraints, both from scratch and incrementally during document updates. Indeed, our generic attribute grammar can stand for any XML constraint validator, provided that the constraint is defined with paths. We specify a common definition framework for seven classes of XML integrity constraints, we recall the validation principles, we detail the incremental validation under multiple updates, and we report on experimental results, focusing on the case of XML Functional Dependencies (XFD)

Approximate XML structure validation based on document–grammar tree similarity

“…12 XML data extracted from http://www.imdb.com/ using a dedicated wrapper generator 2 . 13 We were able to find only one XML file conforming to SigmodRecord.dtd: SigmodRecord.xml. However, due to its relatively large size (479 KB) w.r.t.…”

“…The methods exploit automatons and tree edit distance to identify the set of possible sub-tree corrections, such that their distances from the original sub-tree are within a given threshold. The approach is shown exponential in the size of document node fanout (maximum node degree), and has been exploited to incrementally validate XML integrity constraints defined as XML functional dependencies [13]. In [54,58] the authors extend document-to-grammar (DTD) correction to deal with more expressive XML schemas, represented as simple type tree grammars (where the left-hand side of a production rule may be surrounded by context information, consisting of terminal symbols), representing repairs as sequences of edit operations to alter XML trees.…”

Conditional functional dependencies validation for XML data: an approach based on attribute grammar

“…In a similar way, classical and conditional dependencies on XML data have been proposed for data semantic verification. Several approaches for XML functional dependencies have been proposed (Buneman et al, 2001;Liu et al, 2003;Wang and Topor, 2005;Shahriar and Liu, 2008;Bouchou et al, 2012;Tan and Zhang, 2011), and also for conditional functional dependencies (Vo et al, 2011).…”