Stanford InfoLab Publication Server

Deriving Production Rules for Constraint Maintenance

Ceri, S. and Widom, J. (1990) Deriving Production Rules for Constraint Maintenance. In: VLDB, 1990.


PDF - Published Version


Traditionally, integrity constraints in database systems are maintained either by rolling back any transaction that produces an inconsistent state or by disallowing or modifying operations that may produce an inconsistent state. An alternative approach is to provide automatic "repair" of inconsistent states using production rules. For each constraint, a production rule is used to detect constraint violation and to initiate database operations that restore consistency. We describe an SQL-based language for defining integrity constraints and a framework for translating these constraints into constraint-maintaining production rules. Some parts of the translation are automatic while other parts require user intervention. Based on the semantics of our set-oriented production rules language and under certain assumptions, we prove that at the end of each transaction the rules are guaranteed to produce a state satisfying all defined constraints. We apply our approach to a good-sized example.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:active database, integrity, Starburst
Subjects:Computer Science
Related URLs:Project Homepage
ID Code:3
Deposited By:Import Account
Deposited On:25 Feb 2000 16:00
Last Modified:11 Nov 2008 12:24

Download statistics

Repository Staff Only: item control page