O conceito usado para identificar quais planos de execução são corretos quando há intercalação de operações das transações na execução desses planos é denominado: