下列问题是基于如下叙述：关系模式Student(Sno,Sname,Cno,Cname,Grade,Tname,Taddr)的属性分别表示学号、学生姓名、课程号、课程名、成绩、任课教师名和教师地址。其中，一个学生可以选修若干门课程，一个教师可以讲授若干门课程，一门课程可以由若干教师讲授，一个学生选修一门课程时必须选定讲授课程的教师，教师不会重名。

关系模式Student的规范化程度最高达到

DBMS对数据库进行封锁时采用的两种基本锁类型是排它锁(X)和______。

Annstrong 公理系统的三条推理规则是【 】、增广律和传递律。

对实际问题总是先设计一个【 】模型，然后再把它转换成计算机能实现的【 】。

对数据库结构的描述和定义存储在______中，它是DBMS运行的基本依据。

虚拟存储管理的效率与程序局部性程度有很大关系，进程运行时，在一段时间内程序的执行呈现出高度的时间局部性和______。

数据库系统的三级组织结构中，DBA视图是【 】。

从设备的工作特性来分类，设备可以分为存储设备、【 】。

在稀疏矩阵所对应的三元组线性表中，每个三元组元素按______为主序排列。

用高级语言编写的程序称之为【 】。

设有关系模式R(A，B，C) 和S(E，A，F)，若R．A是R的主码，S．A是S的外码，则S．A的值或者等于R中某个元组的主码值，或者取空值(null)。这是______完整性规则