Cтраница 4
При некоторых ограничениях проблема выводимости для табличных зависимостей разрешима. Другой случай - это когда табличные зависимости не являются вложенными. В обоих случаях процесс прогонки всегда заканчивается. Во втором случае прогонка заканчивается даже тогда, когда добавлены обобщенные функциональные зависимости. [46]