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: 8312
Venue: VLDB
Year: 1993
Pagerank: 7.7169178e-05
Overall Rank: 3,142 | 78.45%
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,641	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	8.307117e-05
8,286	A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints	2002	VLDB	5.4574671e-05
9,166	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	5.3100453e-05
9,722	Task Scheduling Using Intertask Dependencies in Carnot	1993	SIGMOD	5.2318148e-05
12,607	Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics	2008	VLDB	5.093636e-05
13,006	Towards a Cooperative Transaction Model - The Cooperative Activity Model -	1995	VLDB	5.093636e-05
14,231	Supporting State-wide Immunization Tracking using Multi-Paradigm Workflow Technology	1996	VLDB	-
14,304	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
64	Sagas	1987	SIGMOD	0.00038756588
1,276	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD	0.0001136991
2,089	A Transactional Model for Long-Running Activities	1991	VLDB	9.1910671e-05
2,301	A Multidatabase Transaction Model for InterBase	1990	VLDB	8.7813535e-05
2,523	Multidatabase Update Issues	1988	SIGMOD	8.4705778e-05
2,535	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.4560885e-05
4,931	Using Flexible Transactions to Support Multi-system Telecommunication Applications	1992	VLDB	6.4389004e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,900	Concurrency Control and Recovery in Transactional Process Management	1999	PODS
2	4,962	Transactions And Integrity Constraints	1985	PODS
3	13,209	A semantic approach to correctness of concurrent transaction executions	1985	PODS
4	5,628	A Formalism for Extended Transaction Models	1991	VLDB
5	14,304	Relaxed Transaction Processing	1994	SIGMOD
6	2,089	A Transactional Model for Long-Running Activities	1991	VLDB
7	13,021	Relative Serializability: An Approach for Relaxing the Atomicity of Transactions	1994	PODS
8	2,301	A Multidatabase Transaction Model for InterBase	1990	VLDB
9	6,983	Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems	1994	SIGMOD
10	5,194	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB