Effect preservation as a means for achieving update consistency

Mira Balaban, Steffen Jurk

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Abstract

Management of data systems must cope with changes, initiated by users or applications. Query answering in a frequently modified data system must be consistent with the updates. A natural expectation is that a fact that was successfully added, is retrievable as long as it was not intentionally removed. Active Databases do not meet this expectation, since contradicting rules may undo events that triggered them. In this paper, we associate database transactions with effects, and present a method that takes care of preserving the effects of updates. We introduce a compile-time effect preservation transformation that revises a transaction so to prevent contradictory updates, i.e., yields an effect preserving transaction. Our method yields an expressive and efficient transaction, since it is based on interleaving run-time sensitive analysis of effects within the compile-time transformation of a transaction. The interleaving and the compile-time reduction of effects account for the efficiency; the run-time sensitivity of effects accounts for the expressiveness. In the context of Active Databases this method can be used to statically revise a rule application plan, so to prevent contradictory updates. We claim that an effect preserving method should be integrated into every update and query processing system.

Original languageEnglish
Title of host publicationFlexible Query Answering Systems - 5th International Conference, FQAS 2002, Proceedings
EditorsTroels Andreasen, Henning Christiansen, Amihai Motro, Henrik Legind Larsen
PublisherSpringer Verlag
Pages28-43
Number of pages16
ISBN (Print)3540000747, 9783540000747
DOIs
StatePublished - 1 Jan 2002
Event5th International Conference on Flexible Query Answering Systems, FQAS 2002 - Copenhagen, Denmark
Duration: 27 Oct 200229 Oct 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2522 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Conference on Flexible Query Answering Systems, FQAS 2002
Country/TerritoryDenmark
CityCopenhagen
Period27/10/0229/10/02

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)

Fingerprint

Dive into the research topics of 'Effect preservation as a means for achieving update consistency'. Together they form a unique fingerprint.

Cite this