The query compiler expands view definitions into the main statement block, which might result in a more complex statement.

It also ensures that the compiler does not move instructions from inside a synchronized block to outside (although it can in some cases move instructions from outside a synchronized block inside).

The compiler can observe that there is a sequence of adjacent blocks that operate on the same lock, and merge them into a single block.