在关系模型中，若属性A是关系R的主码，则在R的任伺元组中，属性A的取值都不允许为空，这种约束称为　【7】　规则。

填空题在数据库的外模式、模式和内模式三级模式的体系结构中，存在两级映像：外模式到模式的映像定义了外模式与模式之间的对应关系；模式到内模式的映像定义了数据库的逻辑结构与 【6】 之间的对应关系。

填空题在面向数据流的设计方法中，一般定义了一些不同的映射方法，利用这些方法可以把 【5】 变换成软件结构。