Projection Views of Register Automata
Projection Views of Register Automata
复制标题
配准自动机的投影视图
DOI：
10.1145/3375395.3387651
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Vianu, Victor
中科院分区：
文献类型：
--
作者：
Segoufin, Luc;Vianu, Victor
寄存器自动机已被用作指定和验证数据库驱动系统的方便模型。这种系统中的一个重要问题是提供隐藏或重构有关数据或进程的某些信息的视图，扩展了数据库视图的经典概念。在本文中，我们进行了正式的调查，注册自动机的意见，考虑简单的意见，项目离开一些寄存器。我们表明，经典的寄存器自动机不能描述这样的预测，并介绍更强大的寄存器自动机，能够这样做。我们还展示了这些自动机的有用属性，如投影下的封闭性和验证其运行时间属性的可判定性。
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.
登录
查看更多内容
论看守人员的约束力
DOI：
--
发表时间：
1999
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
数据驱动的协作工作流程：全球化思考，本地化行动
DOI：
--
发表时间：
2013
期刊：
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
影响因子：
--
作者：
S. Abiteboul;V. Vianu
通讯作者：
V. Vianu
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
A. B. Quanti
通讯作者：
A. B. Quanti
协作工作流程的解释和透明度
DOI：
--
发表时间：
2018
期刊：
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
影响因子：
--
作者：
S. Abiteboul;P. Bourhis;V. Vianu
通讯作者：
V. Vianu
线性有序数据域上基于自动机的验证
DOI：
--
发表时间：
2011
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
--
作者：
L. Segoufin;Szymon Toruńczyk
通讯作者：
Szymon Toruńczyk