A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints

Summary: Proposes scheduling workflows under resource-allocation constraints, expanding beyond temporal models. Introduces Concurrent Constraint Transaction Logic (CCTR), fusing CTR with constraint logic programming to model resource-aware workflow execution. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 9077
Venue: VLDB
Year: 2002
Pagerank: 5.4574671e-05
Overall Rank: 8,286 | 43.16%
DOI: 10.1016/B978-155860869-6/50067-6

Incoming Non-self Citations Over Time

Authors

1. Pinar Senkul (Middle East Technical University)
2. Michael Kifer (State University of New York at Stony Brook)
3. Ismail H. Toroslu (University of Central Florida)

BibTeX Citation

@article{senkul_vldb02,
        title = {{A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints}},
        author = {Senkul, Pinar and Kifer, Michael and Toroslu, Ismail H.},
        journal = {PVLDB},
        series = {{VLDB} '02},
        doi = {10.1016/B978-155860869-6/50067-6},
        url = {https://doi.org/10.1016/B978-155860869-6/50067-6},
        year = {2002}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,166	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	5.3100453e-05
12,607	Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics	2008	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
2,641	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	8.307117e-05
3,142	Specifying and Enforcing Intertask Dependencies	1993	VLDB	7.7169178e-05
4,437	Workflow, Transactions and Datalog	1999	PODS	6.7064486e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,159	Transaction Scheduling: From Conflicts to Runtime Conflicts	2023	SIGMOD
2	5,430	Real-Time Transaction Scheduling: A Cost Conscious Approach	1993	SIGMOD
3	4,117	Schedule Optimization for Data Processing Flows on the Cloud	2011	SIGMOD
4	1,148	Scheduling Real-time Transactions: a Performance Evaluation	1988	VLDB
5	695	An Optimality Theory of Concurrency Control for Databases	1979	SIGMOD
6	13,060	Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications	1993	SIGMOD
7	9,166	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB
8	14,538	A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets	1982	VLDB
9	12,607	Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics	2008	VLDB
10	2,641	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS