(Enter summary)
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... (Update)
Context of citations to this paper: More
...up to date in this area have paid little attention in efficiency issues. A significative exception is the work performed by Gertz [Ger93, Ger94]. Gertz proposes to carry out at definition time the analysis and the specification of reactions on constraint violations. He provides...
...date in this area have paid little attention in efficiency issues. A significative exception is the work performed by Gertz in [Ger93, Ger94, GL93], which is considered in detail in the following subsection. 6.1 Gertz s Approach [Ger93, Ger94] Gertz proposes to carry out at...
Cited by: More
Analysing the Process of Enforcing Integrity Constraints - Mayol, Teniente (1996)
(Correct)
Structuring the Process of Integrity Maintenance - Mayol, Teniente (1997)
(Correct)
Active bibliography (related documents): More All
2.0: Specifying Reactive Integrity Control for Active Databases - Gertz (1994)
(Correct)
1.8: Deriving Optimized Integrity Monitoring Triggers from Dynamic.. - Gertz, Lipeck (1996)
(Correct)
1.8: Deriving Integrity Maintaining Triggers from Transition Graphs - Gertz, Lipeck (1993)
(Correct)
Similar documents based on text: More All
0.3: A Diagnostic Approach to Repairing Constraint Violations in.. - Gertz, Lipeck (1995)
(Correct)
0.2: An Extensible Framework for Repairing Constraint Violations - Gertz, Lipeck (1996)
(Correct)
0.2: A Visual Query Language for Temporal Databases - Kouramajian, Gertz (1995)
(Correct)
Related documents from co-citation: More All
3: Integrity Checking in Deductive Databases (context) - Olive - 1991
3: Comparing and Synthesising Integrity Checking Methods for Deductive Databases (context) - Garcia, Celma et al. - 1994
3: Updates: A new frontier (context) - Abiteboul - 1988
BibTeX entry: (Update)
Gertz, M. "On Specifying the Reactive Behavior on Constraint Violations", Informatik-Berichte 2/93, Institut für Informatik, Universität Hannover, 1993. - 7 - http://citeseer.ist.psu.edu/article/gertz93specifying.html More
@misc{ gertz93specifying,
author = "M. Gertz",
title = "On Specifying the Reactive Behavior on Constraint Violations",
text = "Gertz, M. On Specifying the Reactive Behavior on Constraint Violations,
Informatik-Berichte 2/93, Institut für Informatik, Universität Hannover,
1993. - 7 -",
year = "1993",
url = "citeseer.ist.psu.edu/article/gertz93specifying.html" }
Citations (may not include all citations):
16
Widom: Deriving Production Rules for Constraint Maintenance (context) - Ceri - 1990
12
Lee: Symbolic Logic and Mechanical Theorem Proving (context) - Chang - 1973
11
Finkelstein: Set-Oriented Production Rules in Relational Dat.. (context) - Widom - 1990
11
Hull: IFO: A Formal Semantic Database Model (context) - Abiteboul - 1987
11
Lipeck: Deriving Integrity Maintaining Triggers from Transit.. (context) - Gertz - 1993
9
Thalheim: Computing Consistent Transactions (context) - Schewe - 1992
5
Lindsay: Implementing Set-Oriented Production Rules as an Ex.. (context) - Widom, Cochrane - 1991
5
Information Systems (context) - Noble, Generation et al. - 1983
5
McLeod: Semantic Integrity in a Relational Database System (context) - Hammer - 1975
5
Chamberlin: Functional Specifications of a Subsystem for Dat.. (context) - Eswaran - 1975
4
Lockemann: Reactive Consistency Control in Deductive Databas.. (context) - Moerkotte - 1991
4
Valduriez: Design and Implementation of an Extendible Integr.. (context) - Simon - 1984
4
Darwen: A Guide to the SQL Standard (context) - Date - 1993
4
McPherson: Starburst Mid-Flight: As the Dust Clears (context) - Haas, Chang et al. - 1990
3
University of Twente (context) - de By, of et al. - 1991
3
Rajagopalan: A Method to Eliminate Avoidable Checking of Int.. (context) - Ling - 1984
3
Desiderio: CONTEXT: A CONstrainT EXplanation Tool (context) - Urban - 1992
3
Nannapaneni: The Implementation and Evaluation of Integrity .. (context) - Urban, Karadimce - 1992
2
Topor: Safety and Translation of Relational Calculus Queries (context) - van Gelder - 1991
2
Chaching and View in Database Systems (context) - Stonebraker, Jhingran et al. - 1990
2
Hellerstein: Behavior of Database Production Rules: Terminat.. (context) - Aiken, Widom - 1992
2
Chu: Update Dependencies (context) - Mark, Roussopoulos - 1985
1
Finkelstein: A Syntax and Semantics for Set-Oriented Product.. (context) - Widom - 1989
1
Topor: A Basis for Deductive Database Systems (context) - Lloyd - 1985
1
Raiha: Automatic Generation of Test Data for Relational Quer.. (context) - Mannila - 1989
1
Urban: Diagnosing Anomalous Rule Behaviour in Databases with.. (context) - Karadimce - 1990
1
McLeod: Derived Data Update in Semantic Databases (context) - Chen - 1989
1
IEEE Computer Science Press (context) - Ullman, Database et al. - 1988
1
Lockemann: Generating Consistent Test Data: Restricting the .. (context) - Neufeld, Moerkotte - 1993
1
Siebes: Termination and Confluence of Rule Execution (context) - van der Voort - 1993
Documents on the same site (http://www-b.informatik.uni-hannover.de/ftp/papers/1993/index1993.html): More
Instantiation Semantics of Temporal Defaults - Brass, Lipeck, Resende (1993)
(Correct)
Deduction with Supernormal Defaults - Brass (1993)
(Correct)
Bottom-Up Query Evaluation with Partially Ordered Defaults - Brass, Lipeck (1993)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC