Workflow, Transactions and Datalog
Summary: Transaction Datalog (TD): a concurrent Datalog-based language combining process modeling, DB access and advanced transactions to specify/simulate complex workflows (e.g., genomics) with synchronization, cooperation, and non-serializable resource access. Analyzes computational blow-up from inter-process DB communication, isolates costly modeling features, and defines fully bounded TD — a practical sublanguage that preserves modeling power while substantially reducing analysis/verification complexity. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,928 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.00010061483 |
| 7,245 | Business Process Coordination: State of the Art, Trends, and Open Issues | 2001 | VLDB | 4.7909611e-05 |
| 7,968 | A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints | 2002 | VLDB | 4.613363e-05 |
| 12,413 | Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics | 2008 | VLDB | 4.1945683e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 989 | Relational Transducers for Electronic Commerce | 1998 | PODS | 0.00014814282 |
| 2,143 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 9.4436896e-05 |
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,707 | Concurrency Control and Recovery in Transactional Process Management | 1999 | PODS | 4.1945683e-05 |
| 9,536 | Databases and Workflow Management: What is it All About? | 1995 | VLDB | 4.3265281e-05 |
| 9,999 | Consistency and Correctness in Data-Oriented Workflow Systems | 2026 | CIDR | 4.1945683e-05 |
| 14,332 | Transactions Modeling | 1982 | SIGMOD | - |
| 1,916 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS | 0.00010101977 |
| 8,172 | The Power of Methods With Parallel Semantics | 1991 | VLDB | 4.5684406e-05 |
| 1,481 | A Transactional Model for Long-Running Activities | 1991 | VLDB | 0.00011735776 |
| 12,032 | Collaborative Data-Driven Workflows: Think Global, Act Local | 2013 | PODS | 4.1945683e-05 |
| 12,866 | Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications | 1993 | SIGMOD | 4.1945683e-05 |
| 2,143 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 9.4436896e-05 |