Paper 6

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

Authors: Béatrice Bouchou, Mirian Halfeld Ferrari, and Maria Adriana Vidigal Lima

Volume 6 (2012)

Abstract

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