可并行存在规则：碎片化的故事
人工智能
2021-07-14 v1 数据库
摘要
在本文中，我们考虑存在规则，这是一种在基于本体的数据集成背景下适于表示本体知识和数据到本体映射的表达形式体系。Chase 是用存在规则进行推理的基本工具，因为它从数据库实例计算出规则所蕴含的所有事实。我们引入可并行存在规则集，对于这类规则集，chase 可从任意实例在单一广度优先步骤中计算完成。我们所研究的问题是对此类规则集的刻画。我们表明，可并行规则集恰好是那些对 chase 有界且属于一类称为平和（pieceful）的新规则类的规则集。平和类尤其包含前沿守卫存在规则和（普通）datalog。我们还基于重写给出了可并行规则集在规则组合意义上的另一种刻画。
引用
@article{arxiv.2107.06054,
title = {Parallelisable Existential Rules: a Story of Pieces},
author = {Maxime Buron and Marie-Laure Mugnier and Michaël Thomazo},
journal= {arXiv preprint arXiv:2107.06054},
year = {2021}
}