Abstract:
Consistency is an important property of database application systems. Given some integrity constraint on a database schema the problem is to guarantee that all transactio...Show MoreMetadata
Abstract:
Consistency is an important property of database application systems. Given some integrity constraint on a database schema the problem is to guarantee that all transactions preserve this constraint. We regard rule triggering systems and provide a theoretical analysis of their power with respect to the enforcement of constraints. We show that for certain constraint sets the effect of the rules is equivalent to canonically specializing transactions. Moreover, we present a theoretical extension of this specialization idea that captures also critical sets of constraints. However, the price for this generality is high, since linguistic reflection seems to be the only reasonable implementation technique.<>
Published in: Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems
Date of Conference: 14-15 February 1994
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-5360-4
No metrics found for this document.
