事务实验1：并发控制、check约束与隔离级别

本实验主要探讨了数据库事务、并发控制以及SQL操作的相关概念。首先，实验通过实例展示了事务的不同执行模式，包括顺序执行、事务化执行（包括显式提交和回滚）以及自动提交模式。在实验中，参与者需要修改`tbcell`表的检查约束，例如从`'122880-0'`到`'1228822-2'`之间的范围，然后调整到`'15310-0'`到`'15380-0'`，并观察不同操作对数据的影响。 在数据表更新部分，实验区分了显式事务操作（如`rollback`和`commit`）与自动提交模式下的行为。同时，通过删除和增加列`CELL_TYPE`，演示了如何处理数据库模式的变化，并且在遇到问题时进行回滚。实验还对比了多条`insert`和`delete`操作在不同模式下的执行效果。 实验的核心部分涉及到事务的保存点设置和局部回滚，通过`savepoint`来控制事务操作的可逆性，以及在遇到错误时能够回滚到特定点。局部回滚允许在事务的一部分操作完成之后，仅撤销这部分操作，而整体回滚则会撤销整个事务。 并发控制方面，实验着重于隔离级别的理解，包括系统默认的隔离级别和用户自定义级别。在`read-uncommitted`隔离级别下，实验观察了脏读现象，即事务可以在未提交更改的情况下读取其他事务的数据，这可能导致不一致的结果。实验步骤详细描述了如何设置隔离级别，以及如何通过具体操作展示并发副作用。 总结来说，这个实验涵盖了事务的生命周期管理、并发控制策略以及SQL操作对数据库一致性的影响，有助于理解和掌握数据库事务处理和并发控制的基本原理。通过实践这些操作，学生能够深入理解事务处理在实际应用中的关键作用和可能出现的问题。