3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Arash Karimi, Heng Zhang, Jia-Huai You
The chase procedure for existential rules is an indispensable tool for several database applications, where its termination guarantees the decidability of these tasks. Most previou…