下列关于函数依赖的规则中，哪一条是正确的

A．若X→Y，WY→Z，则XW→Z

B．若X

Y，则X→Y

C．若XY→Z，则X→Z，Y→Z

D．若X∩Y=

，则X→Y

系统/软件开发的原型化方法是一种有效的开发方法，下述基本环节中( )是原型形成后才应实施的内容。

A．识别基本需求

B．开发工作模型

C．修正和改进模型

D．进行细部说明