数据库操作过程的抽象域
摘要：数据库操作系统（DMS）是对关系数据库进行操作的形式化系统，如添加新元组或删除现有元组。为了确保足够的表达能力以捕捉实际数据库系统，DMS操作首先包括对可数值域上的一阶公式的守护表达式。这些特性引入了无限状态、无限分支的过程，从而使对状态可达性等属性的自动推理变得困难。因此，最近的方法限制DMS以获得可判定的片段。然而，一个全面的语义框架，既能捕捉完整的DMS，又能包含有效的数据抽象和过程等价概念，仍然是一个未解决的问题。在本文中，我们提出了基于抽象解释原理的DMS过程语义。具体域包括所有有效的数据库，而抽象域使用不同的构造来统一在DMS守护语言的特定片段上语义等价的数据库集合。抽象域和具体域之间的联系通过同态映射有效建立，其属性和限制取决于所考虑的DMS片段的表达能力。我们对规范DMS片段实例化我们的框架，并研究了抽象在过程语义上的保存性，这是操作过程语义的最强等价概念之一。
作者：Tobias Sch"uler and Stephan Mennicke and Malte Lochau
论文ID：2308.03466
分类：Databases
分类简称：cs.DB
提交时间：2023-08-08