Verification of Relational Data-Centric Dynamic Systems with External Services
Summary: Establishes undecidability of mu-calculus verification for relational data-centric systems with external-service-generated fresh values. Recovers decidability via per-run freshness bounds linked to weak acyclicity, and generate-recall acyclicity preventing indefinite accumulation. (summarized by gpt-5.6-luna on Jul 21 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Babak Bagheri Hariri (Free University of Bolzano)
- 2. Diego Calvanese (Free University of Bolzano)
- 3. Marco Montali (Free University of Bolzano)
- 4. Giuseppe De Giacomo (Sapienza University)
- 5. Alin Deutsch (University of California San Diego)
BibTeX Citation
@inproceedings{hariri_pods13,
address = {New York, NY, USA},
series = {{PODS} '13},
title = {{Verification of Relational Data-Centric Dynamic Systems with External Services}},
url = {https://dl.acm.org/doi/10.1145/2463664.2465221},
doi = {10.1145/2463664.2465221},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Hariri, Babak Bagheri and Calvanese, Diego and Montali, Marco and De Giacomo, Giuseppe and Deutsch, Alin},
year = {2013}
}Incoming Citations (Sorted by Pagerank)
Showing 7 of 7 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,653 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 8.2898925e-05 |
| 5,959 | Recency-Bounded Verification of Dynamic Database-Driven Systems | 2016 | PODS | 6.0274692e-05 |
| 6,726 | Data Management Perspectives on Business Process Management (Tutorial Overview) | 2013 | SIGMOD | 5.790221e-05 |
| 7,516 | VERIFAS: A Practical Verifier for Artifact Systems | 2018 | VLDB | 5.6029996e-05 |
| 7,518 | Verification of Hierarchical Artifact Systems | 2016 | PODS | 5.6029996e-05 |
| 11,127 | Verification of Unary Communicating Datalog Programs | 2024 | PODS | 5.093636e-05 |
| 11,839 | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding | 2019 | PODS | 5.093636e-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 |
|---|---|---|---|---|
| 3,398 | A Verifier for Interactive, Data-driven Web Applications | 2005 | SIGMOD | 7.4467496e-05 |
| 4,173 | Automatic Composition of Transition-based Semantic Web Services with Messaging | 2005 | VLDB | 6.8533511e-05 |
| 4,369 | Semantic Query Optimization in the Presence of Types | 2010 | PODS | 6.7390374e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 7,361 | Static Analysis of Active XML Systems | 2008 | PODS |
| 2 | 7,452 | A Transaction Logic for Database Specification | 1988 | SIGMOD |
| 3 | 4,659 | On The Complexity And Axiomatizability Of Consistent Database States | 1984 | PODS |
| 4 | 4,080 | Specification and Verification of Data-driven Web Services | 2004 | PODS |
| 5 | 8,128 | Decidability and Undecidability Results for the Termination Problem of Active Database Rules | 1998 | PODS |
| 6 | 12,351 | Querying Schemas With Access Restrictions | 2012 | VLDB |
| 7 | 5,127 | Verification of Database-driven Systems via Amalgamation | 2013 | PODS |
| 8 | 2,125 | Verification of Communicating Data-Driven Web Services | 2006 | PODS |
| 9 | 11,839 | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding | 2019 | PODS |
| 10 | 5,959 | Recency-Bounded Verification of Dynamic Database-Driven Systems | 2016 | PODS |