The process of executing a transaction so that it leaves a distributed system in the proper state. For example, a transaction often consists of a number of other transactions, and the software that carries out transaction processing should ensure that no transaction interferes with another transaction to leave the system in an erroneous state.