dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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}
}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 1, SSD, DPD, SIGIR Forum, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Last update Fri Sep 14 16:52:42 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page