在关系数据库系统中，当关系的类型改变时，用户程序也可以不变。这是()。

A．数据的物理独立性

B．数据的逻辑独立性

C．数据的位置独立性

D．数据的存储独立性

任何一种证明制度，都由以下环节构成：（）、证明主体、证明责任、（）、证明方法、证明程序。