ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Modular Composition of Transaction Programs with Deductive Databases.

Anthony J. Bonner: Modular Composition of Transaction Programs with Deductive Databases. DBPL 1997: 373-395
@inproceedings{DBLP:conf/dbpl/Bonner97,
  author    = {Anthony J. Bonner},
  editor    = {Sophie Cluet and
               Richard Hull},
  title     = {Modular Composition of Transaction Programs with Deductive Databases},
  booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
               Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1369},
  year      = {1997},
  isbn      = {3-540-64823-2},
  pages     = {373-395},
  ee        = {db/conf/dbpl/Bonner97.html},
  crossref  = {DBLP:conf/dbpl/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

References

[1]
Serge Abiteboul, Victor Vianu: Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41(2): 181-229(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz: Specifying and Enforcing Intertask Dependencies. VLDB 1993: 134-145 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
...
[6]
...
[7]
Anthony J. Bonner, Michael Kifer: Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases 1998: 166-196 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Anthony J. Bonner, Michael Kifer: An Overview of Transaction Logic. Theor. Comput. Sci. 133(2): 205-265(1994) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
...
[11]
Anthony J. Bonner, Michael Kifer: Concurrency and Communication in Transaction Logic. JICSLP 1996: 142-156 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
Panos K. Chrysanthis, Krithi Ramamritham: Synthesis of Extended Transaction Models Using ACTA. ACM Trans. Database Syst. 19(3): 450-491(1994) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
Umeshwar Dayal, Hector Garcia-Molina, Meichun Hsu, Ben Kao, Ming-Chien Shan: Third Generation TP Monitors: A Database Challenge. SIGMOD Conference 1993: 393-397 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
Ahmed K. Elmagarmid (Ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Ahmed K. Elmagarmid, Yungho Leu, Witold Litwin, Marek Rusinkiewicz: A Multidatabase Transaction Model for InterBase. VLDB 1990: 507-518 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
Jim Gray, Andreas Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
C. A. R. Hoare: Communicating Sequential Processes. Prentice-Hall 1985, ISBN 0-13-153271-5
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
...
[22]
...
[23]
Peter E. Lauer, Roy H. Campbell: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta Inf. 5: 297-332(1975) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[25]
...
[26]
Robin Milner: Operational and Algebraic Semantics of Concurrent Processes. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 1201-1242 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
...
[28]
Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[29]
Marian H. Nodine, Sridhar Ramaswamy, Stanley B. Zdonik: A Cooperative Transaction Model for Design Databases. Database Transaction Models for Advanced Applications 1992: 53-85 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[30]
Marek Rusinkiewicz, Amit P. Sheth: Specification and Execution of Transactional Workflows. Modern Database Systems 1995: 592-620 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[31]
Ehud Y. Shapiro: The Family of Concurrent Logic Programming Languages. ACM Comput. Surv. 21(3): 413-510(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[32]
Munindar P. Singh: Semantical Considerations on Workflows: An Algebra for Intertask Dependencies. DBPL 1995: 5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
...
[34]
Jan van Leeuwen (Ed.): Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics. Elsevier and MIT Press 1990, ISBN 0-444-88074-7,0-262-22039-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[35]
Helmut Wächter, Andreas Reuter: The ConTract Model. Database Transaction Models for Advanced Applications 1992: 219-263 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[36]
Gerhard Weikum, Hans-Jörg Schek: Concepts and Applications of Multilevel Transactions and Open Nested Transactions. Database Transaction Models for Advanced Applications 1992: 515-553 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Referenced by

  1. Anthony J. Bonner: Workflow, Transactions, and Datalog. PODS 1999: 294-305

Copyright © Mon Nov 2 20:29:27 2009 by Michael Ley (ley@uni-trier.de)