设F是关系模式R的FD集，如果对F中每个非平凡的FDX—Y，都有X是R的超键，则()。

ER(实体联系模型)模型是数据库的设计工具之一，它一般适用于建立数据库的()。

版本控制软件ClearCase涵盖的范围包括版本管理、________、工作空间管理和过程控制。

DBMS的并发控制子系统保证了事务的()。

将长度为n的单链表连接在长度为m的单链表之后，其算法的时间复杂度为()。