Collaborative Data-Driven Workflows: Think Global, Act Local
Summary: Local-as-view model where peers expose specs and local updates affect a virtual global instance, enabling peers to reason about others from local observations. With a key-visibility restriction they build a finite symbolic representation of consistent global runs, yielding PSPACE checking of PLTL-FO and support for incremental/dynamic monitoring. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Serge Abiteboul
- 2. Victor Vianu
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,705 | Datalog Unchained | 2021 | PODS | 5.3621239e-05 |
| 11,555 | Projection Views of Register Automata | 2020 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
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 |
|---|---|---|---|---|
| 1,875 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 0.00010243508 |
| 2,068 | Orchestra: Facilitating Collaborative Data Sharing | 2007 | SIGMOD | 9.6377415e-05 |
| 4,927 | A Rule-based Language for Web Data Management | 2011 | PODS | 5.8225392e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,831 | Logical Aspects of Massively Parallel and Distributed Systems | 2016 | PODS | 4.1945683e-05 |
| 1,769 | Logical Foundations of Peer-To-Peer Data Integration | 2004 | PODS | 0.00010619921 |
| 7,291 | Static Analysis of Active XML Systems | 2008 | PODS | 4.7741469e-05 |
| 8,172 | The Power of Methods With Parallel Semantics | 1991 | VLDB | 4.5684406e-05 |
| 3,855 | On Distributed Processibility of Datalog Queries by Decomposing Databases | 1989 | SIGMOD | 6.6953401e-05 |
| 4,927 | A Rule-based Language for Web Data Management | 2011 | PODS | 5.8225392e-05 |
| 8,977 | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic | 2007 | VLDB | 4.4174383e-05 |
| 4,051 | Workflow, Transactions and Datalog | 1999 | PODS | 6.4940502e-05 |
| 1,875 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 0.00010243508 |
| 2,143 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 9.4436896e-05 |