Termination and Confluence of Rule Execution.

@inproceedings{DBLP:conf/cikm/VoortS93,
  author    = {Leonie van der Voort and
               Arno Siebes},
  editor    = {Bharat K. Bhargava and
               Timothy W. Finin and
               Yelena Yesha},
  title     = {Termination and Confluence of Rule Execution},
  booktitle = {CIKM 93, Proceedings of the Second International Conference on
               Information and Knowledge Management, Washington, DC, USA, November
               1-5, 1993},
  publisher = {ACM},
  year      = {1993},
  isbn      = {0-89791-626-3},
  pages     = {245-255},
  ee        = {db/conf/cikm/VoortS93.html, http://doi.acm.org/10.1145/170088.170142},
  crossref  = {DBLP:conf/cikm/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1993 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-4 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

Online Edition

Referenced by

1. Sin Yeung Lee, Tok Wang Ling: Unrolling Cycles to Decide Trigger Termination. VLDB 1999: 483-493
2. Elena Baralis, Stefano Ceri, Stefano Paraboschi: Compile-Time and Runtime Analysis of Active Behaviors. IEEE Trans. Knowl. Data Eng. 10(3): 353-370(1998)
3. James Bailey, Guozhu Dong, Kotagiri Ramamohanarao: Decidability and Undecidability Results for the Termination Problem of Active Database Rules. PODS 1998: 264-273
4. James Bailey, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard: Abstract Interpretation of Active Rules and its Use in Termination Analysis. ICDT 1997: 188-202
5. Elena Baralis, Stefano Ceri, Stefano Paraboschi: Modularization Techniques for Active Rules Design. ACM Trans. Database Syst. 21(1): 1-29(1996)
6. Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
   Contents
7. Elena Baralis, Jennifer Widom: An Algebraic Approach to Rule Analysis in Expert Database Systems. VLDB 1994: 475-486