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)

Paper ID: 1594
Venue: PODS
Year: 2013
Pagerank: 5.093636e-05
Overall Rank: 12,230 | 16.10%
DOI: 10.1145/2463664.2463672

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Serge Abiteboul (INRIA; École Normale Supérieure)
2. Victor Vianu (INRIA; University of California San Diego)

BibTeX Citation

@inproceedings{abiteboul_pods13,
        address = {New York, NY, USA},
        series = {{PODS} '13},
        title = {{Collaborative Data-Driven Workflows: Think Global, Act Local}},
        url = {https://dl.acm.org/doi/10.1145/2463664.2463672},
        doi = {10.1145/2463664.2463672},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Abiteboul, Serge and Vianu, Victor},
        year = {2013}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,943	Datalog Unchained	2021	PODS	6.4332239e-05
11,752	Projection Views of Register Automata	2020	PODS	5.093636e-05
11,896	Explanations and Transparency in Collaborative Workflows	2018	PODS	5.093636e-05

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,026	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.287998e-05
2,125	Verification of Communicating Data-Driven Web Services	2006	PODS	9.1334411e-05
4,952	A Rule-based Language for Web Data Management	2011	PODS	6.4303908e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,100	Logical Foundations of Peer-To-Peer Data Integration	2004	PODS
2	7,361	Static Analysis of Active XML Systems	2008	PODS
3	8,569	The Power of Methods With Parallel Semantics	1991	VLDB
4	4,343	On Distributed Processibility of Datalog Queries by Decomposing Databases	1989	SIGMOD
5	4,952	A Rule-based Language for Web Data Management	2011	PODS
6	9,166	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB
7	4,437	Workflow, Transactions and Datalog	1999	PODS
8	2,125	Verification of Communicating Data-Driven Web Services	2006	PODS
9	2,641	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS
10	11,896	Explanations and Transparency in Collaborative Workflows	2018	PODS