下列关于无冗余检验的说法中正确的是( )。

• A、
  功能则必须有产生或使用(“U”或“C”元素)发生
• B、
  是指对具体的数据项／类必须有一个产生者(“C”)和至少一个使用者(“U”)
• C、
  表中不允许有空行空列
• D、
  是指对具体的数据项／类必有且仅有一个产生者(“C”)