Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen, Maria Rekouts

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

While specification languages for integrity constraints for XML data have been considered in the literature, actual technologies and methodologies for checking and maintaining integrity are still in their infancy. Triggers, or active rules, which are widely used in previous technologies for the purpose are still rather untested in XML databases.

We present the first steps towards a methodology for design and verification of triggers that maintain integrity in XML databases. Starting from a specification of the integrity constraints plus a collection of XPath expressions describing the possible updates, the method indicates trigger conditions and correctness criteria to be met by the trigger code supplied by a developer or possibly automatic methods. We show examples developed in the Sedna XML database system
which provides a running implementation of XML triggers.

Original languageEnglish
Title of host publication24th British National Conference on Databases : proceedings
Number of pages8
PublisherIEEE Computer Society Press
Publication date2007
Pages59-67
ISBN (Print)9780769529127, 0769529127
DOIs
Publication statusPublished - 2007
EventBNCODwebim, BNCOD Workshop on Web Information management - Glasgow, United Kingdom
Duration: 3 Jul 20075 Jul 2007

Conference

ConferenceBNCODwebim, BNCOD Workshop on Web Information management
CountryUnited Kingdom
CityGlasgow
Period03/07/200705/07/2007

Keywords

  • XML
  • databases
  • data integrity

Cite this

Christiansen, H., & Rekouts, M. (2007). Integrity Checking and Maintenance with Active Rules in XML Databases. In 24th British National Conference on Databases : proceedings (pp. 59-67). IEEE Computer Society Press. https://doi.org/10.1109/BNCOD.2007.13