一类新的有限可控元组生成依赖：三角守卫类
数据库
2018-05-24 v1 人工智能
计算机科学中的逻辑
摘要
在本文中，我们引入一类称为三角守卫（TG）的元组生成依赖（TGDs）。我们证明在该新类 TGDs 下的合取查询回答是可判定的，因为这一新类 TGDs 也满足有限可控（FC）性质。我们进一步证明该类严格包含一些其他可判定类，如弱无环、守卫、黏性与羞涩类。就此意义而言，TG 类提供了上述所有 TGDs 类的统一表示。
引用
@article{arxiv.1805.09157,
title = {A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class},
author = {Vernon Asuncion and Yan Zhang},
journal= {arXiv preprint arXiv:1805.09157},
year = {2018}
}
备注
Submitted for review. arXiv admin note: substantial text overlap with arXiv:1804.05997