W pracy pokazaliśmy, że nie istnieje algorytm rozstrzygający, czy dla danego zbioru T
zależności bazodanowych (Tuple Generating Dependencies) algorytm T-Chase zatrzyma …