Um mecanismo de controle de concorrência utilizado pelos sistemas gerenciadores de bancos de dados é denominado