3.1.3　码

��在第二章的2.4节讨论的超码、侯选码和主码的概念也适用于关系模型。例如，{branch-name}就是关系模式Branch-schema的主码。
��在关系模型中，超码的概念形式化定义如下：设R是一个关系模式。如果说K是R的超码，则限制了关系r(R)，此关系的任意两个不同元组在K的所有属性上的值不会完全相等。也就是说，如果t1和t2都属于（∈）r，而且t1≠t2，那么t1[K] ≠ t2[K]。
��如果数据库的关系模式是基于E-R模式导出的，那么就可以由导出关系模式的实体集和联系集的主码来确定关系模式的主码，具体情况分别介绍如右：

��在上一章中，我们给出了超码、侯选码和主码的比较形象的定义。这些定义只是为了便于理解。在进行运算和证明的时候，需要的还是形式化的定义。同学们要注意培养抽象思维的能力，学会用形式化的方法来描述概念。