6.2.1.5 ROOT_CLASS <T, ID>
classification_item = T
classification_item <-
applied_classification_assignment.items[i]
applied_classification_assignment <=
classification_assignment
{classification_assignment.role ->
classification role
classification_role.name = 'class membership'}
classification_assignment.assigned_classification ->
group =>
{group.name = ID}
class
T：分類されたinstanceタイプ
ID：class id
Classification_itemに値"T"が代入され、そのentityは属性items[i]によってapplied_classification_assignmentに参照される。このときapplied_classification_assignmentはclassification_assignmentを親entityとして持っている。
classification_assignmentは属性roleによってclassification_roleを参照し、classification_roleの属性nameは'class membership'であることが制限されている。
classification_assignmentは、属性assigned_classificatonによってgroupを参照し、groupはclassの親entityである。このとき、groupの属性nameがIDであると言う制限を持つと言うことが記述されている。
この関係をEXPRESS-Gで表現すると図6.2-5となる。
