12.7 声明式事务控制