下面有关测试设计的叙述，说法不正确的是
为了防止某个数据库系统发生故障，设有下列措施：
I.配备UPS保证服务器供电稳定
II.采用双硬盘镜像，以防止单个硬盘出现介质损坏而造成数据丢失
III.定期给操作系统打补丁，以免操作系统被攻击后重启
IV.改善密码管理机制，提高各类密码的安全性，以免发生数据失窃
V.加强事务流程测试和验证，以免发生并发事务死锁
以上措施中，用于防止数据库系统出现系统故障(软故障)的是
设F是属性组U上的一组函数依赖，下列哪一条不属于Armstrong公理系统中的基本推理规则