事务并发控制机制中，避免活锁产生的方法是采用（）的策略。

事务的ACID特性包括：（）、一致性、（）和持续性。

填空题事务的ACID特性包括：（）、一致性、（）和持续性。

关系的实体完整性规则定义了（）不能取空值。

填空题关系的实体完整性规则定义了（）不能取空值。

已知系（）和学生（）两个关系，学生关系的主码是（），学生关系的外码是（）

填空题已知系（）和学生（）两个关系，学生关系的主码是（），学生关系的外码是（）