设关系模式R（A，B，C），F是R上成立的FD集，F={B→A，B→C}，则分解ρ={AB，AC}丢失的FD是（）。

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

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

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

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

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

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