一类新的可判定元组生成依赖：三角守卫类
人工智能
2018-04-20 v2
摘要
本文引入一类新的元组生成依赖（TGD），称为三角守卫TGD，这类TGD对嵌入底层规则集中的原子推导轨迹有一定限制。我们证明了在此新类TGD下的合取查询回答是可判定的。我们进一步表明，这一新类严格包含了弱无环、守卫、sticky和shy等其他可判定类，据我们所知，这为上述所有类提供了统一的表示。
引用
@article{arxiv.1804.05997,
title = {A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class},
author = {Vernon Asuncion and Yan Zhang},
journal= {arXiv preprint arXiv:1804.05997},
year = {2018}
}
备注
Resubmission for Journal