文章目录
什么是IDEF1X
IDEF1X 是 E-R 图的一种细化。例如实体被细分为独立实体、从属实体；其它概念也有所细化。
可以将 IDEF1X 看作是除了 Chen 和 Crow’s foot 之外的第三种表达方法。
独立实体和从属实体
独立实体又称 强实体，从属实体又称 弱实体。
独立实体 的实例的唯一标识不依赖于它与其它实体的联系。主关键字没有外键。
从属实体 的实例的唯一标识依赖于这个实体与其它实体的联系。从属实体的主关键字继承自其它实体的属性。主关键字有外键。从属实体的实例的存在依赖于其它实体的存在。
标定联系和非标定联系
标定联系：父实体的主关键字是子实体的主关键字的一部分时，子实体和父实体之间的联系为 标定联系。此时子实体是从属实体。
非标定联系：不是标定联系的联系。尽管父实体的主关键字可能是子实体的某个属性，但是子实体的唯一标识不需要靠这个属性。
非确定联系与相交实体
非确定联系：实体之间多对多的联系。
非确定联系需要分解为若干个多对一的联系进行表达。非确定联系的表达需要引入 相交实体 作为中介进行表达，例如两个实体之间的多对多的联系可以通过引入相交实体变成两个多对一的联系。
确定性联系通过属性继承实现实体之间的联系；非确定性联系通过引入相交实体实现实体之间的联系。
分类联系与分类实体
分类实体的概念类似于 OOP 中的继承。在 IDEF1X 中“超类”实体称为 一般实体，“子类”实体称为 分类实体。从一般实体到分类实体的过程称为 特化，反之称为 泛化。
分类实体和一般实体具有相同的主关键字。
分类实体和一般实体之间的联系称为 分类联系。完全分类联系 指的是一般实体的实例必然是某个分类实体的实例，反之为 非完全分类联系，即存在不是任意分类实体实例的一般实体的实例（一般实体的范围比分类实体的范围的并集要更大）。
