データベースシステムにおいて，複数のトランザクション処理プログラムが同一データベースを同時に更新する場合，論理的な矛盾を生じさせないために用いる技法はどれか。

再編成

正規化

整合性制約

排他制御