自底向上的数据树和垂直XPath上的自动机
摘要：一种数据树是一个有限的树结构，每个节点都带有来自有限字母表的标签和来自无限域的数据。我们引入了一种新的模型，用于处理无序数据树上的自动机，其具有可判定的空问题。本质上它是一种自底向上的交替自动机，具有一个可以存储一个数据值的寄存器，并且可以用于对当前节点子树中出现的数据值进行相等性测试。我们证明了该模型捕获了XPath的垂直片段的表达能力-其中包括子节点、后代节点、父节点和祖先节点轴-从而获得了用于满足性问题的决策过程。
作者：Diego Figueira, Luc Segoufin
论文ID：1710.08748
分类：Databases
分类简称：cs.DB
提交时间：2023-06-22