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

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

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