Verification of Unary Communicating Datalog Programs
Summary: Verifies reachability in unary CDPs with bounded state and unbounded, unordered channels carrying unary relations. Reduction to coverability in high-level Petri nets over unordered data IDs yields CTL-decidability, with tight undecidability for modest generalizations. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. C. Aiswarya
- 2. Diego Calvanese
- 3. Francesco Di Cosmo
- 4. Marco Montali
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 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 |
| 1,928 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.00010061483 |
| 4,183 | Verification of Relational Data-Centric Dynamic Systems with External Services | 2013 | PODS | 6.378289e-05 |
| 5,154 | Rule-Based Application Development using Webdamlog | 2013 | SIGMOD | 5.6603498e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,875 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 0.00010243508 |
| 7,018 | Hard problems for simple logic programs | 1990 | SIGMOD | 4.8602644e-05 |
| 12,829 | Universal Finiteness and Satisfiability | 1994 | PODS | 4.1945683e-05 |
| 4,136 | Safety of Datalog Queries over Infinite Databases | 1989 | PODS | 6.4188795e-05 |
| 2,830 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.054172e-05 |
| 11,967 | Does Query Evaluation Tractability Help Query Containment? | 2014 | PODS | 4.1945683e-05 |
| 4,183 | Verification of Relational Data-Centric Dynamic Systems with External Services | 2013 | PODS | 6.378289e-05 |
| 4,631 | Tools for Datalog Boundedness | 1991 | PODS | 6.0347472e-05 |
| 7,591 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.702934e-05 |
| 11,645 | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding | 2019 | PODS | 4.1945683e-05 |