IDEF1X
エンティティのインスタンスの一意な識別子として選択された、一組の候補キー。
メタモデルは、有効なIDEF1Xモデルに対応するサンプルインスタンス表といった通常の方法によって、その集合を非形式的に定義する。メタモデルはまた、次に述べる方法によって有効なIDEF1Xモデルの集合を形式的にも定義する。メタモデルはIDEF1Xモデルとして対応する形式理論を持ち、理論の意味 (semantics) は標準的な方法で定義される。つまり、理論の解釈(英語版) (interpretation) は個体のドメインおよび以下の割り当ての集合から構成される。
理論における定数には、ドメイン上の個体が割り当てられる。
理論におけるn項関数記号には、ドメイン上のn項関数が割り当てられる。
理論におけるn項述語記号には、ドメイン上のn項関係が割り当てられる。
意図された解釈 (intended interpretation) において、個体のドメインはビュー(例:製造)、エンティティ(例:部品や製造者)、ドメイン(例:在庫数)、接続リレーション、カテゴリのクラスタなどから構成される。理論のすべての公理がその解釈において真であるとき、その解釈はその理論に対するモデルと呼ばれる。IDEF1Xメタモデルとその制約に対応するIDEF1Xの理論に対するモデルは、すべて有効なIDEF1Xモデルである。