推荐 设F是属性组U上的一组函数依赖，下列哪一条不属于Armstrong公理系统中的基本推理规则？ 软件设计的目标是 在文件系统中，文件的逻辑块与存储介质上物理块存放顺序一致的物理结构是 用户程序在用户态下使用特权指令而引起的中断是 需求分析的主要任务是（ ）。