Semantical Considerations on Workflows: An Algebra for Intertask Dependencies.

@inproceedings{DBLP:conf/dbpl/Singh95,
  author    = {Munindar P. Singh},
  editor    = {Paolo Atzeni and
               Val Tannen},
  title     = {Semantical Considerations on Workflows: An Algebra for Intertask
               Dependencies},
  booktitle = {Database Programming Languages (DBPL-5), Proceedings of the Fifth
               International Workshop on Database Programming Languages, Gubbio,
               Umbria, Italy, 6-8 September 1995},
  publisher = {Springer},
  series    = {Electronic Workshops in Computing},
  year      = {1995},
  isbn      = {3-540-76086-5},
  pages     = {5},
  ee        = {db/conf/dbpl/Singh95.html},
  crossref  = {DBLP:conf/dbpl/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 CD and click on the path of your mount point:
  /Anthology/An2-5 or /cdrom

• 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

References

[Agrawal et al., 1993]

Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh: Consistency and Orderability: Semantics-Based Correctness Criteria for Databases. ACM Trans. Database Syst. 18(3): 460-486(1993) BibTeX

[Attie et al., 1993]

Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz: Specifying and Enforcing Intertask Dependencies. VLDB 1993: 134-145 BibTeX

[Bernstein et al., 1987]

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

[Bonner &Kifer, 1993]

Anthony J. Bonner, Michael Kifer, Mariano P. Consens: Database Programming in Transaction Logic. DBPL 1993: 309-337 BibTeX

[Breitbart et al., 1993]

Yuri Breitbart, Andrew Deacon, Hans-Jörg Schek, Amit P. Sheth, Gerhard Weikum: Merging Application-centric and Data-centric Approaches to Support Transaction-oriented Multi-system Workflows. SIGMOD Record 22(3): 23-30(1993) BibTeX

[Chrysanthis &Ramamithram, 1992]

Panos K. Chrysanthis, Krithi Ramamritham: ACTA: The SAGA Continues. Database Transaction Models for Advanced Applications 1992: 349-397 BibTeX

[Dayal et al., 1993]

Umeshwar Dayal, Hector Garcia-Molina, Meichun Hsu, Ben Kao, Ming-Chien Shan: Third Generation TP Monitors: A Database Challenge. SIGMOD Conference 1993: 393-397 BibTeX

[Elmagarmid, 1992]

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

[Emerson, 1990]

E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072 BibTeX

[Garcia-Molina &Salem, 1987]

Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259 BibTeX

[Garcia-Molina et al., 1990]

...

[Gray &Reuter, 1993]

Jim Gray, Andreas Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents BibTeX

[Gray, 1981]

Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX

[Günthör, 1993]

Roger Günthör: Extended Transaction Processing Based on Dependency Rules. RIDE-IMS 1993: 207-214 BibTeX

[Hsu, 1993]

Heichun Hsu: Letter from the Special Issue Editor. IEEE Data Eng. Bull. 16(2): 3(1993) BibTeX

[Klein, 1991a]

...

[Klein, 1991b]

...

[Lipeck, 1990]

Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theor. Comput. Sci. 76(1): 115-142(1990) BibTeX

[Nodine, 1993]

Marian H. Nodine: Supporting Long-Running Tasks on an Evolving Multidatabase Using InterActions and Events. PDIS 1993: 125-132 BibTeX

[Pratt, 1990]

Vaughan R. Pratt: Action Logic and Pure Induction. JELIA 1990: 97-120 BibTeX

[Singh &Tomlinson, 1994]

Munindar P. Singh, Christine Tomlinson: Workflow Execution Through Distributed Events. COMAD 1994: 0- BibTeX

[Singh et al., 1994]

Munindar P. Singh, Christine Tomlinson, Darrell Woelk: Relaxed Transaction Processing. SIGMOD Conference 1994: 505 BibTeX

[Singh, 1996]

Munindar P. Singh: Synthesizing Distributed Constrained Events from Transactional Workflow. ICDE 1996: 616-623 BibTeX

[Wächter &Reuter, 1992]

Helmut Wächter, Andreas Reuter: The ConTract Model. Database Transaction Models for Advanced Applications 1992: 219-263 BibTeX

Referenced by

1. Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33
2. Anthony J. Bonner: Modular Composition of Transaction Programs with Deductive Databases. DBPL 1997: 373-395
3. Munindar P. Singh: Synthesizing Distributed Constrained Events from Transactional Workflow. ICDE 1996: 616-623