Execução Concorrente e Determinista de Transações