用于结核性脑膜炎治疗的药物有（）

A.异胭肼

B.链霉素

C.乙胺丁醇

D.利福平

E.吡嚷酰胺

原型定义的属性中，保证需求没有逻辑上的矛盾的是

A．一致性

B．完备性

C．可维护性

D．非冗余性