关系型数据库概要

rails的ORM用得有点多了，对于其底层封装的关系型数据库的记忆反而不是很清晰了，让我们来重新回顾一下吧。有很多初学的同学可能对关系型数据库有一些误解，以为关系型数据库就是mysql，其实不然，关系型数据库是指一种关系模型，甚至可以认为是一种数据模型，mysql只是一种实现，还有pg等一大票数据库的应用层实现。《数据库系统概念》是一本好书，可惜啰里八嗦说了好多晦涩的话，搞得我每次看了之后都会忘记所看过的东西，可能这就是学术的严谨性吧。在这里，希望可以去粗取精，加深印象。

在关系模型的术语中，关系(relation)代表用来指代表，而元组(trule)用来指代行。类似地，属性用来指代表中的列。对于某个关系中的每个属性，都存在一个允许取值的集合，我们称之为该属性的域。比如在某一个关系中，存在一个属性season，而这属性的域就是[spring, summer, autumn, winter]，这个属性的取值就是只能在这里面四取一。这些概念其实在我们工作的时候常会混淆，区分好这些会利于我们的思维表达。

其次在我们讨论数据库的时候，我们必须区分好数据库模式和数据库实例的区别。前者是数据库的逻辑设计，而后者是给定时刻数据库中的数据的一个快照，通俗一点说，这个快照就是我们真实的数据，我们把这些数据按照我们所设计的模式存放。

好，继续往前走，我们再来看看关系型数据库中的key，这几种key分别是主键，候选键，和超键。首先，超键是一个或者多个属性的集合，这些属性的组合可以使我们在一个关系中唯一地标识一个元组。比如，某一个描述学校组织的关系中，ID属性足以将不同的教师元组区别开来。因此，ID是一个超码，另一方面，name属性却不是一个超码，因为有几个老师可能重名。然而，超码中可能会包含一下一些无关紧要的属性，比如说，ID和Name的集合也是一个超码，但是name这个属性确实冗余的，去掉冗余属性之后的最小超码称为候选码。现在，主键的含义很明显了，他就是用来标示某个元组在它所存在的关系中是是唯一的。

一个关系模式(r1)可能在它的属性中包含另一个关系模式(r2)的主键，这个属性在r1上被称为外键，关系r1被称为外码依赖的参照关系，r2叫做外码的被参照关系。参照完整性约束要求在参照关系中任意元组在外键取值上的取值必然等于被参照关系中主键取值。