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

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

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

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

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

Oracle数据库系统中负责客户机与服务器之间网络通信的模块是（）。

填空题Oracle数据库系统中负责客户机与服务器之间网络通信的模块是（）。