Методические указания к дипломному проектированию для специальности 220400 "Программное обеспечение вычислительной техники и автоматизированных систем". Белоусова В.В - 75 стр.

   Л.1.2.4 Связи категоризации
   Некоторые сущности определяют целую категорию объектов од-
ного типа. В IDEF1X в таком случае создается сущность для определе-
ния категории и для каждого элемента категории, а затем вводится для
них связь категоризации. Родительская сущность категории называется
супертипом, а дочерние - подтипом (рисунок Л.5).
   Например, сущность СОТРУДНИК может содержать данные как о
преподавателях, так и об инженерах. Первые и вторые имеют различ-
ные, частично пересекающиеся наборы атрибутов (минимальное пере-
сечение подтипов составляет первичный ключ). Общая часть этих атри-
бутов (табельный номер, ФИО, адрес, телефон, дата рождения), вклю-
чая первичный ключ, помещается в сущность-супертип СОТРУДНИК.
Различная часть (например, стаж преподавания для преподавателя и
стаж работы для инженера и т.п.) помещается в сущности-подтипы.




         Рисунок Л.5 - Пример связи неполной категоризации


   В сущности-супертипе вводится атрибут-дискриминатор (напри-
мер, Тип_служащего), позволяющий различать конкретные экземпляры
сущности-подтипа.

   В зависимости от того, все ли возможные сущности-подтипы вклю-
чены в модель, категорийная связь является полной или неполной.
   Рассмотренная на рисунке Л.5 связь является связью неполной ка-
тегоризации.