在U/C矩阵中，检验每个数据类列必须有一个C且至少有一个U，每个功能行必须有C或U的过程是

A．完备性检验

B．一致性检验

C．无冗余性检验

D．安全性检验