在函数信赖中，平凡的函数信赖根据Armstrong推理规则中的（）律就可推出。

关系数据库的关系演算语言是以（）为基础的DML语言。

填空题关系数据库的关系演算语言是以（）为基础的DML语言。

判断一个并发调度是否正确，可以用（）概念来解决。

填空题判断一个并发调度是否正确，可以用（）概念来解决。

模式/内模式映象为数据库提供了（）数据独立性。

填空题模式/内模式映象为数据库提供了（）数据独立性。