Skip to Main content Skip to Navigation
Conference papers

Projection Views of Register Automata

Luc Segoufin 1 Victor Vianu 2, 1
1 VALDA - Value from Data
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-02947172
Contributor : Luc Segoufin <>
Submitted on : Wednesday, September 23, 2020 - 5:06:01 PM
Last modification on : Wednesday, October 14, 2020 - 4:08:57 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

34