Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding
Summary: Extend database-manipulating systems to include numerical attributes with order and introduce recency-bounding as an under-approximation that tames unbounded active domain, numeric domain, and execution length. Under recency bounding reachability is decidable and ExpTime-complete; full LTL model checking is undecidable. (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
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 6 of 6 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,928 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.00010061483 |
| 3,910 | Recency-Bounded Verification of Dynamic Database-Driven Systems | 2016 | PODS | 6.636109e-05 |
| 4,000 | Verification of Database-driven Systems via Amalgamation | 2013 | PODS | 6.5469864e-05 |
| 4,183 | Verification of Relational Data-Centric Dynamic Systems with External Services | 2013 | PODS | 6.378289e-05 |
| 6,913 | VERIFAS: A Practical Verifier for Artifact Systems | 2018 | VLDB | 4.8925595e-05 |
| 6,915 | Verification of Hierarchical Artifact Systems | 2016 | PODS | 4.8925595e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,386 | Rewriting the Infinite Chase | 2022 | VLDB | 4.1945683e-05 |
| 1,649 | Finitely Representable Databases | 1994 | PODS | 0.00011017687 |
| 11,326 | Data Path Queries over Embedded Graph Databases | 2022 | PODS | 4.1945683e-05 |
| 3,909 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.6375375e-05 |
| 6,382 | Finite Queries do not Have Effective Syntax | 1995 | PODS | 5.0890445e-05 |
| 10,906 | Verification of Unary Communicating Datalog Programs | 2024 | PODS | 4.1945683e-05 |
| 4,183 | Verification of Relational Data-Centric Dynamic Systems with External Services | 2013 | PODS | 6.378289e-05 |
| 12,155 | Querying Schemas With Access Restrictions | 2012 | VLDB | 4.1945683e-05 |
| 4,000 | Verification of Database-driven Systems via Amalgamation | 2013 | PODS | 6.5469864e-05 |
| 3,910 | Recency-Bounded Verification of Dynamic Database-Driven Systems | 2016 | PODS | 6.636109e-05 |