Anche se sono stato in grado di trovare la definizione di predicati online su MSDN :
Espressione che restituisce VERO, FALSO o SCONOSCIUTO. I predicati vengono utilizzati nella condizione di ricerca delle clausole WHERE e HAVING, delle condizioni di join delle clausole FROM e di altri costrutti in cui è richiesto un valore booleano.
Non sono stato in grado di trovare la definizione di cosa sia un predicato residuo . Che cos'è un predicato residuo?