PowerDesigner provides default model checks to verify the validity of keys.
| 
                             Check  | 
                        
                             Description and Correction  | 
                    
|---|---|
| 
                             Key name and code uniqueness  | 
                        
                             Key names and codes must be unique in the model. Manual correction: Modify the duplicate name/code Automatic correction: Appends a number to the duplicate name/code  | 
                    
| 
                             Key code length  | 
                        
                             The key code length is limited by the maximum length specified in the DBMS definition (MaxConstLen entry, in the category). Manual correction: Modify the key code length to meet this requirement Automatic correction: Truncates the key code length to the maximum length specified in the DBMS definition  | 
                    
| 
                             Key column exists  | 
                        
                             Each key must have at least one column. Manual correction: Add a column to the key from the Column tab of the key property sheet Automatic correction: Deletes key without column  | 
                    
| 
                             Key inclusion  | 
                        
                             A key cannot include another key (on some columns, regardless of their order). Manual correction: Delete the key that includes an existing key Automatic correction: None  | 
                    
| 
                             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. Manual correction: Detach the sequence from a column that is already part of a multi-column key Automatic correction: None  |