Skip to main content
Article thumbnail
Location of Repository

On Specifying the Reactive Behavior on Constraint Violations

By Michael Gertz


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:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (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.