Module locking 

SQL row-lock restrictions, propagation, and mutation lock strength.

Modules

null_rejection

Determine nullable join sides from SQL predicates and strict function metadata.

Functions

apply_propagated_view_lock

Apply a row mark selected for a stored view to the view plan before execution. Stored view plans are not present when the SQL compiler pushes row marks into derived tables, so runtime expansion must perform the same propagation to ensure an outer NOWAIT or SKIP LOCKED policy is merged before an inner row mark can block.

query_plan_has_row_locks

update_lock_strength

validate_locking_block_shape