Database Transactions in a Purely Declarative Logic Programming Language.

David B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi: Database Transactions in a Purely Declarative Logic Programming Language. DASFAA 1997: 283-292
  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
  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,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 3, SIGIR, DASFAA'97, OODBS'86" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


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
Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279 BibTeX
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
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
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
Jim Gray, Andreas Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents BibTeX
Theo Härder, Andreas Reuter: Principles of Transaction-Oriented Database Recovery. ACM Comput. Surv. 15(4): 287-317(1983) BibTeX
James Harland, Kotagiri Ramamohanarao: Constraint Propagation for Linear Recursive Rules. ICLP 1993: 683-699 BibTeX
David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi: Propagating Constraints in Recusive Deduction Databases. NACLP 1989: 981-998 BibTeX
David B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. ICLP 1993: 666-682 BibTeX
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
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
Chris Moss: Cut and Paste - defining the impure Primitives of Prolog. ICLP 1986: 686-694 BibTeX
Alan Mycroft, Richard A. O'Keefe: A Polymorphic Type System for Prolog. Artif. Intell. 23(3): 295-307(1984) BibTeX
Lee Naish, James A. Thom, Kotagiri Ramamohanarao: Concurrent Database Updates in PROLOG. ICLP 1987: 178-195 BibTeX
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri: The CORAL Deductive System. VLDB J. 3(2): 161-210(1994) BibTeX
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
Divesh Srivastava, Raghu Ramakrishnan: Pushing Constraint Selections. PODS 1992: 301-315 BibTeX
Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985) BibTeX
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
David Scott Warren: Database Updates in Pure Prolog. FGCS 1984: 244-253 BibTeX
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
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
DASFAA 1997 Proceedings: Copyright © by World Scientific Publishing Pte Ltd.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:05:33 2009