ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Specifying and Enforcing Intertask Dependencies.

Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz: Specifying and Enforcing Intertask Dependencies. VLDB 1993: 134-145
@inproceedings{DBLP:conf/vldb/AttieSSR93,
  author    = {Paul C. Attie and
               Munindar P. Singh and
               Amit P. Sheth and
               Marek Rusinkiewicz},
  editor    = {Rakesh Agrawal and
               Se{\'a}n Baker and
               David A. Bell},
  title     = {Specifying and Enforcing Intertask Dependencies},
  booktitle = {19th International Conference on Very Large Data Bases, August
               24-27, 1993, Dublin, Ireland, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1993},
  isbn      = {1-55860-152-X},
  pages     = {134-145},
  ee        = {db/conf/vldb/AttieSSR93.html},
  crossref  = {DBLP:conf/vldb/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or workflows that access heterogeneous databases and legacy application systems. Most extended transaction models use conditions involving events or dependencies between transactions. Intertask dependencies can serve as a uniform framework for defining extended transaction models. In this paper, we introduce event attributes needed to determine whether a dependency is enforceable and to properly schedule events in extended transaction models. Using these attributes and a formalization of a dependency into the temporal logic CTL, we can automatically synthesize an automaton that captures the computations that satisfy the given dependency. We show how a set of such automata can be combined into a scheduler thatproduces global computations satisfying all relevant dependencies. We show how dependencies required to implement relaxed transactions such as Sagas can be enforced and discuss briefly the issues of concurrency control, safety, and recoverability.

Copyright © 1993 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Rakesh Agrawal, Seán Baker, David A. Bell (Eds.): 19th International Conference on Very Large Data Bases, August 24-27, 1993, Dublin, Ireland, Proceedings. Morgan Kaufmann 1993, ISBN 1-55860-152-X
Contents BibTeX

References

[ANRS92]
Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Amit P. Sheth: Using Flexible Transactions to Support Multi-System Telecommunication Applications. VLDB 1992: 65-76 BibTeX
[AE89]
Paul C. Attie, E. Allen Emerson: Synthesis of Concurrent Systems with Many Similar Sequential Processes. POPL 1989: 191-201 BibTeX
[ASRS92]
...
[AST92]
...
[BS88]
Yuri Breitbart, Abraham Silberschatz: Multidatabase Update Issues. SIGMOD Conference 1988: 135-142 BibTeX
[CA91]
...
[CG87]
Edmund M. Clarke, Orna Grumberg: Avoiding The State Explosion Problem in Temporal Logic Model Checking. PODC 1987: 294-303 BibTeX
[CR90]
Panos K. Chrysanthis, Krithi Ramamritham: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. SIGMOD Conference 1990: 194-203 BibTeX
[CR92]
Panos K. Chrysanthis, Krithi Ramamritham: ACTA: The SAGA Continues. Database Transaction Models for Advanced Applications 1992: 349-397 BibTeX
[DHL90]
Umeshwar Dayal, Meichun Hsu, Rivka Ladin: Organizing Long-Running Activities with Triggers and Transactions. SIGMOD Conference 1990: 204-214 BibTeX
[DHL91]
Umeshwar Dayal, Meichun Hsu, Rivka Ladin: A Transactional Model for Long-Running Activities. VLDB 1991: 113-122 BibTeX
[El92]
Ahmed K. Elmagarmid (Ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents BibTeX
[ELLR90]
Ahmed K. Elmagarmid, Yungho Leu, Witold Litwin, Marek Rusinkiewicz: A Multidatabase Transaction Model for InterBase. VLDB 1990: 507-518 BibTeX
[Em90]
...
[EC82]
E. Allen Emerson, Edmund M. Clarke: Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. Sci. Comput. Program. 2(3): 241-266(1982) BibTeX
[EMSS93]
...
[HR83]
Theo Härder, Andreas Reuter: Principles of Transaction-Oriented Database Recovery. ACM Comput. Surv. 15(4): 287-317(1983) BibTeX
[GS87]
Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259 BibTeX
[Gra81]
Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX
[GRS91]
Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth: On Serializability of Multidatabase Transactions Through Forced Local Conflicts. ICDE 1991: 314-323 BibTeX
[JNRS91]
...
[Kl91]
...
[MW84]
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984) BibTeX
[RSK91]
Marek Rusinkiewicz, Amit P. Sheth, George Karabatis: Specifying Interdatabase Dependencies in a Multidatabase Environment. IEEE Computer 24(12): 46-53(1991) BibTeX

Referenced by

  1. Stanley Y. W. Su, Ramamohanrao S. Jawadi, Prashant Cherukuri, Qiang Li, Richard Nartey: OSAM*.KBMS/P: A Parallel, Active, Object-Oriented Knowledge Base Server. IEEE Trans. Knowl. Data Eng. 10(1): 55-75(1998)
  2. Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33
  3. Mohan Kamath, Krithi Ramamritham: Failure Handling and Coordinated Execution of Concurrent Workflows. ICDE 1998: 334-341
  4. Sozo Inoue, Mizuho Iwaihara: Structured Message Management for Group Interaction. ER Workshops 1998: 396-407
  5. Jian Tang, San-Yih Hwang: A Scheme to Specify and Implement Ad-Hoc Recovery in Workflow Systems. EDBT 1998: 484-498
  6. Anthony J. Bonner: Modular Composition of Transaction Programs with Deductive Databases. DBPL 1997: 373-395
  7. Casimir J. Crawley, Omran A. Bukhres: Failure Handling in CORBAflow: A CORBA-Based Transactional Workflow Architecture. DASFAA 1997: 77-86
  8. Dimitrios Georgakopoulos, Mark F. Hornick, Frank Manola: Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation. IEEE Trans. Knowl. Data Eng. 8(4): 630-649(1996)
  9. Amit P. Sheth, Krys Kochut, John A. Miller, Devashish Worah, Souvik Das, Chenye Lin, Devanand Palaniswami, John Lynch, Ivan Shevchenko: Supporting State-Wide Immunisation Tracking Using Multi-Paradigm Workflow Technology. VLDB 1996: 263-273
  10. Dirk Wodtke, Jeanine Weißenfels, Gerhard Weikum, Angelika Kotz Dittrich: The Mentor Project: Steps Toward Enterprise-Wide Workflow Management. ICDE 1996: 556-565
  11. Munindar P. Singh: Synthesizing Distributed Constrained Events from Transactional Workflow. ICDE 1996: 616-623
  12. Qiming Chen, Umeshwar Dayal: A Transactional Nested Process Management System. ICDE 1996: 566-573
  13. Arthur H. M. ter Hofstede, Maria E. Orlowska, Jayantha Rajapakse: Verification Problems in Conceptual Workflow Specifications. ER 1996: 73-88
  14. Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Semantic Workflow Interoperability. EDBT 1996: 443-462
  15. Silvio Salza, Antonio Massari, Massimiliano Bruno: A Distributed Architecture for Integrated Access to Legacy Database Systems. ADBIS 1996: 109-115
  16. Gerti Kappel, S. Rausch-Schott, Werner Retschitzegger: A Transaction Model For Handling Composite Events. ADBIS 1996: 116-125
  17. Marek Rusinkiewicz, Wolfgang Klas, Thomas Tesch, Jürgen Wäsch, Peter Muth: Towards a Cooperative Transaction Model - The Cooperative Activity Model. VLDB 1995: 194-205
  18. Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Conceptual Modelling of WorkFlows. OOER 1995: 341-354
  19. Munindar P. Singh: Semantical Considerations on Workflows: An Algebra for Intertask Dependencies. DBPL 1995: 5
  20. Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie: An Event Algebra for Specifying and Scheduling Workflows. DASFAA 1995: 53-60
  21. Ramamohanrao S. Jawadi, Stanley Y. W. Su: Incorporating Flexible and Expressive Rule Control in a Graph-Based Transaction Framework. DASFAA 1995: 350-357
  22. Jian Tang, Jari Veijalainen: Transaction-oriented Work-flow Concepts in Inter-Organizational Environments. CIKM 1995: 250-259
  23. Munindar P. Singh, Christine Tomlinson, Darrell Woelk: Relaxed Transaction Processing. SIGMOD Conference 1994: 505
  24. Dimitrios Georgakopoulos, Mark F. Hornick, Piotr Krychniak, Frank Manola: Specification and Management of Extended Transactions in a Programmable Transaction Environment. ICDE 1994: 462-473
  25. Andrew Deacon, Hans-Jörg Schek, Gerhard Weikum: Semantics-Based Multilevel Transaction Management in Federated Systems. ICDE 1994: 452-461
  26. Marek Rusinkiewicz, Amit P. Sheth: Transactional Workflow Management in Distributed Systems (Invited Paper). ADBIS 1994: 18-33
  27. Leonid A. Kalinichenko: Homogeneous Localization of Structural Interactivity Dependencies in Megaprograms using Scripts. ADBIS 1994: 34-48
  28. Christine Tomlinson, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Darrell Woelk: Workflow Support in Carnot. IEEE Data Eng. Bull. 16(2): 33-36(1993)
  29. Amit P. Sheth, Marek Rusinkiewicz: On Transactional Workflows. IEEE Data Eng. Bull. 16(2): 37-40(1993)
  30. Darrell Woelk, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Christine Tomlinson: Task Scheduling Using Intertask Dependencies in Carot. SIGMOD Conference 1993: 491-494
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
 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:45:55 2009