Projection Views of Register Automata
Summary: Formalizes projection views for register automata (hiding some registers) and proves classical register automata cannot express such projections. Proposes a more expressive register-automata model that is closed under projection and preserves decidable temporal verification. (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
- 1. Luc Segoufin
- 2. Victor Vianu
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 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 |
|---|---|---|---|---|
| 1,928 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.00010061483 |
| 4,000 | Verification of Database-driven Systems via Amalgamation | 2013 | PODS | 6.5469864e-05 |
| 12,032 | Collaborative Data-Driven Workflows: Think Global, Act Local | 2013 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 532 | Answering Recursive Queries Using Views | 1997 | PODS | 0.00020778506 |
| 5,406 | Query Containment and Rewriting Using Views for Regular Path Queries Under Constraints | 2003 | PODS | 5.5243825e-05 |
| 3,444 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB | 7.0871625e-05 |
| 4,000 | Verification of Database-driven Systems via Amalgamation | 2013 | PODS | 6.5469864e-05 |
| 9,540 | Object Projection Views In The Dynamic Relational Model | 1984 | PODS | 4.3265281e-05 |
| 3,531 | Lossless Regular Views | 2002 | PODS | 7.003412e-05 |
| 12,155 | Querying Schemas With Access Restrictions | 2012 | VLDB | 4.1945683e-05 |
| 1,688 | Automata Theory for Database Theoreticians | 1989 | PODS | 0.00010913301 |
| 11,326 | Data Path Queries over Embedded Graph Databases | 2022 | PODS | 4.1945683e-05 |
| 3,228 | View-Based Query Processing for Regular Path Queries with Inverse | 2000 | PODS | 7.3405281e-05 |