Свойство (С) - согласованность транзакций определяется наличием понятия согласованности базы данных.