引入原子交易概念，彻底解决应用逻辑的复杂性的是（）。