Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database.

@inproceedings{DBLP:conf/icde/KaradimceU96,
  author    = {Anton P. Karadimce and
               Susan Darling Urban},
  editor    = {Stanley Y. W. Su},
  title     = {Refined Triggering Graphs: A Logic-Based Approach to Termination
               Analysis in an Active Object-Oriented Database},
  booktitle = {Proceedings of the Twelfth International Conference on Data Engineering,
               February 26 - March  1, 1996, New Orleans, Louisiana},
  publisher = {IEEE Computer Society},
  year      = {1996},
  isbn      = {0-8186-7240-4},
  pages     = {384-391},
  ee        = {db/conf/icde/KaradimceU96.html},
  crossref  = {DBLP:conf/icde/96},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1996 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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-7 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

References

[1]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 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, Jennifer Widom: Better Termination Analysis for Active Databases. Rules in Database Systems 1993: 163-179 BibTeX

[4]

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

[5]

Nachum Dershowitz: Termination. RTA 1985: 180-224 BibTeX

[6]

...

[7]

...

[8]

...

[9]

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

[10]

...

[11]

Alberto Martelli, Ugo Montanari: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282(1982) BibTeX

[12]

José Meseguer: A Logical Theory of Concurrent Objects. OOPSLA/ECOOP 1990: 101-115 BibTeX

[13]

Norman W. Paton, Oscar Díaz, M. Howard Williams, Jack Campin, Andrew Dinn, Arturo Jaime: Dimensions of Active Behaviour. Rules in Database Systems 1993: 40-57 BibTeX

[14]

...

[15]

Gert Smolka: Feature-Constraint Logics for Unification Grammars. J. Log. Program. 12(1&2): 51-87(1992) BibTeX

[16]

Yuli Zhou, Meichun Hsu: A Theory for Rule Triggering Systems. EDBT 1990: 407-421 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
3. Sin Yeung Lee, Tok Wang Ling: A Path Removing Technique for Detecting Trigger Termination. EDBT 1998: 341-355
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