填空题 Armstrong公理系统中的增广律的含义是：设R是一个关系模式，X，Y是U中属性组，若X→Y为F所逻辑蕴含，且ZÍU，则（）为F所逻辑蕴含。

填空题 达到（）级别的产品才被认为是真正意义上的安全产品。

填空题 保证事务的任何一种调度执行后数据库总处于一致状态，这是由数据库系统的（）部件负责的。