Referential Actions: From Logical Semantics to Implementation.

@inproceedings{DBLP:conf/edbt/LudascherM98,
  author    = {Bertram Lud{\"a}scher and
               Wolfgang May},
  editor    = {Hans-J{\"o}rg Schek and
               F{\`e}lix Saltor and
               Isidro Ramos and
               Gustavo Alonso},
  title     = {Referential Actions: From Logical Semantics to Implementation},
  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     = {404-418},
  ee        = {db/conf/edbt/LudascherM98.html, http://link.springer.de/link/service/series/0558/bibs/1377/13770404.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

[CPM96]

Roberta Cochrane, Hamid Pirahesh, Nelson Mendonça Mattos: Integrating Triggers and Declarative Constraints in SQL Database Sytems. VLDB 1996: 567-578 BibTeX

[Dat90]

...

[DD94]

C. J. Date, Hugh Darwen: A Guide to SQL Standard, 3rd Edition. Addison-Wesley 1993, ISBN 0-201-55822-X
BibTeX

[GL88]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[Hor92]

Bruce M. Horowitz: A Run-Time Execution Model for Referential Integrity Maintenance. ICDE 1992: 548-556 BibTeX

[ISO92]

...

[ISO95]

...

[LML96]

Bertram Ludäscher, Wolfgang May, Georg Lausen: Nested Transactions in a Logical Language for Active Rules. Logic in Databases 1996: 197-222 BibTeX

[LML97a]

Bertram Ludäscher, Wolfgang May, Georg Lausen: Referential Actions as Logic Rules. PODS 1997: 217-227 BibTeX

[LML97b]

...

[LMR96]

Bertram Ludäscher, Wolfgang May, Joachim Reinert: Towards a Logical Semantics for Referential Actions in SQL. FMLDO 1996: 57-72 BibTeX

[Mar94]

Victor M. Markowitz: Safe referential integrity and null constraint structures in relational databases. Inf. Syst. 19(4): 359-378(1994) BibTeX

[Prz88]

Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 BibTeX

[Rei96]

Joachim Reinert: Ambiguity for Referential Integrity Is Undecidable. CDB 1995: 132-147 BibTeX

[VG93]

Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. J. Comput. Syst. Sci. 47(1): 185-221(1993) BibTeX

[VGRS91]

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