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: h24348943c6a84810
Venue: PODS
Year: 2013
Pagerank: 4.9793485e-05
Overall Rank: 12,521 | 15.82%
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
5,067	Datalog Unchained	2021	PODS	6.2898972e-05
12,055	Projection Views of Register Automata	2020	PODS	4.9793485e-05
12,196	Explanations and Transparency in Collaborative Workflows	2018	PODS	4.9793485e-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,002	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.208994e-05
2,164	Verification of Communicating Data-Driven Web Services	2006	PODS	8.9346715e-05
5,073	A Rule-based Language for Web Data Management	2011	PODS	6.2870136e-05

Semantically Similar Papers

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