Chociaż w MSDN udało mi się znaleźć definicję predykatów online :
To wyrażenie, które ma wartość PRAWDA, FAŁSZ lub NIEZNANY. Predykaty są używane w warunkach wyszukiwania klauzul WHERE i HAVING, warunków łączenia klauzul FROM i innych konstrukcji, w których wymagana jest wartość logiczna.
Nie udało mi się znaleźć definicji tego, czym jest resztkowy predykat. Co to jest orzecznik resztkowy?