A Path Removing Technique for Detecting Trigger Termination.

@inproceedings{DBLP:conf/edbt/LeeL98,
  author    = {Sin Yeung Lee and
               Tok Wang Ling},
  editor    = {Hans-J{\"o}rg Schek and
               F{\`e}lix Saltor and
               Isidro Ramos and
               Gustavo Alonso},
  title     = {A Path Removing Technique for Detecting Trigger Termination},
  booktitle = {Advances in Database Technology - EDBT'98, 6th International
               Conference on Extending Database Technology, Valencia, Spain,
               March 23-27, 1998, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1377},
  year      = {1998},
  isbn      = {3-540-64264-1},
  pages     = {341-355},
  ee        = {db/conf/edbt/LeeL98.html, http://link.springer.de/link/service/series/0558/bibs/1377/13770341.htm},
  crossref  = {DBLP:conf/edbt/98},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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/An5-2 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

Online Edition: Springer LINK

References

[1]

Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68 BibTeX

[2]

Elena Baralis, Stefano Ceri, Jennifer Widom: Better Termination Analysis for Active Databases. Rules in Database Systems 1993: 163-179 BibTeX

[3]

Elena Baralis, Stefano Ceri, Stefano Paraboschi: Improving Rule Analysis by Means of Triggering and Activation Graphs. Rules in Database Systems 1995: 165-181 BibTeX

[4]

Elena Baralis, Stefano Ceri, Stefano Paraboschi: Run-time Detection of Non-Terminating Active Rule Systems. DOOD 1995: 38-54 BibTeX

[5]

Umeshwar Dayal: Active Database Management Systems. JCDKB 1988: 150-169 BibTeX

[6]

Oscar Díaz, Norman W. Paton, Peter M. D. Gray: Rule Management in Object Oriented Databases: A Uniform Approach. VLDB 1991: 317-326 BibTeX

[7]

Anton P. Karadimce, Susan Darling Urban: Conditional Term Rewriting as a Formal Basis for Active Database Rules. RIDE-ADS 1994: 156-162 BibTeX

[8]

Anton P. Karadimce, Susan Darling Urban: Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database. ICDE 1996: 384-391 BibTeX

[9]

Sin Yeung Lee, Tok Wang Ling: Refined Termination Decision in Active Databases. DEXA 1997: 182-191 BibTeX

[10]

Kenneth A. Ross: Structural Totality and Constraint Stratification. PODS 1995: 184-195 BibTeX

[11]

Carlo Zaniolo: Active Database Rules with Transaction-Conscious Stable-Model Semantics. DOOD 1995: 55-72 BibTeX

Referenced by

1. Sin Yeung Lee, Tok Wang Ling: Unrolling Cycles to Decide Trigger Termination. VLDB 1999: 483-493
2. Yahia Rabih: Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems. ADBIS (Short Papers) 1999: 163-170