事务处理支持

基于MVCC和特有的泳道模型，完全支持事务ACID属性。在事务提交的时候，通过记录文件逻辑长度的方式来保证一致性。