填空题 如果X→Y（非平凡函数依赖，并且X不函数依赖于Y）、Y→Z，则称Z（）于X。

填空题 如果X→Y，但Y不包含于X，则称X→Y是（）的函数依赖。 如果X→Y，则X称作（）。 如果K是关系模式R（U，F）的任一候选关键字，X是任一属性或属性集，如果X∈K，则X称为（）；否则称为（）。

填空题 并发控制的基本思想是（）。 封锁的基本思想是：当需要查询或更新数据时，先对数据进行（）（不允许其他事务使用），以避免来自其他事务的干扰。 封锁——不允许其他事务使用，降低了事务执行的效率；为了既保证隔离又保证效率针对不同的干扰问题采取不同的（）。 封锁机制的目标：保证事务的隔离性，并且允许最大量的（）事务。分为3种：（）封锁、（）封锁、（）封锁。