12.4.2 分布式事务的语法