一貫性
テーブル
を跨いで
処理
を行う場合でも
整合性
が保証される性質.