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,620 | Datalog Unchained | 2021 | PODS | 6.2095746e-05 |
| 11,559 | Projection Views of Register Automata | 2020 | PODS | 5.1725247e-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 |
|---|---|---|---|---|
| 2,084 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 9.267108e-05 |
| 2,268 | Orchestra: Facilitating Collaborative Data Sharing | 2007 | SIGMOD | 8.9046562e-05 |
| 4,923 | A Rule-based Language for Web Data Management | 2011 | PODS | 6.5083072e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,839 | Logical Aspects of Massively Parallel and Distributed Systems | 2016 | PODS | 5.1725247e-05 |
| 2,070 | Logical Foundations of Peer-To-Peer Data Integration | 2004 | PODS | 9.2898634e-05 |
| 7,263 | Static Analysis of Active XML Systems | 2008 | PODS | 5.7145971e-05 |
| 8,289 | The Power of Methods With Parallel Semantics | 1991 | VLDB | 5.5147364e-05 |
| 4,282 | On Distributed Processibility of Datalog Queries by Decomposing Databases | 1989 | SIGMOD | 6.8544578e-05 |
| 4,923 | A Rule-based Language for Web Data Management | 2011 | PODS | 6.5083072e-05 |
| 9,033 | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic | 2007 | VLDB | 5.392284e-05 |
| 4,373 | Workflow, Transactions and Datalog | 1999 | PODS | 6.8038258e-05 |
| 2,084 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 9.267108e-05 |
| 2,601 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 8.4269022e-05 |