PowerDesigner provides default model checks to verify the validity of keys.
| 
                             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. 
  | 
| 
                             Key code length  | 
                             The key code length is limited by the maximum length specified in the DBMS definition (MaxConstLen entry, in the category). 
  | 
| 
                             Key column exists  | 
                             Each key must have at least one column. 
  | 
| 
                             Key inclusion  | 
                             A key cannot include another key (on some columns, regardless of their order). 
  | 
| 
                             Multi-column key has sequence column  | 
                             Since the column initialized by a sequence is already a key, it should not be included in a multi-column key. 
  |