Find a copy in the library
Finding libraries that hold this item...
|All Authors / Contributors:||
Stefano Ceri; Jennifer Widom
|Description:||46 p. : ill. ; 28 cm.|
|Series Title:||International Business Machines Corporation.; Research Division.; Research report|
|Responsibility:||S. Ceri, J. Widom.|
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."