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

正規化

整合性制約

データ中心設計

排他制御