Spiega le differenze e la compatibilità delle lock a livello di riga in PostgreSQL: SELECT ... FOR UPDATE, FOR NO KEY UPDATE, FOR SHARE e FOR KEY SHARE. Come si differenziano dal locking ottimistico?