Определяются общие принципы представления иерархических структур, таких как специа-лизации и категоризации в моделях данных, иерархии классов в ООП. Такое представление позволяет глубже анализировать семантику предметной области и решать задачу оптимальной универсальной реализации по-добных структур в системах баз данных и объектно-ориентированных приложениях. Возможность для такого обобщения обеспечивают IS-THE-отношения и IS-THE-отображения, на основе которых строятся IS-THE-графы. Выделение по определенным правилам подграфов этих графов порождает известные в информатике виды иерархических структур: иерархию единичного наследования (иерархию специализации), граф выбо-рочного наследования (двухуровневый граф категоризации), двухуровневый граф множественного наследо-вания.