Uma transação é uma unidade de execução de programa que acessa e, possivelmente, atualiza vários itens. Há uma propriedade das transações que garante que a execução simultânea de transações resulte em uma situação no sistema equivalente ao estado obtido caso as transações tivessem sido executadas uma de cada vez, independente da ordem em que são executadas. Essa propriedade denomina-se: