PowerDesigner provides default model checks to verify the validity of inheritances.
| 
                             Check  | 
                        
                             Description and Correction  | 
                    
|---|---|
| 
                             Inheritance name and code uniqueness  | 
                        
                             Inheritance 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.  | 
                    
| 
                             Existence of inheritance link  | 
                        
                             An inheritance must have at least one inheritance link, from the inheritance to the parent entity. Manual correction: Define the inheritance link or delete the inheritance. Automatic correction: None.  | 
                    
| 
                             Incomplete inheritance with ungenerated ancestor  | 
                        
                             [LDM only] If an inheritance is incomplete, the parent should be generated because you can lose information. Manual correction: Generate parent entity or define the inheritance as complete. Automatic correction: None.  |