克劳斯·迪特·施韦;王青 用于数据库转换的定制ASM论文。 （英语） Zbl 1224.68029号 《网络学报》。 19，第4期，765-805（2010）. 摘要：为了为数据库转换奠定理论基础，我们搜索通用计算模型作为查询和更新的保护伞。由于更新在许多方面与查询有着本质上的区别，因此不能简单地将查询的计算模型扩展到数据库转换。这引发了一个问题，即抽象状态机（ASM）是否可以用于描述数据库转换的一般特征。在本文中，我们开始研究数据库转换和算法之间的差异，这导致了数据库转换的五个假设的形式化。然后开发了一种称为数据库抽象状态机（DB-ASM）的ASM变体，我们证明了DB-ASM捕获数据库转换，即本文的主要结果是，由假设规定的每个数据库转换都可以由DB-ASM进行行为模拟。 引用于7文件 MSC公司： 第68页第15页 数据库理论 关键词：抽象状态机;数据库转换;ASM论文 PDF格式BibTeX公司 XML格式引用 \textit{K.-D.Schewe}和\textit{Q.Wang}，《网络学报》。19，第4号，765--805（2010；Zbl 1224.68029）