scientific article; zbMATH DE number 1244311
This paper studies integrity maintenance with rule triggering system, (RTS). The general idea is that, when certain event, e.g., insertion or deletion of a fact, violates some existing integrity constraints, an associated system of rules will be triggered and then executed to restore them. The research contained in this paper, besides discussing the usual termination, consistency, and determinacy expectations for such a system, suggests another requirement of effect preservation, i.e., while trying to restore the violated constraint, the system is also required to preserve the effect of the trouble making transition. The authors then study the implication of such a requirement. Their first conclusion is that there exist the so called non-repairable transitions, whose effects can't be preserved by any complete RTS, which is supposed to be able to restore any constraint violation in all cases. As their main result, the authors show that local stratification, which imposes certain partition on the constraint set, is a sufficient and necessary condition for any given complete RTS to satisfy the effect preservation requirement, i.e., a resulted database state, after applying such an RTS, will not directly contradict the effect of the initialing (repairable) transition. Since it is NP-hard to test if a given constraint set is locally stratified, an efficient, but merely sufficient, condition of stratification, is also suggested. As a practical and positive side of the story, it is shown that if a relational database with a constraint set is in Entity-Relationship normal form, then this associated constraint set must be stratified. The reviewer is looking forward to seeing further research to be carried out with other equally reasonable requirements, such as 'only preserve as many effects as possible depending on some measure on effects', as proposed in the paper.
- On the strength of rule triggering systems for integrity maintenance
- Consistency enforcement in Entity-Relationship and object-oriented models
- Effect preservation in transaction processing in rule triggering systems
- Integrity constraint enforcement by means of trigger templates
- On the computational complexity of minimal-change integrity maintenance in relational databases
- Foundations for a fourth normal form over SQL-like databases
- Semantics and Pragmatics of Integrity Constraints
- Consistency enforcement in Entity-Relationship and object-oriented models
- On the strength of rule triggering systems for integrity maintenance
- Integrity constraint enforcement by means of trigger templates
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4226263)
