修正格式

Author: beebeb

Course4/database_transaction.md

@@ -212,8 +212,9 @@ START TRANSACTION;
 COMMIT;
 ```
 
-2. 如果不允许超卖的话，则在事务的过程中，注意事务还未结束，检查quantity是小于0， 小于0则说明超卖了，立即回滚事务，撤销当前的订单。
+2. 如果不允许超卖的话，则在事务的过程中，注意事务还未结束，检查quantity是否小于0， 小于0则说明超卖了，立即回滚事务，撤销当前的订单。
 
+```
 select quantity from inventory_test where product_id=1
 
 if quantity <0 {
@@ -222,7 +223,7 @@ if quantity <0 {
 else {
     COMMIT;
 }
-
+```
 
 ### 6.3 总结
 

Course4/saga.md

@@ -15,7 +15,7 @@
 
 ### 2.2 CAP理论
 
-## 3. 什么是[Sage模式](http://microservices.io/ patterns/data/saga.html)？
+## 3. 什么是[Saga模式](http://microservices.io/ patterns/data/saga.html)？
 
 基于异步消息，协调一系列本地事务，以保证数据最终一次性。
 
@@ -32,13 +32,13 @@
 
 ## 如何实现“隔离性”？
 
-* 在跨服务，没有数据库事务的情况，我们在微服务系统要面临：
+在跨服务，没有数据库事务的情况，我们在微服务系统要面临：
 
 * 更新丢失
 * 脏读
 * 不可重复读
 
-* 解决方法
+解决方法
 
 * 语义化版本锁(Semantic lock)— 应用层锁
 * 可交换更新(Commutative updates)—Design update operations to be executable in any order.