A não trata de critérios para garantir que a transação foi realizada de forma correta. Ele trata do gerenciamento de memória em disco do SGBD.
B é na verdade, um mecanismo que pode aumentar a performance de um Sistema de Gerenciamento de Banco de Dados, a fim de garantir a máxima velocidade efetiva do mecanismo.
C deve satisfazer o critério de atomicidade, em que a operação deve acontecer por completo entre A e B. Além disso, deve também satisfazer o critério de consistência, ou seja, a soma da operação entre A e B deve ser preservada, bem como o critério de durabilidade, o que significa que após a execução ser concluída com sucesso, os novos valores de A e B devem persistir, a despeito de falhas no sistema.
D deve satisfazer o critério de atomicidade, ou seja, a soma da operação entre A e B deve ser preservada. Além disso, deve também satisfazer o critério de consistência, ou seja, a operação deve ser realizada por completo entre A e B, devendo também satisfazer o critério de durabilidade, isto é, após a execução ser concluída com sucesso, os novos valores de A e B devem persistir, a despeito de falhas no sistema.
E não é responsabilidade do SGBD detectar as falhas e recuperar o banco de dados, garantindo seu retorno a seu último estado consistente.