存储过程是使用SQL语句和流程控制语句编写的模块，存储过程经编译和优化后存储在（）中。

设有关系模式R（A，B，C，D），F是R上成立的FD集，F={B→A，B→D}，则R的候选键是（）

填空题设有关系模式R（A，B，C，D），F是R上成立的FD集，F={B→A，B→D}，则R的候选键是（）

实体完整性规则要求关系中元组在组成（）的属性上不能有空值。

填空题实体完整性规则要求关系中元组在组成（）的属性上不能有空值。

根据数据模型的不同，DBMS可以分成层次型、网状型、关系型、（）型等。

填空题根据数据模型的不同，DBMS可以分成层次型、网状型、关系型、（）型等。