PowerDesigner provides default model checks to verify the validity of relationships.
| 
                             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. 
  | 
| 
                             Reflexive dependency  | 
                             A dependency means that one entity is defined through a relationship with another. A dependent relationship cannot therefore be reflexive. 
  | 
| 
                             Reflexive mandatory  | 
                             A reflexive mandatory relationship exists. 
  | 
| 
                             Bijective relationship between two entities  | 
                             There is a bijective relationship between two entities when there is a two-way one to one relationship between the entities. This is equivalent to a merge of two entities. 
  | 
| 
                             Name uniqueness constraint between many-to-many relationships and entities  | 
                             A many-to-many relationship and an entity cannot have the same name or code. 
  | 
| 
                             Consistency between dominant and dependent relationships  | 
                             A dependent relationship between entities cannot also be a dominant relationship. 
  | 
Identifier link from child entity  | 
[Barker notation CDM only] A child entity may not be dependant on any entity other than its parents. 
  | 
| 
                             'Many-many' relationships  | 
                             [LDM only] 'Many-to-many' relationships are not permitted. 
  |