3 papers
cs.DB2018
A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class
Vernon Asuncion, Yan Zhang
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…
cs.AI2018
A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class
Vernon Asuncion, Yan Zhang
In this paper we introduce a new class of tuple-generating dependencies (TGDs) called triangularly-guarded TGDs, which are TGDs with certain restrictions on the atomic derivation t…
cs.AI2018
Loop Restricted Existential Rules and First-order Rewritability for Query Answering
Vernon Asuncion, Yan Zhang, Heng Zhang +2
In ontology-based data access (OBDA), the classical database is enhanced with an ontology in the form of logical assertions generating new intensional knowledge. A powerful form of…