计算机三级数据库技术考试名词解释（7）
求学快递网计算机等级考试专题重点推荐：2016年计算机三级考试报考时间 、2016年计算机三级考试证书领取时间、2016年计算机三级考试报考指南、2016年计算机三级考试大纲、2016年计算机三级考试政策、2016年计算机三级考试报考条件、2016年计算机三级考试科目等最新新闻资讯。
◆关系实例：就是一个关系，即一张二维表格。
◆属性：在关系模型中，字段称为属性。
◆域：在关系中，每一个属性都有一个取值范围，称为属性的值域。
◆元组：在关系中，记录称为元组。
◆超键：在关系中能唯一标识元组的属性集称为关系模式的超键。(注意，超键是一个属性集)
◆候选键：不含有多余属性的超键称为候选键。
◆主键：用户选作元组标识的一个候选键为主键。
◆外键：某个关系的主键相应的属性在另一关系中出现，此时该主键在就是另一关系的外键，如有两个关系S和SC,其中S#是关系S的主键，相应的属性S#在关系SC中也出现，此时S#就是关系SC的外键。
◆实体完整性规则：这条规则要求关系中元组在组成主键的属性上不能有空值。如果出现空值，那么主键值就起不了唯一标识元组的作用。
◆参照完整性规则：这条规则要求“不引用不存在的实体”。其形式定义如下：如果属性集K是关系模式R1的主键，K也是关系模式R2的外键，那么R2的关系中，K的取值只允许有两种可能，或者为空值，或者等于R1关系中某个主键值。
这条规则在使用时有三点应注意：
1)外键和相应的主键可以不同名，只要定义在相同值域上即可。
2)R1和R2也可以是同一个关系模式，表示了属性之间的联系。
3)外键值是否允许空应视具体问题而定。
◆过程性语言：在编程时必须给出获得结果的操作步骤，即“干什么”和“怎么干”。如Pascal和C语言等。
◆非过程性语言：编程时只须指出需要什么信息，不必组出具体的操作步骤的语言，各种关系查询语言均属于非过程性语言。
◆无限关系：当一个关系中存在无穷多个元组时，此关系为无限关系。如元组表达式{t|┐R(t)}表示所有不在关系R中的元组的集合，这是一个无限关系。
◆无穷验证：在验证公式时需对无穷多个元组进行验证就是无穷验证。如验证公式(∨u)(P(u))的真假时需对所有的元组u进行验证，这是一个无穷验证的问题。
关注求学快递网计算机等级考试专题，帮你了解最新的2016年计算机三级考试资讯服务和2016计算机三级考试成绩查询，让你轻松备考计算机等级考试！
求学快递网计算机等级考试专题的小编们根据网民搜索喜爱，第一时间公布2016年计算机三级模拟试题、2016年计算机三级考试应试技巧、计算机三级考试历年真题、2016年计算机三级考试章节复习供广大求学爱好者学习使用，欢迎继续关注求学快递网计算机等级考试专题，并给我们提供宝贵的意见！
