no code implementations • 11 Feb 2022 • Jean Christoph Jung, Carsten Lutz, Jerzy Macinkowski
We study the problem to decide, given sets T1, T2 of tuple-generating dependencies (TGDs), also called existential rules, whether T2 is a conservative extension of T1.