As transações processadas pelos sistemas gerenciadores de bancos de dados devem ter garantidas quatro propriedades principais. Essas propriedades são: