ビジネスルールを形式化して強制するためには、存在制約や非存在制約などのデータモデルを使用します。具体的には、関数の積として定義されるテーブル列間の関係性を明確化し、それらが特定の条件を満たすことを保証します。例えば、「SSN（社会保障番号）」が入力された場合、「BirthDate（生年月日）」も必ず入力されるような条件がある場合、これは存在制約として形式化できます。
このアプローチでは、MatBaseなどのシステムを使用してグラフィカルユーザーインターフェース（GUI）フォームからこれらの制約を宣言し、自動的にコード生成することで強制します。また、適切なドメイン内で関数が定義されているかどうかも確認し、不整合や冗長性が排除されるよう注意する必要があります。