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
- 1. Anthony J. Bonner (University of Toronto)
BibTeX Citation
@inproceedings{bonner_pods99,
address = {New York, NY, USA},
series = {{PODS} '99},
title = {{Workflow, Transactions and Datalog}},
url = {https://dl.acm.org/doi/10.1145/303976.304005},
doi = {10.1145/303976.304005},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Bonner, Anthony J.},
year = {1999}
}Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,653 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 8.2898925e-05 |
| 7,726 | Business Process Coordination: State of the Art, Trends, and Open Issues | 2001 | VLDB | 5.5580936e-05 |
| 8,286 | A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints | 2002 | VLDB | 5.4574671e-05 |
| 12,607 | Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics | 2008 | VLDB | 5.093636e-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 |
|---|---|---|---|---|
| 1,159 | Relational Transducers for Electronic Commerce | 1998 | PODS | 0.00011898742 |
| 2,641 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 8.307117e-05 |
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 12,900 | Concurrency Control and Recovery in Transactional Process Management | 1999 | PODS |
| 2 | 9,904 | Databases and Workflow Management: What is it All About? | 1995 | VLDB |
| 3 | 10,145 | Consistency and Correctness in Data-Oriented Workflow Systems | 2026 | CIDR |
| 4 | 14,533 | Transactions Modeling | 1982 | SIGMOD |
| 5 | 1,726 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS |
| 6 | 8,569 | The Power of Methods With Parallel Semantics | 1991 | VLDB |
| 7 | 2,089 | A Transactional Model for Long-Running Activities | 1991 | VLDB |
| 8 | 12,230 | Collaborative Data-Driven Workflows: Think Global, Act Local | 2013 | PODS |
| 9 | 13,060 | Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications | 1993 | SIGMOD |
| 10 | 2,641 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS |