Подробное описание документа
Овчинников В. А.
Методика формального синтеза комбинированных структур данных для представления графов / Овчинников В. А., Иванова Г. С. - DOI 10.18698/2308-6033-2012-1-79 // Инженерный журнал: наука и инновации. - 2012. - № 1. -
На примере организации хранения множества ребер гиперграфа и их образов относительно предиката инцидентности рассмотрена методика синтеза комбинированных многоуровневых структур данных. Математическими моделями базовых и производных структур данных являются ориентированные графы. Модель синтезированной структуры формируется в результате выполнения операции объединения модели исходной структуры и модели отношений, обеспечивающих эффективную реализацию заданных операций.
