子类的对象拥有其超类的对象的全部属性和方法，称为子类对超类的（）。

如果关系模式R的属性之间不存在非平凡且非函数依赖的多值依赖，则R的规范化程序达到了（）。

填空题如果关系模式R的属性之间不存在非平凡且非函数依赖的多值依赖，则R的规范化程序达到了（）。

Annstrong公理系统的3条推理规则是（）、增广律和传递律。

填空题Annstrong公理系统的3条推理规则是（）、增广律和传递律。

被中止的事务对数据库所做的任何改变必须撤销，这称作事务的（）。

填空题被中止的事务对数据库所做的任何改变必须撤销，这称作事务的（）。