The PARK Semantics for Active Rules.

@inproceedings{DBLP:conf/edbt/GottlobMS96,
  author    = {Georg Gottlob and
               Guido Moerkotte and
               V. S. Subrahmanian},
  editor    = {Peter M. G. Apers and
               Mokrane Bouzeghoub and
               Georges Gardarin},
  title     = {The PARK Semantics for Active Rules},
  booktitle = {Advances in Database Technology - EDBT'96, 5th International
               Conference on Extending Database Technology, Avignon, France,
               March 25-29, 1996, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1057},
  year      = {1996},
  isbn      = {3-540-61057-X},
  pages     = {35-55},
  ee        = {db/conf/edbt/GottlobMS96.html},
  crossref  = {DBLP:conf/edbt/96},
  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]

Alejandro P. Buchmann: Active Object Systems. NATO ASI OODBS 1993: 201-224 BibTeX

[2]

Umeshwar Dayal, Eric N. Hanson, Jennifer Widom: Active Database Systems. Modern Database Systems 1995: 434-456 BibTeX

[3]

...

[4]

Piero Fraternali, Letizia Tanca: A Structured Approach for the Definition of the Semantics of Active Databases. ACM Trans. Database Syst. 20(4): 414-471(1995) BibTeX

[5]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991) BibTeX

[6]

Eric N. Hanson: Rule Condition Testing and Action Execution in Ariel. SIGMOD Conference 1992: 49-58 BibTeX

[7]

Phokion G. Kolaitis, Christos H. Papadimitriou: Why not Negation by Fixpoint? J. Comput. Syst. Sci. 43(1): 125-144(1991) BibTeX

[8]

...

[9]

V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming, Database Updates and Integrity Constraints. ICDT 1995: 368-382 BibTeX

[10]

Antoni Olivé: On the design and implementation of information systems from deductive conceptual models. VLDB 1989: 3-11 BibTeX

[11]

Philippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995: 126-138 BibTeX

[12]

Michael Stonebraker, Anant Jhingran, Jeffrey Goh, Spyros Potamianos: On Rules, Procedures, Caching and Views in Data Base Systems. SIGMOD Conference 1990: 281-290 BibTeX

[13]

Jennifer Widom, Sheldon J. Finkelstein: Set-Oriented Production Rules in Relational Database Systems. SIGMOD Conference 1990: 259-270 BibTeX

[14]

Carlo Zaniolo: A Unified Semantics for Active and Deductive Databases. Rules in Database Systems 1993: 271-287 BibTeX

Referenced by

1. Nicole Bidoit, Sofian Maabout: A Model Theoretic Approach to Update Rule Programs. ICDT 1997: 173-187