Specifying and Enforcing Intertask Dependencies

Summary: Intertask dependencies provide a uniform framework for extended transactions across heterogeneous systems. Event attributes define enforceability and scheduling; CTL-based formalization yields automata that compose into a global scheduler, enabling Saga-like relaxations and addressing concurrency control, safety, and recoverability. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: h2b616f1f77932af4
Venue: VLDB
Year: 1993
Pagerank: 7.515319e-05
Overall Rank: 3,211 | 78.48%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Paul C. Attie (Microelectronics And Technology Computer Corporation)
2. Munindar P. Singh (Microelectronics And Technology Computer Corporation)
3. Amit Sheth (Bell Communications Research)
4. Marek Rusinkiewicz (University of Houston)

BibTeX Citation

@article{attie_vldb93,
        title = {{Specifying and Enforcing Intertask Dependencies}},
        author = {Attie, Paul C. and Singh, Munindar P. and Sheth, Amit and Rusinkiewicz, Marek},
        journal = {PVLDB},
        series = {{VLDB} '93},
        pages = {134},
        year = {1993}
}

Incoming Citations (Sorted by Pagerank)

Showing 8 of 8 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,709	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	8.0906654e-05
8,478	A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints	2002	VLDB	5.3148581e-05
9,375	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	5.1712887e-05
9,896	Task Scheduling Using Intertask Dependencies in Carnot	1993	SIGMOD	5.1000264e-05
12,945	Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics	2008	VLDB	4.9605343e-05
13,343	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	4.9605343e-05
14,587	Supporting State-wide Immunization Tracking using Multi-Paradigm Workflow Technology	1996	VLDB	-
14,660	Relaxed Transaction Processing	1994	SIGMOD	-

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
66	Sagas	1987	SIGMOD	0.00037911331
1,307	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD	0.00011076254
2,149	A Transactional Model for Long-Running Activities	1991	VLDB	8.957504e-05
2,365	A Multidatabase Transaction Model for InterBase	1990	VLDB	8.5531222e-05
2,569	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.2614964e-05
2,578	Multidatabase Update Issues	1988	SIGMOD	8.2537767e-05
5,071	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.2755697e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,237	Concurrency Control and Recovery in Transactional Process Management	1999	PODS
2	5,105	Transactions And Integrity Constraints	1985	PODS
3	13,546	A semantic approach to correctness of concurrent transaction executions	1985	PODS
4	5,772	A Formalism for Extended Transaction Models	1991	VLDB
5	14,660	Relaxed Transaction Processing	1994	SIGMOD
6	2,149	A Transactional Model for Long-Running Activities	1991	VLDB
7	13,358	Relative Serializability: An Approach for Relaxing the Atomicity of Transactions	1994	PODS
8	2,365	A Multidatabase Transaction Model for InterBase	1990	VLDB
9	7,148	Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems	1994	SIGMOD
10	5,340	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB