Module checks 

The CHECK constraints of a new table, which DefineRelation adds once the table’s partitioning is set up. AddRelationNewConstraints takes them in written order: it transforms each expression, then rejects a name an earlier CHECK took, merges a named CHECK with the inherited constraint of its name or rejects a name another constraint of the table holds, or else chooses a name, and StoreRelCheck rejects a NO INHERIT constraint on a partitioned table before it creates the constraint row with its OID; a merged CHECK keeps the inherited row.

Functions

define_create_table_checks

Add the CHECK constraints table declares, in written order. held names the constraints the table holds before its CHECKs besides the ones it inherits: the keys and foreign keys a partition clones from its parent.