IDEF1X建模方法
一、IDEF1X概述
1、IDEF0侧重描述系统功能，被称为功能建模方法;IDEF1X侧重分析、抽象和概括应用领域中的数据，称为数据建模方法
2、IDEF1X方法具有丰富的语法和语义
3、实体集分为：
(1)独立标识符实体集；
(2)从属标识符实体集
4、实体集之间的联系分为:
(1)标定型联系
(2)非标定型联系
(3)分类联系
(4)不确定联系
二、IDEF1X模型元素
1、实体集:
(1)实体集语义:
如果一个实体集的每一个实例都能被唯一地标识，而不决定于它与其他实体的联系，那么该实体集称为独立实体集;否则就叫从属实体集
(2)实体集语法:
IDEF1X用矩形框来表示独立实体集，用圆角矩形框来表示从属实体集
2、联系:
(1)标定型联系:
一个“确定型联系”中，如果子女实体集中的每个实例都是由它与双亲的联系而确定的，这个关系称为"标定型联系”;
在IDEF1X图中，联系的语法用直线表示，在一个标定型联系中，子女实体集总是一个从属实体集，用圆角矩形框表示;
(2)非标定型联系:
一个"确定型联系”中，如果子女实体集中的每一个实例都能被唯一地确认而无需了解与之相联系的双亲实体集的实例，这个问题关系叫“非标定型联系”。
如果两个实体集之间有关系，并且是一个非标定联系，就用一条虚线把它们连接起来。
(3)分类联系:
是两个或多个实体集之间的联系，且在这些实体集中存在一个一般实体集，它的每一个实例都恰好与一个且仅一个分类实体集的一个实例相联系。
一般实体集的一个实例只能与分类实体集的一个实例相对应;
(4) 不确定联系:
一个非确定联系又称为多对多联系，这种联系关联的两个实体集之间，任一实体集的一个实例都将对应另一实体集的0个、1个或多个实例。
不确定联系用一个两端带有实心圆的线段描述，表示多对多的连接关系。
3、属性
(1)属性的语义:
用来描述一类现实或抽象事物的特征或性质。一个属性的具体取值叫属性实例，它由属性的类型和值来定义。
(2)属性的语法
(A)主码和非主码属性语法:
在一个实体集中属性要有惟一的名字，属性名由名词表示，主码属性名后加(PK)标注，被列在属性列表的顶端，并用水平线将主码和其他属性分开。
(B)外码语法:
在外码属性后加（FK）来识别由联系继承得到的外来属性。