Abstract Interpretation of Active Rules and its Use in Termination Analysis.

@inproceedings{DBLP:conf/icdt/BaileyCRS97,
  author    = {James Bailey and
               Lobel Crnogorac and
               Kotagiri Ramamohanarao and
               Harald S{\o}ndergaard},
  editor    = {Foto N. Afrati and
               Phokion G. Kolaitis},
  title     = {Abstract Interpretation of Active Rules and its Use in Termination
               Analysis},
  booktitle = {Database Theory - ICDT '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1186},
  year      = {1997},
  isbn      = {3-540-62222-5},
  pages     = {188-202},
  ee        = {db/conf/icdt/BaileyCRS97.html},
  crossref  = {DBLP:conf/icdt/97},
  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/An2-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

References

[1]

Samson Abramsky, Chris Hankin (Eds.): Abstract Interpretation of Declarative Languages. Ellis Horwood 1987, ISBN 0-7458-0109-9
BibTeX

[2]

Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68 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]

Elena Baralis, Jennifer Widom: An Algebraic Approach to Rule Analysis in Expert Database Systems. VLDB 1994: 475-486 BibTeX

[6]

Thierry Coupaye, Christine Collet: Denotational Semantics for an Active Rule Execution Model. Rules in Database Systems 1995: 36-50 BibTeX

[7]

Patrick Cousot, Radhia Cousot: Abstract Interpretation and Application to Logic Programs. J. Log. Program. 13(2&3): 103-179(1992) BibTeX

[8]

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

[9]

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

[10]

Kim Marriott, Harald Søndergaard, Neil D. Jones: Denotational Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 16(3): 607-648(1994) BibTeX

[11]

Leonie van der Voort, Arno Siebes: Termination and Confluence of Rule Execution. CIKM 1993: 245-255 BibTeX

[12]

Jennifer Widom: A Denotational Semantics for the Starburst Production Rule Language. SIGMOD Record 21(3): 4-9(1992) BibTeX