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,711 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 8.1038896e-05 |
| 7,886 | Business Process Coordination: State of the Art, Trends, and Open Issues | 2001 | VLDB | 5.4333965e-05 |
| 8,454 | A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints | 2002 | VLDB | 5.3350162e-05 |
| 12,897 | Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics | 2008 | VLDB | 4.9793485e-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,176 | Relational Transducers for Electronic Commerce | 1998 | PODS | 0.00011643011 |
| 2,695 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 8.1213392e-05 |
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 13,190 | Concurrency Control and Recovery in Transactional Process Management | 1999 | PODS |
| 2 | 10,091 | Databases and Workflow Management: What is it All About? | 1995 | VLDB |
| 3 | 10,362 | Consistency and Correctness in Data-Oriented Workflow Systems | 2026 | CIDR |
| 4 | 8,740 | The Power of Methods With Parallel Semantics | 1991 | VLDB |
| 5 | 1,767 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS |
| 6 | 14,831 | Transactions Modeling | 1982 | SIGMOD |
| 7 | 2,134 | A Transactional Model for Long-Running Activities | 1991 | VLDB |
| 8 | 12,521 | Collaborative Data-Driven Workflows: Think Global, Act Local | 2013 | PODS |
| 9 | 13,350 | Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications | 1993 | SIGMOD |
| 10 | 2,695 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS |