A Logic for Programming Database Transactions.
Anthony J. Bonner, Michael Kifer:
A Logic for Programming Database Transactions.
Logics for Databases and Information Systems 1998: 117-166@inproceedings{DBLP:conf/dagstuhl/BonnerK98,
author = {Anthony J. Bonner and
Michael Kifer},
editor = {Jan Chomicki and
Gunter Saake},
title = {A Logic for Programming Database Transactions},
booktitle = {Logics for Databases and Information Systems (the book grow out
of the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
1995)},
publisher = {Kluwer},
year = {1998},
pages = {117-166},
ee = {db/conf/dagstuhl/BonnerK98.html},
crossref = {DBLP:books/kl/ChomickiS98},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
CDROM Version: Load the CDROM "Volume 5 Issue 1, SSD, DPD, SIGIR Forum, ..." and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
BibTeX
BibTeX
Referenced by
- Anthony J. Bonner:
Workflow, Transactions, and Datalog.
PODS 1999: 294-305
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Logics for Databases and Information Systems: Copyright © by Kluwer Academic Publishers
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:04:49 2009