generated at
Consistency (ACID)
一貫性
状態が予め与えられた条件を満たすことを保証する
整合条件を満たさない様な状態にするようなトランザクションは実行が中断される
銀行の残高は負数になるような取引ができない