ACID (コンピュータ科学)
トランザクション中に行われる操作の過程が他の操作から隠蔽されることを指し、日本語では分離性、独立性または隔離性ともいう。より形式的には、独立性とはトランザクション履歴が直列化されていることと言える。この性質と性能はトレードオフの関係にあるため、一般的にはこの性質の一部を緩和して実装される場合が多い。
預金残高の例では、残高100万円の口座Aから残高200万円の口座Bに1万円送金する場合の操作が
口座Aの残高から1万円を引く
口座Bの残高に1万円を加える
の順序で行われたとする。取りうる内部状態は、
の3つになるが、外部からは送金前と送金後のいずれかの状態しか観測できない。