Something I'd like to see would be the ability to make assertions about which databases a query will need a write lock on, such that the queries will fail at runtime if such an assertion was made but more locks are needed than were declared.

This could allow more fine-grained locking to be used in places where global locks presently apply, without loss of safety.

...or is there an existing alternative that I've missed?