So Rust would be able to figure out that some transactions might be prone to rollbacks? What's the name of Rust's database library which does that?