Можете объяснить, что подразумевается под свойством согласованности в контексте транзакций и принципов ACID?