下列关于进程控制的叙述中，不正确的是

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

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

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

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

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

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

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

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

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

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