Хотя мне удалось найти определение предикатов онлайн на MSDN :
Выражение, которое оценивается как ИСТИНА, ЛОЖЬ или НЕИЗВЕСТНО. Предикаты используются в условии поиска предложений WHERE и предложений HAVING, условий соединения предложений FROM и других конструкций, где требуется логическое значение.
Я не смог найти определение остаточного предиката. Что такое остаточный предикат?
1
См. Остаток зонда и Предикат соединения при переполнении стека.
—
Гай