填空题
如果关系模式R的属性之间不存在非平凡且非函数依赖的多值依赖，则R的规范化程序达到了（）。
BCNF
填空题 Annstrong公理系统的3条推理规则是（）、增广律和传递律。
填空题 被中止的事务对数据库所做的任何改变必须撤销，这称作事务的（）。
填空题 Oracle数据库系统中负责客户机与服务器之间网络通信的模块是（）。
