当一个事务T对某数据集建立了排它锁，则不再允许其他事务对这个数据集合再建立任何类型的锁，直至事务T释放了对数据集合锁为止
指用户将自己拥有的部分或全部权利转授给其他用户的命令形式
在验证公式时需对无穷多个元组进行验证就是无穷验证。