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: 8886
Venue: VLDB
Year: 2002
Pagerank: 4.613363e-05
Overall Rank: 7,968 | 44.57%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
8,977	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	4.4174383e-05
12,413	Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics	2008	VLDB	4.1945683e-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,143	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	9.4436896e-05
2,270	Specifying and Enforcing Intertask Dependencies	1993	VLDB	9.1467207e-05
4,051	Workflow, Transactions and Datalog	1999	PODS	6.4940502e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
12,032	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	4.1945683e-05
5,339	Real-Time Transaction Scheduling: A Cost Conscious Approach	1993	SIGMOD	5.5624696e-05
4,700	Schedule Optimization for Data Processing Flows on the Cloud	2011	SIGMOD	5.9882572e-05
937	Scheduling Real-time Transactions: a Performance Evaluation	1988	VLDB	0.00015207578
347	An Optimality Theory of Concurrency Control for Databases	1979	SIGMOD	0.00026610677
12,866	Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications	1993	SIGMOD	4.1945683e-05
8,977	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	4.4174383e-05
14,337	A Formal Model For Maximum Concurrency In Transaction Systems With Predeclared Writesets	1982	VLDB	-
12,413	Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics	2008	VLDB	4.1945683e-05
2,143	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	9.4436896e-05