Projection Views of Register Automata - Archive ouverte HAL Access content directly
Conference Papers Year :

Projection Views of Register Automata

(1) , (2, 1)
1
2

Abstract

Register automata have been used as a convenient model for specifying and verifying database driven systems. An important problem in such systems is to provide views that hide or restructure certain information about the data or process, extending classical notions of database views. In this paper we carry out a formal investigation of views of register automata by considering simple views that project away some of the registers. We show that classical register automata are not able to describe such projections and introduce more powerful register automata that are able to do so. We also show useful properties of these automata such as closure under projection and decidability of verifying temporal properties of their runs.
Not file

Dates and versions

hal-02947172 , version 1 (23-09-2020)

Identifiers

Cite

Luc Segoufin, Victor Vianu. Projection Views of Register Automata. PODS'20: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Jun 2020, Portland / Virtual, United States. pp.299-313, ⟨10.1145/3375395.3387651⟩. ⟨hal-02947172⟩
55 View
3 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More