Explique as diferenças e compatibilidade dos bloqueios ao nível de linha no PostgreSQL: SELECT ... FOR UPDATE, FOR NO KEY UPDATE, FOR SHARE e FOR KEY SHARE. Como eles diferem do bloqueio otimista?