no code implementations • 21 May 2018 • Vernon Asuncion, Yan Zhang
In this paper we introduce a new class of tuple-generating dependencies (TGDs) called triangularly-guarded (TG) TGDs.
no code implementations • 19 Apr 2018 • Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si
In particular, we prove that this language satisfies the so-called bounded derivation-depth prop- erty (BDDP), which implies that the CQA is first-order rewritable, and its data complexity is in AC0 .
no code implementations • 17 Apr 2018 • 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 track embedded in the underlying rule set.