算法的每一步都应该是确定的，能有效的执行的，并且得到确定的结果，这是指算法的（　　）

A：有穷性

B：确定性

C：普遍性

D：不唯一性