- トランザクションが提供する[[Safety]]の保証 - [[Atomicity]]: All or Nothing - ACIDの文脈におけるAtomicityは並行性とは関係なくて(それはIsolation)、クライアントがトランザクションの中で複数のデータの書き込みをしたときに、Commitしたのにどこか一部が反映されていないみたいなことにならないという保証 - [[Consistency]] - データが不変条件を守っている、という意味 - 不変条件はアプリケーションによって異なる。ACIDの中でCだけは、データベースの特性ではなくアプリケーションの特性 - ACIDの中で、Cは頭字語を成立させるために付け加えられたものであり、本来ACIDに属するものではない - [[CAP]], [[PACELC theorem]]のCとは違うので注意 - [[🌐Distributed Systems・Concurrency・Transaction・DB/Isolation]]: [[Concurrency Control]] - 並行で実行されるトランザクションがあっても、あたかもそれぞれが順番に処理されている(=同時に実行されているトランザクションはない)かのように(Seriallyに)振る舞うことを保証する - 古典的には[[Serializability]] - 並行性が問題になるのは、1つのトランザクションが他のトランザクションから並行して変更されているデータを読み込む場合(read-write)、あるいは2つのトランザクションが同じデータを変更する場合(write-write)。read-readは安全 - [[Durability]] - データが失われないという性質 - [[WAL]]とか - 完全な永続性は存在しない - 地球が破壊されたらおしまいなので