下面关于函数依赖的叙述中，( )是Armp公理系统中的推理规则。

A．若Y→X，则X→Y

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

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

D．若X→YZ，则X→Y，X→Z

《事业单位工作人员处分暂行规定》规定，受到处分的事业单位工作人员对处分决定不服的，可以自知道或者应当知道该处分决定之日起三十日内向申请复核。（）

A.纪检监察部门

B.原处分决定单位

C.综合管理部门

D.检察部门