Cosa sono i lock di predicato nel contesto del livello di isolamento Serializable? Come traccia il DBMS le condizioni nelle query SELECT ... WHERE ... per prevenire l'anomalia di scrittura senza bloccare l'intera tabella?