O componente do banco de dados que garante que o banco de dados permanecerá em estado consistente (correto), a despeito de falhas no sistema, e que transações concorrentes serão executadas sem conflitos em seus procedimentos é conhecido como: