A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class
Databases
2018-05-24 v1 Artificial Intelligence
Logic in Computer Science
Abstract
In this paper we introduce a new class of tuple-generating dependencies (TGDs) called triangularly-guarded (TG) TGDs. We show that conjunctive query answering under this new class of TGDs is decidable since this new class of TGDs also satisfies the finite controllability (FC) property. We further show that this new class strictly contains some other decidable classes such as weak-acyclic, guarded, sticky and shy. In this sense, the class TG provides a unified representation of all these aforementioned classes of TGDs.
Cite
@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}
}
Comments
Submitted for review. arXiv admin note: substantial text overlap with arXiv:1804.05997