Erklären Sie die Unterschiede und die Kompatibilität der Zeilensperren in PostgreSQL: SELECT ... FOR UPDATE, FOR NO KEY UPDATE, FOR SHARE und FOR KEY SHARE. Wie unterscheiden sie sich von optimistischem Locking?