Generating rules for incremental maintenance of XML view of relational data

This work addresses the problem of incremental maintenance of XML views defined on top of relational data. In order to incrementally maintain a XML view, event-condition-rules should be specified for the relational source. Such rules are responsible for correctly modifying the XML view content in order to reflect changes made to the base source.This work proposes an approach where incremental view maintenance rules are derived from view correspondence assertions, which specify relationships between the view schema and the base source schema. The adoption of correspondence assertions also facilitates the task of formally proving that the derived rules correctly maintain the view.