L. van der Voort, A. Siebes: Termination and Confluence of Rule Execution. Technical report, CWI, Amsterdam, The Netherlands, 1993.  Home/Search   Document Not in Database   Summary   Related Articles

....after r # C . 4.3 Cycles The most critical elements when executing repair actions by triggers at run time are cycles since they may lead to non termination of the repair process. Although a lot of papers have discussed the problem of cycles in the context of static analysis of production rules [CW90, KU90, AWH92, vdVS93], a general solution on handling cycles cannot be given. To forbid the specification of cycles seems not to be a pragmatic solution, either, since even simple cascading deletions and updates thus would be prevented. Based on our patterns of repair actions a cycle is formally defined as follows: ....

....section 4.3 cycles of constraint check and repair actions may cause nontermination. We now want to give some ideas of how to monitor cycles, but also which problems arise with approaches monitoring cycles. For further discussions on detecting and maintaining cycles at run time see, e.g. KU90] or [vdVS93]. Again, we start our considerations with the most simple type of cycles, i.e. a repair action r # C of a constraint C such that # # op(r # C ) holds. For this, consider the following reaction on violations of constraint C 1 by updates on the relation emp (i.e. # = U emp ) r # C 1 # # ....

L. van der Voort, A. Siebes: Termination and Confluence of Rule Execution. Technical report, CWI, Amsterdam, The Netherlands, 1993.

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