Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen; Maria Rekouts

doi:10.1109/BNCOD.2007.13

Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen, Maria Rekouts

Programmering, logik og intelligente systemer

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer 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.

Originalsprog	Engelsk
Titel	24th British National Conference on Databases : proceedings
Antal sider	8
Forlag	IEEE Computer Society Press
Publikationsdato	2007
Sider	59-67
ISBN (Trykt)	9780769529127, 0769529127
DOI	https://doi.org/10.1109/BNCOD.2007.13
Status	Udgivet - 2007
Begivenhed	BNCODwebim, BNCOD Workshop on Web Information management - Glasgow, Storbritannien Varighed: 3 jul. 2007 → 5 jul. 2007

Konference

Konference	BNCODwebim, BNCOD Workshop on Web Information management
Land/Område	Storbritannien
By	Glasgow
Periode	03/07/2007 → 05/07/2007

Emneord

XML
databaser
dataintegritet

Link til dokument

10.1109/BNCOD.2007.13

Integrity Checking and Maintenance with Active Rules in XML DatabasesForlagets udgivne version, 149 KB

Citer dette

@inproceedings{60db07b0fd3611db8d23000ea68e967b,

title = "Integrity Checking and Maintenance with Active Rules in XML Databases",

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 systemwhich provides a running implementation of XML triggers.",

keywords = "XML, databaser, dataintegritet, XML, databases, data integrity",

author = "Henning Christiansen and Maria Rekouts",

year = "2007",

doi = "10.1109/BNCOD.2007.13",

language = "English",

isbn = "9780769529127",

pages = "59--67",

booktitle = "24th British National Conference on Databases : proceedings",

publisher = "IEEE Computer Society Press",

note = "<em>BNCODwebim, BNCOD Workshop on Web Information management</em> ; Conference date: 03-07-2007 Through 05-07-2007",

}

TY - GEN

T1 - Integrity Checking and Maintenance with Active Rules in XML Databases

AU - Christiansen, Henning

AU - Rekouts, Maria

PY - 2007

Y1 - 2007

N2 - 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 systemwhich provides a running implementation of XML triggers.

AB - 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 systemwhich provides a running implementation of XML triggers.

KW - XML

KW - databaser

KW - dataintegritet

KW - XML

KW - databases

KW - data integrity

U2 - 10.1109/BNCOD.2007.13

DO - 10.1109/BNCOD.2007.13

M3 - Article in proceedings

SN - 9780769529127

SN - 0769529127

SP - 59

EP - 67

BT - 24th British National Conference on Databases : proceedings

PB - IEEE Computer Society Press

T2 - <em>BNCODwebim, BNCOD Workshop on Web Information management</em>

Y2 - 3 July 2007 through 5 July 2007

ER -