保存される最終状態を保護する

不変条件とは、データベースがどのような状態であっても常に満たしていなければならない条件のことです。PRIMARY KEYとUNIQUEは識別（例: products.id）、NOT NULLは必須値（例: qty）、CHECKは行の条件（例: price >= 0）、FOREIGN KEYは参照（例: orders.customer_id）を保護します。アプリの検証は操作を分かりやすくし、データベース制約はすべての書き込み経路を保護します。