データベース内の矛盾と不整合を検出