Объектно–ориентированные данные и префиксная перезапись. Часть I: Обзор и основные результаты | Sciact - Система учета научной деятельности ИМ СО РАН

Объектно–ориентированные данные и префиксная перезапись. Часть I: Обзор и основные результаты Научная публикация

Журнал

Сибирский математический журнал
ISSN: 0037-4474

Вых. Данные

Год: 2026, Том: 67, Номер: 3, Страницы: 392-413 Страниц : 22 DOI: 10.33048/smzh.2026.67.302

Ключевые слова

префиксная перезапись, полутуэвская система, информационная система, объектно-ориентированная система данных, проверка непротиворечивости, онтология модели данных.

Авторы

Гутман А.Е. ¹

Организации

1	Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090

Информация о финансировании (1)

Министерство науки и высшего образования РФ

FWNF-2026-0022

Детерминированная префиксная перезаписывающая система представляет собой систему перезаписи строк, не содержащую пар правил вида X→Y, X→Z, где Y≠Z, в которой перезаписи подлежат только самые длинные префиксы. Для таких систем определяются и исследуются аналоги понятий, характерных для объектно-ориентированных систем данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и непротиворечивость, концептуальная схема, типы, подтипы и др. Особое внимание уделяется алгоритмической проверке различных свойств рассматриваемых перезаписывающих систем.

Гутман А.Е.
Объектно–ориентированные данные и префиксная перезапись. Часть I: Обзор и основные результаты
Сибирский математический журнал. 2026. Т.67. №3. С.392-413. DOI: 10.33048/smzh.2026.67.302

Gutman A.E.
Object-Oriented Data via Prefix Rewriting. Part I: Overview and Main Results
Siberian Mathematical Journal. 2026. V.67. N3. P.531–547. DOI: 10.1134/S003744662603002X

Поступила в редакцию:	15 янв. 2026 г.
Принята к публикации:	7 апр. 2026 г.
Опубликована в печати:	28 мая 2026 г.
Опубликована online:	28 мая 2026 г.

Нет идентификаторов