数据库：ER图
⽂章⽬录
河流的英语
这个学期上数据库课，于是想做⼀些笔记，以备期末复习。⾸先是如何画数据库的ER图。
实体集
实体是客观世界的对象，实体集就是⼀类相似实体的集合。实体集⽤矩形表⽰，名称为名词复数且⾸字母⼤写。
实体集中的实体有相同的属性。属性⽤椭圆表⽰，名称为名词单数。
每个实体集都可以选取⼀个或多个属性作为主码，主码可以唯⼀确定⼀个实体。主码的属性⽤下划线标出。
脏的的英文
袁祥联系集
联系是两个或多个实体之间的⼀种关联，联系集就是⼀类相似联系的集合。联系集⽤菱形表⽰，名称为动词且⾸字母⼤写。
联系集也可以有描述性属性，同样⽤椭圆表⽰，但联系必须能够⽤参与它的实体的集合唯⼀表⽰。
码约束
若⼀个实体最多出现在⼀个联系中，则形成码约束，这样的联系集也称为“⼀对多”，其中“多”指的是被约束的实体集。码约束⽤箭头来表⽰。
参与约束
若⼀个实体集中的实体全部参与联系，则形成参与约束，这样的实体集也称为“完全的”。参与约束⽤粗线表⽰。
远水不解近渴
弱实体
若⼀个实体集没有主码，但可以与其它实体集的主码结合形成唯⼀标识，则为弱实体集，与其结合的实体集为识别属主集。
弱实体集中作为唯⼀标识的属性为部分码，⽤下划虚线标出。
为了唯⼀标识每个弱实体，识别属主集和关联弱实体集必须参与⼀个“⼀对多”联系集，即识别联系集，弱实体集在识别联系集中必须是完全参与的。
类层次
可以对⼀个实体集分类形成ISA结构，即每个⼦类都具有超类的属性和各⾃的属性。ISA结构可以指定两种约束：Overlap 和 Covering。Overlap约束指的是存在⼀个实体属于不同⼦类，即⼦类集合的交集可以不为空集。默认不存在Overlap约束，即⼦类集合的交集必须为空集。
我相信英文Covering约束指的是不存在⼀个实体属于超类但不属于⼦类，即⼦类集合的并集必须为全集。默认不存在Covering约束，即⼦类集合的并集可以不为全集。
聚合与三元联系
当⼀个联系集关联三个实体集时，可以选择聚合或三元联系。
开机启动项怎么关闭三元联系指的是⽤⼀个联系集关联三个实体集。
聚合指的是⽤⼀个联系集关联两个实体集，再⽤另⼀个联系集关联第三个实体集和第⼀个联系集。
笔记本内存安装
⼀开始我总觉得三元联系和聚合差不多，甚⾄没必要区分，因为根据三元联系实例总能构造三元联系和聚合，虽然有时候其中⼀种表达更准确，但有时候确实没有哪个显得更好⽤。
不过，当实体集加上码约束后情况就不⼀样了。假设有三个实体集ABC，构造聚合，R1联系AB，R2联系C和R1，然后对R2联系的R1加上码约束，表⽰AB实体的每⼀个R1联系最多出现在⼀个R2联系中。
⽽三元联系⽆法表⽰这种情况，即使对A和B都加上码约束，得到的联系也不完全相同，⽐如a1-b1-c和a1-b2-c可以同时属于⼀个聚合实例中，却不能同时属于⼀个三元联系中。
总结
蚂蚁和西瓜的故事设计ER图的步骤：⾸先考虑有哪些实体集和联系集以及对应的属性，然后再加上码约束，最后适当采⽤特殊结构保证描述准确。
参考资料
Raghu Ramakrishnan, Johannes Gehrke. Databa Management Systems (Third Edition)[M]. 北京：清华⼤学出版社, 2003.
