PowerDesigner provides default model checks to verify the validity of horizontal and vertical partitioning and table collapsing objects.
| 
                             Check  | 
                             Description and Correction  | 
|---|---|
Name/Code contains terms not in glossary  | 
[if glossary enabled] Names and codes must contain only approved terms drawn from the glossary. 
  | 
Name/Code contains synonyms of glossary terms  | 
[if glossary enabled] Names and codes must not contain synonyms of glossary terms. 
  | 
Name/Code uniqueness  | 
Object names must be unique in the namespace. 
  | 
| 
                             Existence of partition  | 
                             [horizontal and vertical partitionings] A partitioning object cannot be empty, it must contain at least one partition. 
  | 
Existence of target table  | 
[collapsings] A table collapsing must have a table as result of the collapsing. 
  | 
| 
                             Unavailable target table  | 
                             A partition or collapsing object requires a table to act upon. 
  |