在U/C矩阵中，对每个数据类必须有一个产生者和至少一个使用者的检验，称为（）。

A.一致性检验

B.完备性检验

C.无冗余性检验

D.相关性检验