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

Mirian Halfeld Ferrari (1) , Béatrice Bouchou (2) , Maria Adriana Lima (3)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 BDTLN - Bases de données et traitement des langues naturelles
3 UFU

This 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).

Mots clés: XML; functional dependencies; constraint validation; attribute grammar

Domaines: Base de données [cs.DB]

Mirian Halfeld Ferrari, Béatrice Bouchou, Maria Adriana Lima. A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates. T. Large-Scale Data- and Knowledge-Centered Systems, 2012, 6, pp.167-197. ⟨10.1007/978-3-642-34179-3_6⟩. ⟨hal-00738287⟩