分布式事务算法包括什么