データモデルが完全なのは、その中に不整合な関係も不整合な専化もない場合です。

関係や専化が不整合なのは、それらのソースエンティティタイプがそのデータモデルに属さない場合です。