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