工程化建模–IDEF1X
IDEF1X是ER图的细化
IDEF1X是一种进行数据建模或数据库设计的工程化的方法
重要概念
- 实体
独立实体-----强实体
从属实体-----弱实体- 联系
可标定连接联系
非标定连接联系
分类联系
非确定联系- 属性/关键字
属性
主码
候选码
外来码
实体
- 独立实体:一个实体的实例都被唯一的标识而不决定于它与其他实体的联系
特征:独立实体的关键字属性是自身拥有的属性 - 从属实体:一个实体的实例的唯一标识需要依赖于该实体与其他实体的联系
特征:从属实体需要从其他实体继承属性作为关键字的一部分
主关键字包含了外来属性的实体为从属实体 - 实体的规则:工程化的要求
独立实体用直角方形框,从属实体用圆角方形框表示
独立实体的主关键字没有外键,从属实体的主关键字含有外键
属性/关键字
- 属性:表示一类现实或抽象事物的一种特征或性质
- 关键字:能唯一确定实体每一个实例的属性或属性组
关键字,被区分为主关键字和次关键字 - 属性的规则:工程化的要求
单主规则
非空规则
非重复规则 - 主关键字和次关键字的规则:工程化的要求
最小关键字规则
完全函数依赖规则
非传递依赖规则 - 外来关键字:是其他实体的关键字
- 外来关键字的规则:工程化的要求
存在一个联系,只能有一个外来关键字
被继承属性只能是主关键字所包含的属性
联系
- 联系有连接联系、分类联系、和不确定性联系 --》一对一 一对多 多对多
连接联系,又称父子联系,又可进一步区分为标定联系和非标定联系 —》IDEF1X建模重点在联系的处理和识别 - 标定联系:子实体的实例都是由它与父实体的联系而确定的。父实体的主关键字是子实体主关键字的一部分
- 非标定联系: 子实体的实例能够被唯一标识而无需依赖与其实体的联系。父实体的主关键字不是子实体的主关键字
标定联系和非标定联系的规则:工程化的要求
标定联系用实直线表示,非标定联系用虚直线表示
在子实体一侧有圆圈,联系名标注在直线旁 - 非确定联系:即实体之间的多对多的联系
非确定联系必须分解为若干个一对多的联系来表达
相交实体/相关实体:
非确定联系通过引入相交实体来分解为若干个一对多的联系来表达 - 分类联系: 一个实体的实例是由一个一般实体实例及多个分类实体实例构成
一个一般实体是若干具体实体的类
分类实体与一般实体具有相同的主关键字
不同的分类实体除具有一般实体特征外,各自还可能具有不同的属性特征 - 具体化和泛化: ---->类比父类-子类
- 根据差异特性对该实例集进行分组/分类,这一分组/分类的过程称为具体化
- 泛化:若干个实体根据共有的性质,可以合成一个较高层的实体。泛化是一个高层实体与若干低层实体之间的包含关系
具体化强调同一实体不同实例之间的差异属性,泛化强调不同实体之间的相似属性 - 完全分类联系与非完全分类联系: