Database Transactions in a Purely Declarative Logic Programming Language.

@inproceedings{DBLP:conf/dasfaa/KempCHHRS97,
  author    = {David B. Kemp and
               Thomas Conway and
               Evan P. Harris and
               Fergus Henderson and
               Kotagiri Ramamohanarao and
               Zoltan Somogyi},
  editor    = {Rodney W. Topor and
               Katsumi Tanaka},
  title     = {Database Transactions in a Purely Declarative Logic Programming
               Language},
  booktitle = {Database Systems for Advanced Applications '97, Proceedings of
               the Fifth International Conference on Database Systems for Advanced
               Applications (DASFAA), Melbourne, Australia, April 1-4, 1997},
  publisher = {World Scientific},
  series    = {Advanced Database Research and Development Series},
  volume    = {6},
  year      = {1997},
  isbn      = {981-02-3107-5},
  pages     = {283-292},
  ee        = {db/conf/dasfaa/KempCHHRS97.html},
  crossref  = {DBLP:conf/dasfaa/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-3 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]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 BibTeX

[2]

Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279 BibTeX

[3]

Danette Chimenti, Anthony B. O'Hare, Ravi Krishnamurthy, Shalom Tsur, Carolyn West, Carlo Zaniolo: An Overview of the LDL System. IEEE Data Eng. Bull. 10(4): 52-62(1987) BibTeX

[4]

Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps: The Glue-Nail Deductive Database System: Design, Implementation, and Evaluation. VLDB J. 3(2): 123-160(1994) BibTeX

[5]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976) BibTeX

[6]

Jim Gray, Andreas Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents BibTeX

[7]

Theo Härder, Andreas Reuter: Principles of Transaction-Oriented Database Recovery. ACM Comput. Surv. 15(4): 287-317(1983) BibTeX

[8]

James Harland, Kotagiri Ramamohanarao: Constraint Propagation for Linear Recursive Rules. ICLP 1993: 683-699 BibTeX

[9]

...

[10]

David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi: Propagating Constraints in Recusive Deduction Databases. NACLP 1989: 981-998 BibTeX

[11]

David B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. ICLP 1993: 666-682 BibTeX

[12]

Werner Kießling, Helmut Schmidt, Werner Strauß, Gerhard Dünzinger: DECLARE and SDS: Early Efforts to Commercialize Deductive Database Technology. VLDB J. 3(2): 211-243(1994) BibTeX

[13]

C. Mohan, Donald J. Haderle, Bruce G. Lindsay, Hamid Pirahesh, Peter M. Schwarz: ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging. ACM Trans. Database Syst. 17(1): 94-162(1992) BibTeX

[14]

Chris Moss: Cut and Paste - defining the impure Primitives of Prolog. ICLP 1986: 686-694 BibTeX

[15]

...

[16]

Alan Mycroft, Richard A. O'Keefe: A Polymorphic Type System for Prolog. Artif. Intell. 23(3): 295-307(1984) BibTeX

[17]

Lee Naish, James A. Thom, Kotagiri Ramamohanarao: Concurrent Database Updates in PROLOG. ICLP 1987: 178-195 BibTeX

[18]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri: The CORAL Deductive System. VLDB J. 3(2): 161-210(1994) BibTeX

[19]

Zoltan Somogyi, Fergus Henderson, Thomas Conway: The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language. J. Log. Program. 29(1-3): 17-64(1996) BibTeX

[20]

Divesh Srivastava, Raghu Ramakrishnan: Pushing Constraint Selections. PODS 1992: 301-315 BibTeX

[21]

Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985) BibTeX

[22]

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Database System. VLDB J. 3(2): 245-288(1994) BibTeX

[23]

David Scott Warren: Database Updates in Pure Prolog. FGCS 1984: 244-253 BibTeX

[24]

Carlo Zaniolo, Reza Sadri: A Simple Model for Active Rules and their Behavior in Deductive Databases. Workshop on Deductive Databases and Logic Programming 1994: 13-26 BibTeX