As quatro propriedades básicas que uma transação em um banco de dados tem de manter são: