事务提交后，数据库必须确保其修改已被正确写入磁盘，以防止系统故障导致数据丢失。这是通过事务日志和日志写入机制实现的。