author = "Гутман А.Е.",

title = "Объектно-ориентированные данные и префиксная перезапись. Часть I: Обзор и основные результаты",

journal = "Сиб. матем. журн.",

year = "2026",

volume = "67",

number = "3",

pages = "392--413",

doi = "10.33048/smzh.2026.67.302",

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

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