ネーミングコンベンション

1. D_ドメイン名 対象集合の生成元
2. E_実体名 対象集合の生成元
3. b_関数名 射関数の生成元
4. e_実体名 実体状態関係の名前、射関係の生成元
5. r_関係名 二項関係の名前、射関係の生成元
6. f_関係名 関数的二項関係の名前、射関係の生成元
7. p_関係名 部分関数的二項関係の名前、射関係の生成元
8. k_実体名 E_実体名で定義された単射関数的二項関係、主キー

プロファイルの制約は

1. e_実体名: E_1→E_実体名
2. b_関数名:ドメイン名のみリスト→ドメイン名のみリスト
3. k_実体名: E_実体名→ドメイン名のみリスト 制約：全域, 単葉