Location of Repository

On Specifying the Reactive Behavior on Constraint Violations

By Michael Gertz

Abstract

Recent approaches to integrity enforcement in active databases suggest not only to check for inconsistencies by triggers but also to utilize triggers to perform repair actions on constraint violations. Typically, respective repairing triggers are derived automatically from constraint specifications following almost fixed derivation strategies. However, in order to incorporate more semantic knowledge of the application these approaches often require refinements or even revisions of already derived integrity checking and inconsistency repairing triggers by the designer. In this paper we argue that analyzing and specifying repair actions on constraint violations should be also a design task and exclusively be carried out in the conceptual design. For this purpose, we provide a declarative specification language for repair actions on inconsistencies with an operational semantics, suitable to express most of the designers' intentions on the behavior on constraint violations. We describe a d..

Year: 1993
OAI identifier: oai:CiteSeerX.psu:10.1.1.31.4207
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www-b.informatik.uni-ha... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.