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@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}
}
BibTeX
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
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
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 (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:05:33 2009