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,931 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.0001005178 |
| 7,242 | Business Process Coordination: State of the Art, Trends, and Open Issues | 2001 | VLDB | 4.7863368e-05 |
| 7,971 | A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints | 2002 | VLDB | 4.6089395e-05 |
| 12,422 | Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics | 2008 | VLDB | 4.1905499e-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 |
|---|---|---|---|---|
| 990 | Relational Transducers for Electronic Commerce | 1998 | PODS | 0.00014800793 |
| 2,145 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 9.4349268e-05 |
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,716 | Concurrency Control and Recovery in Transactional Process Management | 1999 | PODS | 4.1905499e-05 |
| 9,537 | Databases and Workflow Management: What is it All About? | 1995 | VLDB | 4.3223802e-05 |
| 9,998 | Consistency and Correctness in Data-Oriented Workflow Systems | 2026 | CIDR | 4.1905499e-05 |
| 14,346 | Transactions Modeling | 1982 | SIGMOD | - |
| 8,173 | The Power of Methods With Parallel Semantics | 1991 | VLDB | 4.5640563e-05 |
| 1,920 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS | 0.00010092077 |
| 1,479 | A Transactional Model for Long-Running Activities | 1991 | VLDB | 0.00011722975 |
| 12,040 | Collaborative Data-Driven Workflows: Think Global, Act Local | 2013 | PODS | 4.1905499e-05 |
| 12,876 | Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications | 1993 | SIGMOD | 4.1905499e-05 |
| 2,145 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 9.4349268e-05 |