注文データは注文が決まった後に入力されるはずですから、注文日がデータ入力日よりも後の日付になることはありません。同様に、貸出日が返却日より後の日付だったり、仕入数よりも販売数が多くなったりすることは起こり得ません。もし違っていれば入力されたデータが誤っているということです。 シーケンスチェックは、データが定められた順番に並んでいるかどうかを検証するものです。 重複チェックは、入力データと同じデータが既に入力済みではないか(一意であるか)を検証するものです。 フォーマットチェックは、入力データのけた数や文字種などの書式や形式が正しいかを検証するものです。