Projection Views of Register Automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Projection Views of Register Automata

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.
No 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⟩
53 View
3 Download

Altmetric

Share

Gmail Facebook X LinkedIn More