Towards a logic for abstract metafinite state machines

被引：0

作者：

Wang, Qing ^{[1
]}

Schewe, Klaus-Dieter ^{[1
]}

机构：

[1] Massey Univ, Informat Sci Res Ctr, Palmerston North, New Zealand

来源：

FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS | 2008年 / 4932卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The paper investigates the logic of database transformations based on abstract metafinite state machines. We first introduce a structure model that separates a metafinite state into database and algorithmic spaces with bridge functions providing a connection between them. Then abstract metafinite state machines are developed on top of metafinite states equipped with two kinds of updates: exclusive updates and aggregate updates. In order to characterize both static and dynamic aspects of abstract metafinite state machines, we present a logic which supports reasoning about the side effects of exclusive and aggregate updates in update multisets occurring over database transformations.

引用

页码：365 / 380

页数：16

共 21 条

[1]

ABITEBOUL S, 1990, PROCEEDINGS OF THE NINTH ACM SIGACT-SIGMOD-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, P218, DOI 10.1145/298514.298575

[2]

ABITEBOUL S, 1989, SIGMOD ACM NEW YORK, P159

[3]

Abiteboul S., 1987, PROC ACM SIGACT SIGM, P260, DOI [10.1145/28659.28688, DOI 10.1145/28659.28688]

[4]

ABITEBOUL S, 1988, RR090009

[5]

Abiteboul S., 1995, FDN DATABASES LOGICA, V1st

[6]

[Anonymous], 2000, ACM T COMPUTATIONAL, DOI DOI 10.1145/343369.343384

[7]

Blass A., 2003, ACM Transactions on Computational Logic, V4, P578, DOI 10.1145/937555.937561

[8]

BLASS A, 2000, P 14 ANN C EACSL COM, P1

[9]

BLASS A, 2007, B EUROPEAN ASS THEOR

[10]

Cohen Sara, 2006, P 2006 ACM SIGMOD IN, P49, DOI [10.1145/1142473.1142480, DOI 10.1145/1142473.1142480]

← 1 2 3 →