When several transactions are executed concurrently, the result should be the same as if they had been executed in sequence