Workflow, Transactions, and Datalog.

@inproceedings{DBLP:conf/pods/Bonner99,
  author    = {Anthony J. Bonner},
  title     = {Workflow, Transactions, and Datalog},
  booktitle = {Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia,
               Pennsylvania},
  publisher = {ACM Press},
  year      = {1999},
  isbn      = {1-58113-062-7},
  pages     = {294-305},
  ee        = {http://doi.acm.org/10.1145/303976.304005, db/conf/pods/Bonner99.html},
  crossref  = {DBLP:conf/pods/99},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1999 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD DiSC

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/DISC001 or /cdrom

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

Online Edition: ACM Digital Library

References

[1]

Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents BibTeX

[2]

...

[3]

Serge Abiteboul, Victor Vianu: Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41(2): 181-229(1990) BibTeX

[4]

Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) BibTeX

[5]

Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha: Relational Transducers for Electronic Commerce. PODS 1998: 179-187 BibTeX

[6]

...

[7]

Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX

[8]

Anthony J. Bonner: Modular Composition of Transaction Programs with Deductive Databases. DBPL 1997: 373-395 BibTeX

[9]

...

[10]

Anthony J. Bonner, Michael Kifer: Concurrency and Communication in Transaction Logic. JICSLP 1996: 142-156 BibTeX

[11]

Anthony J. Bonner, Michael Kifer: A Logic for Programming Database Transactions. Logics for Databases and Information Systems 1998: 117-166 BibTeX

[12]

Anthony J. Bonner, Michael Kifer: The State of Change: A Survey. Transactions and Change in Logic Databases 1998: 1-36 BibTeX

[13]

...

[14]

...

[15]

Anthony J. Bonner, Adel Shrufi, Steve Rozen: LabFlow-1: A Database Benchmark for High-Throughput Workflow Management. EDBT 1996: 463-478 BibTeX

[16]

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX

[17]

Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128(1982) BibTeX

[18]

Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer: Alternation. J. ACM 28(1): 114-133(1981) BibTeX

[19]

Søren Christensen, Yoram Hirshfeld, Faron Moller: Decidable Subsets of CCS. Comput. J. 37(4): 233-242(1994) BibTeX

[20]

...

[21]

Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33 BibTeX

[22]

Umeshwar Dayal, Qiming Chen: From Database Programming to Business Process Programming. DBPL 1995: 1 BibTeX

[23]

Doron Drusinsky, David Harel: On the Power of Bounded Concurrency I: Finite Automata. J. ACM 41(3): 517-539(1994) BibTeX

[24]

Ahmed K. Elmagarmid (Ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents BibTeX

[25]

...

[26]

Dimitrios Georgakopoulos, Mark F. Hornick, Amit P. Sheth: An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3(2): 119-153(1995) BibTeX

[27]

David Harel: Statecharts: A Visual Formulation for Complex Systems. Sci. Comput. Program. 8(3): 231-274(1987) BibTeX

[28]

David Harel: A Thesis for Bounded Concurrency. MFCS 1989: 35-48 BibTeX

[29]

...

[30]

John E. Hopcroft, Jeffrey D. Ullman: Introduction to Automata Theory, Languages and Computation. Addison-Wesley 1979, ISBN 0-201-02988-X
BibTeX

[31]

...

[32]

...

[33]

Neil Immerman: Relational Queries Computable in Polynomial Time (Extended Abstract). STOC 1982: 147-152 BibTeX

[34]

Neil D. Jones, Lawrence H. Landweber, Y. Edmund Lien: Complexity of Some Problems in Petri Nets. Theor. Comput. Sci. 4(3): 277-299(1977) BibTeX

[35]

...

[36]

...

[37]

...

[38]

...

[39]

...

[40]

Dirk Taubner: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. Lecture Notes in Computer Science Vol. 369 Springer 1989, ISBN 3-540-51525-9
BibTeX

[41]

Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146 BibTeX

[42]

Dirk Wodtke, Gerhard Weikum: A Formal Foundation for Distributed Workflow Execution Based on State Charts. ICDT 1997: 230-246 BibTeX