Module check_inheritance 

CHECK definition merging at CREATE and ALTER inheritance boundaries.

Functions

bind_parent_check_columns

duplicate_check

merge_create_checks

Merge bound CHECK expressions after the complete CREATE row type has been validated. Anonymous local constraints remain independent and receive names at publication.

same_check_expression

validate_check_merge

The caller decides whether a local or inherited duplicate is eligible to merge. Existing validation and enforcement states follow PostgreSQL’s directional merge rules.