O SGBD deve forçar ROLLBACK de uma transação que não atingir seu término planejado?

Resposta

Sim.

Justificativa:
O SGBD aplica ROLLBACK para preservar a Atomicidade — a transação ou termina totalmente ou não produz efeito.
Isso é garantido pelo mecanismo de recuperação com log de alterações (undo/redo) e políticas como write-ahead logging.
Na recuperação, refaz-se (redo) transações confirmadas e desfaz-se (undo) transações não confirmadas.